- Send diff email: No
- Registered on: 04/04/2016
- Last connection: 04/16/2019
- 02:27 AM LustreC Bug #77 (New): lustrec-seal branch failed to compile a valid lustre file (compiled by master branch)
- lustrec -version
Lustrec compiler, version 1.7-1031-lustrec-seal (Xia/Huai-dev)
Attached is a lustre file that is...
- 01:50 AM LustreC 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 ...
- 04:00 AM LustreC 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...
- 03:58 AM LustreC 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...
- 03:34 AM LustreC 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.
- 08:19 PM LustreC 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.
- 03:56 AM LustreC Bug #72 (New): Simulinkd does not match Lustre using EMF backend when using nested Merge expression
- Lustre attached uses merge and one of merge branches is a call to another node with a merge inside.
Inside merge, th...
- 09:58 PM LustreC Bug #69 (Closed): fatal error: bracket nesting level exceeded maximum of 256
- I solved the issuer by adding "-fbracket-depth=10000" to GCC option while running make.
- 09:55 PM LustreC Bug #71 (Closed): C code generation failed
- lustrec -node ForIterator_bio_bug_PP ForIterator_bio_bug_PP.LUSTREC.lus
make -f ForIterator_bio_bug_PP.LUSTREC.makef...
- 09:45 PM LustreC Bug #70: Lustrec does not terminate
- I get always Internal Server Error. I will send it by email
Also available in: Atom