Project

General

Profile

Activity

From 09/13/2017 to 10/12/2017

10/06/2017

08:23 PM Bug #57 (Closed): horn-traces backend not working when not initialising a pre operator
lustrec -horn error.lus
works
but lustrec -horn-traces error.lus
generates a memory error for variables of type
...
Hamza Bourbouh
11:09 AM Bug #56 (Closed): Generation of LUSI file does not contain all nodes signatures.
Solved with commit c4fb63af9a8ea80e Pierre-Loïc Garoche

10/05/2017

12:23 AM Bug #56 (Closed): Generation of LUSI file does not contain all nodes signatures.
lustrec -lusi option to generate lustre interface does not contain all nodes.
You can try it on two_counters.lus
I ...
Hamza Bourbouh
 

Also available in: Atom