CristalCaveGem » LustreC

09/25/2017

11:20 AM Revision 18acb6fc (lustrec): minor changes in _tags.in

Christophe Garion

11:15 AM Revision 15a6823b (lustrec): TMerge branch 'unstable' into json-parser

Christophe Garion

09/23/2017

10:26 AM Revision 68601cf5 (lustrec): bug correction: each var_decl must be unique and not shared as a global var

Xavier Thirioux

09/22/2017

05:43 PM Revision c5d45c13 (lustrec): [lustresf]: tuple of false values for initial state

Pierre-Loïc Garoche

05:38 PM Revision 74ca6b61 (lustrec): A fresh option to print with declared types instead of inferred ones

Pierre-Loïc Garoche

05:20 PM Revision bad7b67a (lustrec): parser-json: first steps to integrate JSON parser

Christophe Garion

05:18 PM Revision e7b4ba42 (lustrec): add files in gitignore

Christophe Garion

04:39 PM Revision 69c96b6c (lustrec): lustresf: Better construction of lustre ast. Still more work to be done.

Pierre-Loïc Garoche

04:38 PM Revision 27e5a70d (lustrec): Even prettier pretty printing. Is it even possible to improve?

Pierre-Loïc Garoche

09/21/2017

01:48 PM Revision 93119c3f (lustrec): Moved stateflow tool in src/tool

Updated the makefile to compile lustresf
Not working yet Pierre-Loïc Garoche

09/15/2017

02:19 PM Revision cb781911 (lustrec): Missing readme file in the import

Pierre-Loïc Garoche

02:16 PM Revision 2de7fa82 (lustrec): Initial import of stateflow_cps_semantics (github)

Pierre-Loïc Garoche