History | View | Annotate | Download (1.77 KB)
- 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
no comment
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