Activity
From 06/08/2019 to 07/07/2019
07/07/2019
- 03:24 AM Revision 7aaacbc9 (lustrec): Better extraction in lustrev-seal
- 03:24 AM Revision 58301109 (lustrec): Zustre: Bug solved in const injection for reals
07/06/2019
- 12:49 AM Revision 2104c80a (lustrec): Addressed a TODO in MCDC Pathconditions: simpler condition for single expression
- 12:04 AM Revision df94cd73 (lustrec): - More systematic translation for mutation
- - copy_var_decl now keeps the generated type
07/05/2019
- 11:15 PM Revision e998fc16 (lustrec): Mutation translates now ids in cocospec import
- 03:07 AM Lustrec-Tests Revision 15c932a9 (lustrec-tests): add ada_diff.py
07/04/2019
- 05:35 PM Revision 67ef9395 (lustrec): minor bugs solved in printer: guarantee vs guarantees in cocospec. Imported node shall not be printed as regular code since it is not part of the grammar yet. Kept them as comment.
- 05:34 PM Revision 3050ca8f (lustrec): keep the open top declaration when loading a module. It may be useful later when producing a lustre file
- 05:33 PM Revision 653b62e0 (lustrec): lustret: do not reload opened modules when generating the mcdc output
- 05:14 PM Lustrec-Tests Revision b745c1a8 (lustrec-tests): Renamed main node as top
- 06:35 AM Revision 8c934ccd (lustrec): lustrev seal: ongoing work on extraction as dynamical system. Still not working yet
- 06:33 AM Revision 6c3f2837 (lustrec): lustrev: removed the check of no dependencies
- 06:32 AM Revision 49d364b8 (lustrec): comestic changes, removing useless logs
- 06:31 AM Revision 7b424fe6 (lustrec): z3 as an optional pacage in configure
- 02:19 AM Lustrec-Tests Revision ea143160 (lustrec-tests): Missing dep for ADA targets
- 01:53 AM Lustrec-Tests Revision 5d9f326b (lustrec-tests): Solving issue in the ADA test cases
- 01:01 AM Revision dc6e8512 (lustrec): Merge branch 'ada' into lustrec-seal
07/01/2019
- 03:14 PM Lustrec-Tests Revision 9bb9b710 (lustrec-tests): rapport de stage modèle word
06/27/2019
- 01:28 PM Lustrec-Tests Revision 7befce21 (lustrec-tests): base3_correct intégré et simulé ous vivado
Also available in: Atom