src/main/scala/leon/solvers/EvaluatingSolver.scala · 14d26164b48a82b86e783ced934fc0399602ce8a · LARA / inox

9 years ago

Manos Koukoutos authored 9 years ago

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

27d034eb

Manos Koukoutos authored 9 years ago

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

EvaluatingSolver.scala 380 B