Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / stateflow / sf_sem.ml @ 0d79d0f3

History | View | Annotate | Download (3.43 KB)

# Date Author Comment
b0c381d0 07/12/2018 04:04 PM Pierre-Loïc Garoche

Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
bc86ee26 03/28/2018 10:41 AM Xavier Thirioux

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
ad4774b0 03/15/2018 12:07 AM Pierre-Loïc Garoche

- 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.
9c654082 02/13/2018 05:42 PM Pierre-Loïc Garoche

[lustresf] work in progress. Added global env with initial values
97b1a486 12/12/2017 12:37 PM Xavier Thirioux

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
72f666d3 12/12/2017 12:35 PM Xavier Thirioux

...
e0d6f1d1 12/12/2017 12:23 PM Pierre-Loïc Garoche

[lustresf] refactoring automata generation using Automata.ml functions
2a4992a1 12/12/2017 10:29 AM Pierre-Loïc Garoche

[lustresf] Some progress: automaton compiles but not when preprocessed
74ca6b61 09/22/2017 05:38 PM Pierre-Loïc Garoche

A fresh option to print with declared types instead of inferred ones
69c96b6c 09/22/2017 04:39 PM Pierre-Loïc Garoche

lustresf: Better construction of lustre ast. Still more work to be done.
93119c3f 09/21/2017 01:48 PM Pierre-Loïc Garoche

Moved stateflow tool in src/tool
Updated the makefile to compile lustresf
Not working yet