Add evaluator tests checking that CodeGenParams work
Fix problems compiling LetTuple, parametrize instrumented reads
Implement termination checker
Fixed small but in ChainProcessor
Added automatic testing to termination framework and corrected some
small issues in the ChainProcessor system. Some tests ending in .BAK
should be runnable but can't for now because of a memory leak somewhere
in the framework.
Updated project and added solver memory freeing
Add debug section for termination
Do not compile and package files found in the Leon base directory
Only output reason for z3's UNKNOWN in certain cases
Fix Z3 crash when class hierarchy contains an isolated abstract class
Basic flattening for pattern match reconstruction
Rework Match <-> i.t.e w/ aggressive flattening. Test transformations.
Add/Fix support for (a: Type) patterns
Consolidate and re-organize testcases
Fixed the missing eval parameters, added some logging
More flexible and powerful refinement of variables in CA
Have Condition Abduction work at least in manual mode
Add testcase for AVLTree
Duplicate programs to limit side-effects
Remove global state in Termination