Activity
From 09/07/2017 to 10/06/2017
10/06/2017
- 02:57 PM Revision 430dc9ee (lustrec): json-parser: replace assert with exceptions
- 02:47 PM Revision d21f00de (lustrec): json-parser: add check for librairies in configure.ac
- 02:33 PM Revision 921230e6 (lustrec): json-parser: clean files names and directories
- 02:21 PM Revision 5a71ed25 (lustrec): json-parser: use Logs and Cmdliner librairies
- 11:06 AM Revision 6b0376c9 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 11:06 AM Revision c4fb63af (lustrec): solved bug 56: missing last node in generated lusi
- 10:10 AM Revision 38ae7765 (lustrec): no comment
10/05/2017
- 05:48 PM Revision efb6eb15 (lustrec): clean _tags.in for YoJSON package
- 02:20 PM Revision bbfbc15a (lustrec): json-parser: remove Const_bool and use Const_tag
10/03/2017
- 12:01 PM Revision 57ecad58 (lustrec): parser-json: clean main program + add pp for vars
- 10:47 AM Revision 37290ede (lustrec): parser-json: correct parsing of real constants for variables
10/02/2017
09/26/2017
09/25/2017
- 11:20 AM Revision 18acb6fc (lustrec): minor changes in _tags.in
- 11:15 AM Revision 15a6823b (lustrec): TMerge branch 'unstable' into json-parser
09/23/2017
09/22/2017
- 05:43 PM Revision c5d45c13 (lustrec): [lustresf]: tuple of false values for initial state
- 05:38 PM Revision 74ca6b61 (lustrec): A fresh option to print with declared types instead of inferred ones
- 05:20 PM Revision bad7b67a (lustrec): parser-json: first steps to integrate JSON parser
- 05:18 PM Revision e7b4ba42 (lustrec): add files in gitignore
- 04:39 PM Revision 69c96b6c (lustrec): lustresf: Better construction of lustre ast. Still more work to be done.
- 04:38 PM Revision 27e5a70d (lustrec): Even prettier pretty printing. Is it even possible to improve?
09/21/2017
- 01:48 PM Revision 93119c3f (lustrec): Moved stateflow tool in src/tool
- Updated the makefile to compile lustresf
Not working yet
09/15/2017
Also available in: Atom