Activity
From 03/21/2019 to 04/19/2019
04/19/2019
- 12:55 PM Revision c1f565cd (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
- 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...
04/17/2019
- 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... - 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 ...
04/11/2019
- 03:57 PM Revision 1d95f425 (lustrec): Debug en cours sur les calculs Salsa
- 03:16 PM Revision 325f07c0 (lustrec): doc: use SVG format instead of PNG for dependency graph
- 03:09 PM Revision aa85bd44 (lustrec): Doc: update rule and remove old module in odocl
04/05/2019
- 04:37 PM Revision b5b745fb (lustrec): Ada: First support for transition predicate generation.
- 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.
04/04/2019
- 04:11 PM Revision 2477d634 (lustrec): Ada: Correct some errors in printing
- 02:14 PM Revision 230b168e (lustrec): Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
- more simple.
04/03/2019
- 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... - 03:58 AM Bug #75 (New): exception File "checks/algebraicLoop.ml", 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...
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.
...
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.
03/22/2019
- 01:51 PM Revision 2eee868b (lustrec): Merge branch 'lustrec-seal' into ada
- 01:50 PM Revision 826063db (lustrec): Ada: Correct ada main to handle statelles top level node
- 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... - 02:16 AM Revision 9fb1ab37 (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
- 02:15 AM Revision 75a7b65b (lustrec): install notes
- 02:05 AM 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/lustrec-tests
- 01:39 AM Lustrec-Tests Revision b58cc410 (lustrec-tests): add examples with clock
- 01:02 AM Revision 1f868027 (lustrec): JSON EMF
- 12:45 AM Lustrec-Tests Revision 9ca1404d (lustrec-tests): Updated scripts (emf->json)
03/21/2019
- 09:42 PM Revision 08788a01 (lustrec): Merge branch 'ada' into lustrec-seal
- 09:42 PM 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/lustrec-tests
- 09:29 PM Lustrec-Tests Revision 4784e95f (lustrec-tests): Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax
- 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 Revision f5769e61 (lustrec): Better JSON for EMF backend
- 07:41 PM Revision 861f327f (lustrec): Resolved sort order of nodes
- 07:23 PM 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 Revision 1fd3d002 (lustrec): Cocospec: parsing, normalizing and processing machines for contracts.
- 05:19 PM Revision 42f91c0b (lustrec): Better EMF output, solved some invalid JSON produced
- 05:18 PM 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/lustrec-tests
- 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)
- 12:32 AM Lustrec-Tests Revision 99a9d521 (lustrec-tests): remove corrupted lustre files
Also available in: Atom