CristalCaveGem » LustreC

12/12/2017

04:25 PM Revision 3b4b7a2e (lustrec): [lustresf] lustresf targets are optional in Makefiles (see configure.ac)

Christophe Garion

03:17 PM Revision 61e2b4b7 (lustrec): Merge branch 'unstable-merge' into unstable

Christophe Garion

03:16 PM Revision f50110e7 (lustrec): [lustresf] use Unix package

Christophe Garion

03:15 PM Revision b06b7b77 (lustrec): [lustresf] add Program constructor in model examples + sf_sem

Christophe Garion

02:51 PM Revision b1af4f73 (lustrec): [JSON] remove pretty-printing functions declarations in cPS_transformer

Christophe Garion

12:37 PM Revision 97b1a486 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

Xavier Thirioux

12:35 PM Revision 72f666d3 (lustrec): ...

Xavier Thirioux

12:23 PM Revision e0d6f1d1 (lustrec): [lustresf] refactoring automata generation using Automata.ml functions

Pierre-Loïc Garoche

12:10 PM Revision 50ae9ab8 (lustrec): simple conflict when merging unstable and json-parser

Christophe Garion

12:01 PM Revision 9416ee78 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

Pierre-Loïc Garoche

11:59 AM Revision 753d4562 (lustrec): [general] print types before nodes in lustre output

Pierre-Loïc Garoche

11:52 AM Revision 6ca345fd (lustrec): typo in src/Makefile.in

Christophe Garion

10:32 AM Revision 1613ad20 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

Pierre-Loïc Garoche

10:29 AM Revision 2a4992a1 (lustrec): [lustresf] Some progress: automaton compiles but not when preprocessed

Pierre-Loïc Garoche

09:25 AM Revision 2196948d (lustrec): [EMF] Less verbose

Pierre-Loïc Garoche

12/08/2017

02:12 AM Bug #59 (Closed): Lustret failed

La commande:
>lustret -I /path_to_lustrec/include/lustrec -nb-mutants 500 -node Add_PP -d build Add_PP.lus
Raised... Hamza Bourbouh

12/07/2017

01:34 AM Bug #58 (Closed): int to long long int

In C code generated from lustre, int is kept as int in C. Big constants in Lustre raises some range exception.
Chang... Hamza Bourbouh

12/06/2017

09:27 AM Revision 2ca4d0c9 (lustrec): add fmod function in include/simulink_math_fcn.lusi

Hamza Bourbouh

11/28/2017

06:33 PM Revision db7468fd (lustrec): Added some libm functions to lustrec_math.lusi

Pierre-Loïc Garoche

11/15/2017

09:12 AM Revision 3e1d20e0 (lustrec): [MCDC] Solved some issues and transformed the code from iterators to fold

Pierre-Loïc Garoche

12:48 AM Revision ef8ef3ed (lustrec): [lustret] bug solved in file path

Pierre-Loïc Garoche

12:43 AM Revision 0d6c2694 (lustrec): [lustret] mutation report is create in initial folder

Pierre-Loïc Garoche

12:32 AM Revision 55a8633c (lustrec): [lustret] Improved mutation with json traceability

Pierre-Loïc Garoche

12:31 AM Revision fd19d190 (lustrec): New function in Location to access to line number

Pierre-Loïc Garoche

12:31 AM Revision 04257b1e (lustrec): Moved stage1 in separate file: it is shared among binaries

Pierre-Loïc Garoche

11/14/2017

07:22 PM Revision 7c79dd93 (lustrec): [EMF] adding original name field in the JSON

Pierre-Loïc Garoche