Removed Contract contruct: imported node should be enough. Solved some warning at compile time
Renamed annots into contracts. Preparing for syntax extension
- Removed the kind2 file (parser/lexer/types)- Cleaned a little bit our parser: removal of old prelude constructs
Cocospec discussions in the TODO.org
Updated TODOChanged selection of files in odocl
Refactoring of the horn backend with Reset/Step instead of Init/Step.Teme, please perform a string non regression test wrt the previous version, to make sure we have the same model checking results.
Two fresh branches :)to manage enum and arrays in the horn backend.
Moved files to trunk in lustre_compiler