Project

General

Profile

Activity

From 09/11/2017 to 10/10/2017

10/10/2017

10:54 PM Revision 5c0d6e4e (lustrec): json-parser: more tests with single variables
Christophe Garion
05:39 PM Revision 2b95979d (lustrec): json-parser: change variables names in tests
Christophe Garion
05:37 PM Revision 0291fcfd (lustrec): json-parser: add test for boolean variable true
Christophe Garion
05:33 PM Revision f5c1e4c1 (lustrec): json-parser: refactor first test
Christophe Garion
05:30 PM Revision 550e6a83 (lustrec): json-parser: first unit test for JSON parser (variables)
Christophe Garion
05:30 PM Revision 2511454c (lustrec): json-parser: prepare tests in Makefiles and _tags.in
Christophe Garion
05:29 PM Revision 30fef623 (lustrec): json-parser: clean packages and _tags.in
Christophe Garion

10/06/2017

08:23 PM Bug #57 (Closed): horn-traces backend not working when not initialising a pre operator
lustrec -horn error.lus
works
but lustrec -horn-traces error.lus
generates a memory error for variables of type
...
Hamza Bourbouh
02:57 PM Revision 430dc9ee (lustrec): json-parser: replace assert with exceptions
Christophe Garion
02:47 PM Revision d21f00de (lustrec): json-parser: add check for librairies in configure.ac
Christophe Garion
02:33 PM Revision 921230e6 (lustrec): json-parser: clean files names and directories
Christophe Garion
02:21 PM Revision 5a71ed25 (lustrec): json-parser: use Logs and Cmdliner librairies
Christophe Garion
11:09 AM Bug #56 (Closed): Generation of LUSI file does not contain all nodes signatures.
Solved with commit c4fb63af9a8ea80e Pierre-Loïc Garoche
11:06 AM Revision 6b0376c9 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
11:06 AM Revision c4fb63af (lustrec): solved bug 56: missing last node in generated lusi
Pierre-Loïc Garoche
10:10 AM Revision 38ae7765 (lustrec): no comment
Pierre-Loïc Garoche

10/05/2017

12:23 AM Bug #56 (Closed): Generation of LUSI file does not contain all nodes signatures.
lustrec -lusi option to generate lustre interface does not contain all nodes.
You can try it on two_counters.lus
I ...
Hamza Bourbouh
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