CristalCaveGem » LustreC

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