Project

General

Profile

Activity

From 03/24/2019 to 04/22/2019

04/17/2019

02:27 AM Bug #77 (Closed): lustrec-seal branch failed to compile a valid lustre file (compiled by master b...
lustrec -version
Lustrec compiler, version 1.7-1031-lustrec-seal (Xia/Huai-dev)
Attached is a lustre file that is...
Hamza Bourbouh

04/16/2019

01:50 AM Bug #71 (Closed): C code generation failed
every operator was using a boolean expression instead of a bool clock variable. Solved by creating local variable of ... Hamza Bourbouh

04/03/2019

04:00 AM Bug #76 (New): Import error: Load error: imported node real_to_int declared in a regular Lustre ...
*Branch used: Seal version 1.7-1000-lustrec-seal (Xia/Huai-dev)*
*lustrec -horn -d toto -algebraic-loop-solve ap_12B...
Hamza Bourbouh
03:58 AM Bug #75 (New): exception File "checks/algebraicLoop.ml", line 368, characters 16-22: Assertion fa...
*Branch used: unstable (up to date)*
*lustrec -I /Users/hbourbou/Documents/cavale/local/include/lustrec -horn -d tot...
Hamza Bourbouh

03/30/2019

03:34 AM Bug #74 (New): const is not supported inside contract
When defining constants inside contract, their definition is ignored in json output, but their call is not impacted.
...
Hamza Bourbouh

03/28/2019

08:19 PM Bug #73 (New): properties ID is not set in Json in EMF backend
guarantee "propertyID" P;
propertyID is missing in the generated json.
An example is attached.
Hamza Bourbouh
 

Also available in: Atom