- 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