src/main/scala/leon/codegen/CompilationUnit.scala · ac306f8f4c7c1f6a75b05143dc9ecef91bdce4f1 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
ac306f8f
Refactor Evaluators. Introduce NDEvaluator trait and StreamEvaluator · ac306f8f
Manos Koukoutos authored 9 years ago
```
EvaluationResults.Result is now polymorphic
Refactor evaluator contexts
Refactor evaluator hierarchy
Make tests up to date
```
ac306f8f

History
Refactor Evaluators. Introduce NDEvaluator trait and StreamEvaluator
Manos Koukoutos authored 9 years ago
```
EvaluationResults.Result is now polymorphic
Refactor evaluator contexts
Refactor evaluator hierarchy
Make tests up to date
```

CompilationUnit.scala 15.17 KiB