Project

General

Profile

Activity

From 09/06/2017 to 10/05/2017

10/05/2017

05:48 PM Revision efb6eb15 (lustrec): clean _tags.in for YoJSON package
Christophe Garion
02:20 PM Revision bbfbc15a (lustrec): json-parser: remove Const_bool and use Const_tag
Christophe Garion

10/03/2017

12:01 PM Revision 57ecad58 (lustrec): parser-json: clean main program + add pp for vars
Christophe Garion
10:47 AM Revision 37290ede (lustrec): parser-json: correct parsing of real constants for variables
Christophe Garion

10/02/2017

05:55 PM Revision 04396cc7 (lustrec): parser-json: add variables in parsing
Christophe Garion

09/26/2017

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

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 glo...
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 d...
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
 

Also available in: Atom