-
- Downloads
Merge branch 'manos' of https://github.com/epfl-lara/leon into string-render
No related branches found
No related tags found
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- LICENSE 1 addition, 1 deletionLICENSE
- library/instrumentation/package.scala 1 addition, 1 deletionlibrary/instrumentation/package.scala
- library/invariant/package.scala 1 addition, 1 deletionlibrary/invariant/package.scala
- library/proof/Internal.scala 1 addition, 1 deletionlibrary/proof/Internal.scala
- library/proof/package.scala 1 addition, 1 deletionlibrary/proof/package.scala
- src/main/scala/leon/LeonContext.scala 3 additions, 5 deletionssrc/main/scala/leon/LeonContext.scala
- src/main/scala/leon/Main.scala 3 additions, 3 deletionssrc/main/scala/leon/Main.scala
- src/main/scala/leon/codegen/CodeGeneration.scala 1 addition, 1 deletionsrc/main/scala/leon/codegen/CodeGeneration.scala
- src/main/scala/leon/codegen/CompilationUnit.scala 5 additions, 7 deletionssrc/main/scala/leon/codegen/CompilationUnit.scala
- src/main/scala/leon/datagen/VanuatooDataGen.scala 1 addition, 1 deletionsrc/main/scala/leon/datagen/VanuatooDataGen.scala
- src/main/scala/leon/evaluators/AngelicEvaluator.scala 42 additions, 0 deletionssrc/main/scala/leon/evaluators/AngelicEvaluator.scala
- src/main/scala/leon/evaluators/CodeGenEvaluator.scala 1 addition, 2 deletionssrc/main/scala/leon/evaluators/CodeGenEvaluator.scala
- src/main/scala/leon/evaluators/ContextualEvaluator.scala 114 additions, 0 deletionssrc/main/scala/leon/evaluators/ContextualEvaluator.scala
- src/main/scala/leon/evaluators/DefaultEvaluator.scala 4 additions, 17 deletionssrc/main/scala/leon/evaluators/DefaultEvaluator.scala
- src/main/scala/leon/evaluators/DualEvaluator.scala 6 additions, 5 deletionssrc/main/scala/leon/evaluators/DualEvaluator.scala
- src/main/scala/leon/evaluators/EvaluationResults.scala 2 additions, 4 deletionssrc/main/scala/leon/evaluators/EvaluationResults.scala
- src/main/scala/leon/evaluators/Evaluator.scala 16 additions, 4 deletionssrc/main/scala/leon/evaluators/Evaluator.scala
- src/main/scala/leon/evaluators/EvaluatorContexts.scala 39 additions, 0 deletionssrc/main/scala/leon/evaluators/EvaluatorContexts.scala
- src/main/scala/leon/evaluators/RecursiveEvaluator.scala 38 additions, 143 deletionssrc/main/scala/leon/evaluators/RecursiveEvaluator.scala
Loading
Please register or sign in to comment