"src/main/scala/leon/purescala/ScalaPrinter.scala" did not exist on "8f88fee64d27ccb73cc8af199fdef5f86462ab52"
-
SimonGuilloud authored
Added scalafmt, scalafix and github ci as suggested in https://github.com/epfl-lara/lisa/pull/4/files. Code reformated.
SimonGuilloud authoredAdded scalafmt, scalafix and github ci as suggested in https://github.com/epfl-lara/lisa/pull/4/files. Code reformated.
