History | View | Annotate | Download (3.43 KB)
Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- Normalization parameters (alias and unfold_array) are now provided as parameter- program type renamed as program_t- Initiating the lustrev tool with dependencies to z3 and seal.
[lustresf] work in progress. Added global env with initial values
...
[lustresf] refactoring automata generation using Automata.ml functions
[lustresf] Some progress: automaton compiles but not when preprocessed
A fresh option to print with declared types instead of inferred ones
lustresf: Better construction of lustre ast. Still more work to be done.
Moved stateflow tool in src/toolUpdated the makefile to compile lustresfNot working yet