Project

General

Profile

Activity

From 05/11/2018 to 06/09/2018

06/09/2018

11:11 AM Bug #67 (Closed): Lusi generation failed because of parser in unstable branch
lustrec -lusi *lustrec-tests/regression_tests/lustre_files/success/machine_types/kind_fmcad/two_counters.lus*
.. par...
Hamza Bourbouh
11:09 AM Bug #65 (Closed): integer division (euclidein division)
Solved in unstable branch Hamza Bourbouh
11:08 AM Bug #66 (Closed): Lustrec generates different outputs for the same code
Fixed by Xavier Hamza Bourbouh

05/31/2018

11:33 AM Bug #66 (Closed): Lustrec generates different outputs for the same code
Attached is 2 Lustre files, they have common code defining the first output of the main node.
The binary of both Lus...
Hamza Bourbouh

05/16/2018

04:33 PM Bug #58 (Closed): int to long long int
Already supported by option -real or -int Pierre-Loïc Garoche
04:32 PM Bug #64 (Closed): Typing error
Pierre-Loïc Garoche
04:31 PM Bug #64 (Resolved): Typing error
Not a typing error in secret unstable branch Pierre-Loïc Garoche
04:30 PM Bug #65: integer division (euclidein division)
Considering producing valid integer division and modulo instead of C ones. To be discussed. Pierre-Loïc Garoche
 

Also available in: Atom