Activity
From 03/20/2019 to 04/18/2019
04/17/2019
- 02:27 AM LustreC Revision 6f3a65e2 (lustrec): No need for open lustrec_math inside simulink_math_fcn. It creates a...
- 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...
04/16/2019
- 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/11/2019
- 03:57 PM LustreC Revision 1d95f425 (lustrec): Debug en cours sur les calculs Salsa
- 03:16 PM LustreC Revision 325f07c0 (lustrec): doc: use SVG format instead of PNG for dependency graph
- 03:09 PM LustreC Revision aa85bd44 (lustrec): Doc: update rule and remove old module in odocl
04/05/2019
- 04:37 PM LustreC Revision b5b745fb (lustrec): Ada: First support for transition predicate generation.
- 04:36 PM LustreC Revision 867276c9 (lustrec): Machine_code: Make a correction in the arrow machine creation :
- use the same polymorphic type in variables and values.
04/04/2019
- 04:11 PM LustreC Revision 2477d634 (lustrec): Ada: Correct some errors in printing
- 02:14 PM LustreC Revision 230b168e (lustrec): Ada: Refactor Ada Backend to reduce redundancy, make it more modular...
- more simple.
04/03/2019
- 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/30/2019
- 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.
...
03/28/2019
- 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/22/2019
- 01:51 PM LustreC Revision 2eee868b (lustrec): Merge branch 'lustrec-seal' into ada
- 01:50 PM LustreC Revision 826063db (lustrec): Ada: Correct ada main to handle statelles top level node
- 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... - 02:16 AM LustreC Revision 9fb1ab37 (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustre...
- 02:15 AM LustreC Revision 75a7b65b (lustrec): install notes
- 02:05 AM LustreC Revision a4c3d888 (lustrec): rev machines in emf
- 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 https://cavale.enseeiht.fr/git/lustre...
- 01:39 AM Lustrec-Tests Revision b58cc410 (lustrec-tests): add examples with clock
- 01:02 AM LustreC Revision 1f868027 (lustrec): JSON EMF
03/21/2019
- 12:45 AM Lustrec-Tests Revision 9ca1404d (lustrec-tests): Updated scripts (emf->json)
- 09:42 PM LustreC Revision 08788a01 (lustrec): Merge branch 'ada' into lustrec-seal
- 09:42 PM LustreC Revision 4034b51c (lustrec): more explanation in case of failure. Still dirty
- 09:41 PM Lustrec-Tests Revision ffe46d5f (lustrec-tests): Top level contracts are comments
- 09:38 PM Lustrec-Tests Revision 3debaf88 (lustrec-tests): Removed mode labels
- 09:29 PM Lustrec-Tests Revision 2a9aa5e1 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
- 09:29 PM Lustrec-Tests Revision 4784e95f (lustrec-tests): Small modifications to have the tests ok: we do not handle yet...
- 09:28 PM Lustrec-Tests Revision f0e4e301 (lustrec-tests): Moved files content in a single file
- 08:25 PM Lustrec-Tests Revision 6ccfcb12 (lustrec-tests): add regulators cocospec example
- 07:55 PM LustreC Revision f5769e61 (lustrec): Better JSON for EMF backend
- 07:41 PM LustreC Revision 861f327f (lustrec): Resolved sort order of nodes
- 07:23 PM LustreC Revision 61e0c3c4 (lustrec): Ada:
- - Correct the merge with lustrec-seal
- Improve support for builtin function(still work to do)
- Add generation o... - 05:20 PM LustreC Revision 1fd3d002 (lustrec): Cocospec: parsing, normalizing and processing machines for contracts.
- 05:19 PM LustreC Revision 42f91c0b (lustrec): Better EMF output, solved some invalid JSON produced
- 05:18 PM LustreC Revision 71999483 (lustrec): Cleaning C backend - removing unused functiions
- Preparing for coming ACSL
- 05:16 PM Lustrec-Tests Revision b8c35852 (lustrec-tests): Merge branch 'guarantees'
- 05:15 PM Lustrec-Tests Revision 61a7e719 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
- 05:15 PM Lustrec-Tests Revision 85dbaa74 (lustrec-tests): Merge branch 'master' into guarantees
- 05:12 PM Lustrec-Tests Revision bd3f748f (lustrec-tests): guarantee(s)
03/20/2019
- 12:32 AM Lustrec-Tests Revision 99a9d521 (lustrec-tests): remove corrupted lustre files
- 02:48 AM Lustrec-Tests Revision 17b2e00a (lustrec-tests): add ADA strategy and call it in Simulink folder
Also available in: Atom