/src/tools/stateflow - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/stateflow @ 2a4992a1

Name	Size	Revision	Age	Author	Comment
common		93119c3f	about 6 years	Pierre-Loïc Garoche	Moved stateflow tool in src/tool Updated the ma...
models		69c96b6c	about 6 years	Pierre-Loïc Garoche	lustresf: Better construction of lustre ast. St...
semantics		68601cf5	about 6 years	Xavier Thirioux	bug correction: each var_decl must be unique an...
README.md	1.02 KB	93119c3f	about 6 years	Pierre-Loïc Garoche	Moved stateflow tool in src/tool Updated the ma...
sf_sem.ml	3.71 KB	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

Also available in: Atom