- 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