src/main/scala/leon/evaluators · 7366462beeb70f568fc68e4668469a1a03245f22 · LARA / inox · GitLab

Snippets Groups Projects

Homomorphic to work on lambdas + tests.

Mikaël Mayer authored 9 years ago

Ability to keep abstract term on the RHS of examples without trivially evaluating the choose construct.

7366462b

7366462b 9 years ago

Name	Last commit	Last update
..
AbstractEvaluator.scala
AngelicEvaluator.scala
CodeGenEvaluator.scala
ContextualEvaluator.scala
DefaultEvaluator.scala
DualEvaluator.scala
EvaluationPhase.scala
EvaluationResults.scala
Evaluator.scala
EvaluatorContexts.scala
RecursiveEvaluator.scala
ScalacEvaluator.scala
StreamEvaluator.scala
TracingEvaluator.scala