Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/tools @ 2a4992a1

Name Size Revision Age Author Comment
  stateflow 2a4992a1 almost 6 years Pierre-Loïc Garoche [lustresf] Some progress: automaton compiles bu...

Latest revisions

# Date Author Comment
2a4992a1 12/12/2017 10:29 AM Pierre-Loïc Garoche

[lustresf] Some progress: automaton compiles but not when preprocessed
68601cf5 09/23/2017 10:26 AM Xavier Thirioux

bug correction: each var_decl must be unique and not shared as a global var
c5d45c13 09/22/2017 05:43 PM Pierre-Loïc Garoche

[lustresf]: tuple of false values for initial state
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

View revisions

Also available in: Atom