src/main/scala/leon/evaluators · 27d034ebfc9c2f6d925f47b652a942659d6a35cf · LARA / inox · GitLab

Snippets Groups Projects

Refactor Evaluators. Introduce NDEvaluator

Manos Koukoutos authored 9 years ago

EvaluationResults.Result is now polymorphic
Refactor evaluator contexts
Refactor evaluator hierarchy
Make tests up to date

27d034eb

27d034eb 9 years ago

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