Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / stateflow / sf_sem.ml @ 9c654082

History | View | Annotate | Download (3.33 KB)

# Date Author Comment
9c654082 02/13/2018 05:42 PM Pierre-Loïc Garoche

[lustresf] work in progress. Added global env with initial values

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