Project

General

Profile

Activity

From 11/26/2017 to 12/25/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
 

Also available in: Atom