Project

General

Profile

Activity

From 11/09/2017 to 12/08/2017

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...
Pierre-Loïc Garoche

11/14/2017

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
07:22 PM Revision 7c79dd93 (lustrec): [EMF] adding original name field in the JSON
Pierre-Loïc Garoche

11/09/2017

12:19 AM Revision 7eafa0e1 (lustrec): [EMF] Added the reset signal (the every argument) as input to the JS...
Pierre-Loïc Garoche
10:58 PM Revision c80e92d1 (lustrec): Solving a warning with ocaml 4.04 and uppercase_ascii. Provides back...
Pierre-Loïc Garoche
10:45 PM Revision 953879f0 (lustrec): Issue with clocked expressions. Now handled throught a local branch,...
Pierre-Loïc Garoche
10:45 PM Revision 103f6f60 (lustrec): Missing last fprintf @. in the lustre output
Pierre-Loïc Garoche
 

Also available in: Atom