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.
- Module.load_header and load_program were merged.- Contract were extended with list of statements.
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
A fresh option to print with declared types instead of inferred ones
First working version of algebraic loop resolution. Disabled by default.
Working on algebraic loop diagnostic and resolution