From 08/28/2017 to 09/26/2017


03:38 PM Revision eb70bae5 (lustrec): parser-json: final version of parser with new types
Christophe Garion


11:20 AM Revision 18acb6fc (lustrec): minor changes in
Christophe Garion
11:15 AM Revision 15a6823b (lustrec): TMerge branch 'unstable' into json-parser
Christophe Garion


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


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


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


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

Also available in: Atom