Some progress on compiling cocospec contract.Contract resolution still need to be done as well as dealing with the machine code level and so on.
Some thoughts about lusic
Merge branch 'unstable' into lustrec-seal
Removed Contract contruct: imported node should be enough. Solved some warning at compile time
Preprocess the selected node in seaL BACKEND: focus on memories and perform node slicing.
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
Merge conflict solved
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