/src/tools/stateflow - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/stateflow @ 9c654082

Name	Size	Revision	Age	Author	Comment
common		9c654082	over 6 years	Pierre-Loïc Garoche	[lustresf] work in progress. Added global env w...
json-parser		9c654082	over 6 years	Pierre-Loïc Garoche	[lustresf] work in progress. Added global env w...
models		9c654082	over 6 years	Pierre-Loïc Garoche	[lustresf] work in progress. Added global env w...
semantics		9c654082	over 6 years	Pierre-Loïc Garoche	[lustresf] work in progress. Added global env w...
README.md	1.02 KB	93119c3f	about 7 years	Pierre-Loïc Garoche	Moved stateflow tool in src/tool Updated the ma...
sf_sem.ml	3.33 KB	9c654082	over 6 years	Pierre-Loïc Garoche	[lustresf] work in progress. Added global env w...

#	Date	Author	Comment
9c654082	02/13/2018 05:42 PM	Pierre-Loïc Garoche	[lustresf] work in progress. Added global env with initial values
9ae027f8	12/21/2017 12:29 AM	Pierre-Loïc Garoche	[stateflow] some progress, linking the parsed json to lustrec engine. Some variables are not yet typed. To investigate ...
61e2b4b7	12/12/2017 03:17 PM	Christophe Garion	Merge branch 'unstable-merge' into unstable
b06b7b77	12/12/2017 03:15 PM	Christophe Garion	[lustresf] add Program constructor in model examples + sf_sem
b1af4f73	12/12/2017 02:51 PM	Christophe Garion	[JSON] remove pretty-printing functions declarations in cPS_transformer
e0d6f1d1	12/12/2017 12:23 PM	Pierre-Loïc Garoche	[lustresf] refactoring automata generation using Automata.ml functions
50ae9ab8	12/12/2017 12:10 PM	Christophe Garion	simple conflict when merging unstable and json-parser
2a4992a1	12/12/2017 10:29 AM	Pierre-Loïc Garoche	[lustresf] Some progress: automaton compiles but not when preprocessed
050147ec	10/13/2017 02:58 PM	Christophe Garion	json-parser: correct parser for regex for real variables with e\|E
befd32b5	10/13/2017 02:58 PM	Christophe Garion	json-parser: add test for real variable with e\|E

Also available in: Atom