From 03/22/2019 to 04/20/2019


12:55 PM Revision c1f565cd (lustrec): Merge branch 'ada' of into ada
Guillaume DAVY
12:47 PM Revision 173a2a8f (lustrec): Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility...
Guillaume DAVY


02:27 AM Revision 6f3a65e2 (lustrec): No need for open lustrec_math inside simulink_math_fcn. It creates an error when they are both imported in the same lustre file.
02:27 AM Bug #77 (Closed): 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...
Hamza Bourbouh
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


03:57 PM Revision 1d95f425 (lustrec): Debug en cours sur les calculs Salsa
Pierre-Loïc Garoche
03:16 PM Revision 325f07c0 (lustrec): doc: use SVG format instead of PNG for dependency graph
Christophe Garion
03:09 PM Revision aa85bd44 (lustrec): Doc: update rule and remove old module in odocl
Guillaume DAVY


04:37 PM Revision b5b745fb (lustrec): Ada: First support for transition predicate generation.
Guillaume DAVY
04:36 PM Revision 867276c9 (lustrec): Machine_code: Make a correction in the arrow machine creation :
use the same polymorphic type in variables and values. Guillaume DAVY


04:11 PM Revision 2477d634 (lustrec): Ada: Correct some errors in printing
Guillaume DAVY
02:14 PM Revision 230b168e (lustrec): Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple. Guillaume DAVY


04:00 AM Bug #76 (New): Import error: Load error: imported node real_to_int declared in a regular Lustre file. File "include/conv.lusi", line 1, characters 0-64:
*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/", line 368, characters 16-22: Assertion failed
*Branch used: unstable (up to date)*
*lustrec -I /Users/hbourbou/Documents/cavale/local/include/lustrec -horn -d tot...
Hamza Bourbouh


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


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


01:51 PM Revision 2eee868b (lustrec): Merge branch 'lustrec-seal' into ada
Guillaume DAVY
01:50 PM Revision 826063db (lustrec): Ada: Correct ada main to handle statelles top level node
Guillaume DAVY
03:56 AM 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...
Hamza Bourbouh
02:16 AM Revision 9fb1ab37 (lustrec): Merge branch 'lustrec-seal' of into lustrec-seal
02:15 AM Revision 75a7b65b (lustrec): install notes
02:05 AM Revision a4c3d888 (lustrec): rev machines in emf
Pierre-Loïc Garoche
01:46 AM Lustrec-Tests Revision e45f370e (lustrec-tests): add case where emf order is not good
01:40 AM Lustrec-Tests Revision 160ddb22 (lustrec-tests): Merge branch 'master' of
01:39 AM Lustrec-Tests Revision b58cc410 (lustrec-tests): add examples with clock
01:02 AM Revision 1f868027 (lustrec): JSON EMF
Pierre-Loïc Garoche
12:45 AM Lustrec-Tests Revision 9ca1404d (lustrec-tests): Updated scripts (emf->json)
Pierre-Loïc Garoche

Also available in: Atom