Do not register signal handlers when building options
Remove deprecated accesses, update scalaz3, improve cancellation
Rely on z3 being bundled now
Improve simplification of simple let-tuples, remove MBQI warnings
Bring back runtime monitors, do not compile them in unless needed
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