Project

General

Profile

Activity

From 09/07/2017 to 10/06/2017

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