CristalCaveGem » LustreC

01/17/2018

11:23 PM Bug #60 (Closed): lustret naming error for libraries

int_to_real devient int_to_real_mutant.
It is considered as lustre node, but it is an external library.
Hamza Bourbouh

05:12 PM Bug #59 (Closed): Lustret failed

Pierre-Loïc Garoche

05:11 PM Bug #59 (Resolved): Lustret failed

Solved in commit 87dd79374749a5c79 Pierre-Loïc Garoche

05:09 PM Revision 5487dd79 (lustrec): [mutations] solved issues with

- mutations that could not be performed (ie. changing an integer constants when no integer constant appear in the pro... Pierre-Loïc Garoche

05:08 PM Revision 76bed200 (lustrec): Added cmake basic functions

Improved the Cmake Lustre_Compile function Pierre-Loïc Garoche

01/16/2018

08:09 PM Revision 1ca48e48 (lustrec): No existing input file returns a 1 error code

Pierre-Loïc Garoche

12/21/2017

12:29 AM Revision 9ae027f8 (lustrec): [stateflow] some progress, linking the parsed json to lustrec engine. Some variables are not yet typed. To investigate ...

Pierre-Loïc Garoche

12:29 AM Revision aa0cc4e8 (lustrec): [general] adding more entry rules for lustre parser to extract expressions, vdecl_list and statement list

Pierre-Loïc Garoche

12/20/2017

03:52 PM Lustrec-Tests Revision 762f339c (lustrec-tests): add new format

Bourbouh

12/19/2017

06:01 PM Revision 50dadc21 (lustrec): [global] reordered local vars, keeping the declared ones before the others. Was mandatory for clocked expressions in compiled automata.

Pierre-Loïc Garoche

05:51 PM Revision 9b8acef5 (lustrec): [salsa] cleaning verbose logs

Pierre-Loïc Garoche

02:24 AM Lustrec-Tests Revision b9724665 (lustrec-tests): add json example for SF IR

Bourbouh