-
- Downloads
Merge branch 'master' of https://github.com/epfl-lara/leon into incremental
Showing
- build.sbt 6 additions, 3 deletionsbuild.sbt
- src/main/scala/leon/evaluators/RecursiveEvaluator.scala 1 addition, 2 deletionssrc/main/scala/leon/evaluators/RecursiveEvaluator.scala
- src/main/scala/leon/solvers/isabelle/Component.scala 5 additions, 3 deletionssrc/main/scala/leon/solvers/isabelle/Component.scala
- src/main/scala/leon/solvers/isabelle/IsabelleEnvironment.scala 20 additions, 13 deletions...ain/scala/leon/solvers/isabelle/IsabelleEnvironment.scala
- src/main/scala/leon/solvers/isabelle/IsabelleSolver.scala 0 additions, 1 deletionsrc/main/scala/leon/solvers/isabelle/IsabelleSolver.scala
- src/main/scala/leon/solvers/isabelle/package.scala 0 additions, 1 deletionsrc/main/scala/leon/solvers/isabelle/package.scala
- src/main/scala/leon/utils/PreprocessingPhase.scala 1 addition, 1 deletionsrc/main/scala/leon/utils/PreprocessingPhase.scala
- src/main/scala/leon/verification/InjectAsserts.scala 0 additions, 2 deletionssrc/main/scala/leon/verification/InjectAsserts.scala
- src/test/resources/regression/verification/xlang/valid/Array6.scala 17 additions, 0 deletions...esources/regression/verification/xlang/valid/Array6.scala
Loading
Please register or sign in to comment