CristalCaveGem » LustreC

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

11/10/2017

12:19 AM Revision 7eafa0e1 (lustrec): [EMF] Added the reset signal (the every argument) as input to the JSON struct

Pierre-Loïc Garoche

11/09/2017

10:58 PM Revision c80e92d1 (lustrec): Solving a warning with ocaml 4.04 and uppercase_ascii. Provides backward compatibility for 4.02

Pierre-Loïc Garoche

10:45 PM Revision 953879f0 (lustrec): Issue with clocked expressions. Now handled throught a local branch, ie. a single action block in Simulink

Pierre-Loïc Garoche

10:45 PM Revision 103f6f60 (lustrec): Missing last fprintf @. in the lustre output

Pierre-Loïc Garoche