- Refactored Error exception and messages- Bugs in partial evaluation for equalities among bool constants and a nice recursive call generating a stack overflow! Now solved- Setup a timeout for z3 in seal- Better log for seal
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