General

Profile

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...
hbourbou
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...
Hamza Bourbouh

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 ... Hamza Bourbouh

04/11/2019

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

04/05/2019

04:37 PM LustreC Revision b5b745fb (lustrec): Ada: First support for transition predicate generation.
Guillaume DAVY
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. Guillaume DAVY

04/04/2019

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

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...
Hamza Bourbouh
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...
Hamza Bourbouh

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.
...
Hamza Bourbouh

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.
Hamza Bourbouh

03/22/2019

01:51 PM LustreC Revision 2eee868b (lustrec): Merge branch 'lustrec-seal' into ada
Guillaume DAVY
01:50 PM LustreC Revision 826063db (lustrec): Ada: Correct ada main to handle statelles top level node
Guillaume DAVY
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...
Hamza Bourbouh
02:16 AM LustreC Revision 9fb1ab37 (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustre...
Garoche
02:15 AM LustreC Revision 75a7b65b (lustrec): install notes
Garoche
02:05 AM LustreC 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
hbourbou
01:40 AM Lustrec-Tests Revision 160ddb22 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
hbourbou
01:39 AM Lustrec-Tests Revision b58cc410 (lustrec-tests): add examples with clock
hbourbou
01:02 AM LustreC Revision 1f868027 (lustrec): JSON EMF
Pierre-Loïc Garoche

03/21/2019

12:45 AM Lustrec-Tests Revision 9ca1404d (lustrec-tests): Updated scripts (emf->json)
Pierre-Loïc Garoche
09:42 PM LustreC Revision 08788a01 (lustrec): Merge branch 'ada' into lustrec-seal
Pierre-Loïc Garoche
09:42 PM LustreC Revision 4034b51c (lustrec): more explanation in case of failure. Still dirty
Pierre-Loïc Garoche
09:41 PM Lustrec-Tests Revision ffe46d5f (lustrec-tests): Top level contracts are comments
Pierre-Loïc Garoche
09:38 PM Lustrec-Tests Revision 3debaf88 (lustrec-tests): Removed mode labels
Pierre-Loïc Garoche
09:29 PM Lustrec-Tests Revision 2a9aa5e1 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
09:29 PM Lustrec-Tests Revision 4784e95f (lustrec-tests): Small modifications to have the tests ok: we do not handle yet...
Pierre-Loïc Garoche
09:28 PM Lustrec-Tests Revision f0e4e301 (lustrec-tests): Moved files content in a single file
Pierre-Loïc Garoche
08:25 PM Lustrec-Tests Revision 6ccfcb12 (lustrec-tests): add regulators cocospec example
hbourbou
07:55 PM LustreC Revision f5769e61 (lustrec): Better JSON for EMF backend
Pierre-Loïc Garoche
07:41 PM LustreC Revision 861f327f (lustrec): Resolved sort order of nodes
Pierre-Loïc Garoche
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...
Guillaume DAVY
05:20 PM LustreC Revision 1fd3d002 (lustrec): Cocospec: parsing, normalizing and processing machines for contracts.
Pierre-Loïc Garoche
05:19 PM LustreC Revision 42f91c0b (lustrec): Better EMF output, solved some invalid JSON produced
Pierre-Loïc Garoche
05:18 PM LustreC Revision 71999483 (lustrec): Cleaning C backend - removing unused functiions
Preparing for coming ACSL Pierre-Loïc Garoche
05:16 PM Lustrec-Tests Revision b8c35852 (lustrec-tests): Merge branch 'guarantees'
Pierre-Loïc Garoche
05:15 PM Lustrec-Tests Revision 61a7e719 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
05:15 PM Lustrec-Tests Revision 85dbaa74 (lustrec-tests): Merge branch 'master' into guarantees
Pierre-Loïc Garoche
05:12 PM Lustrec-Tests Revision bd3f748f (lustrec-tests): guarantee(s)
Pierre-Loïc Garoche

03/20/2019

12:32 AM Lustrec-Tests Revision 99a9d521 (lustrec-tests): remove corrupted lustre files
hbourbou
02:48 AM Lustrec-Tests Revision 17b2e00a (lustrec-tests): add ADA strategy and call it in Simulink folder
hbourbou
 

Also available in: Atom