Cocospec: parsing, normalizing and processing machines for contracts.
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 progress on EMF bqckend. Refactoring machines code
Added include directive that directly inject a lustre source file in the prog
- Dep type with a tuple has been replaced by a record type- Modules now is more integrated and performed the building of the type/clock env. previously some computation were performed twice by different functions. Some of these functions have been moved from compiler_common to modules
- Module.load_header and load_program were merged.- Contract were extended with list of statements.
Merge branch 'unstable' into lustrec-seal
Removed Contract contruct: imported node should be enough. Solved some warning at compile time
Some refactoringAdapted the parser/types/constructors for cocospec syntax
Renamed annots into contracts. Preparing for syntax extension
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types