Project

General

Profile

Activity

From 06/13/2019 to 07/12/2019

07/12/2019

11:24 PM Revision b8dfc744 (lustrec): valid _verif node for seal-export lustre
Pierre-Loïc Garoche
10:32 PM Revision fbcd3ad1 (lustrec): No space in comments
Pierre-Loïc Garoche
10:24 PM Revision 518951ed (lustrec): Seal export lustre
Pierre-Loïc Garoche
10:24 PM Revision faf2b835 (lustrec): Work in progress: higher level constructs for lustre elements
Pierre-Loïc Garoche
03:05 AM Revision 5b4c0069 (lustrec): Contract printer cocospec
Pierre-Loïc Garoche

07/11/2019

11:25 PM Revision 1561a5bb (lustrec): No space before contract kwd
Pierre-Loïc Garoche
11:23 PM Revision 096f48d5 (lustrec): Printing trailing zeros in real constants
Pierre-Loïc Garoche
11:12 PM Revision 0292f958 (lustrec): Export cocospec contract
Pierre-Loïc Garoche
09:14 PM Revision 3209838a (lustrec): configure.ac
Pierre-Loïc Garoche
09:10 PM Revision 3bd83542 (lustrec): Remove dep
Pierre-Loïc Garoche
09:09 PM Revision 0980686c (lustrec): Seal deps + Z3 pin opam
Pierre-Loïc Garoche
08:59 PM Revision 7a4fd94d (lustrec): Output folder for seal-extract
Pierre-Loïc Garoche
08:41 PM Lustrec-Tests Revision db87e34d (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
08:40 PM Lustrec-Tests Revision 43460259 (lustrec-tests): New folder for extraction testing
Pierre-Loïc Garoche
08:39 PM Revision 3fd36dc9 (lustrec): Seal-export to a new file
Pierre-Loïc Garoche
07:43 AM Revision d75eb6f1 (lustrec): seal-export: produce the output as well. Could be simpler
Pierre-Loïc Garoche
06:39 AM Revision 81229f63 (lustrec): Seal-extract: first serious version. Guards are gathered as a single...
Pierre-Loïc Garoche

07/10/2019

09:16 PM Revision 3b7f916b (lustrec): Updated version seal-extract
Pierre-Loïc Garoche

07/09/2019

03:02 AM Revision 47851ec2 (lustrec): Working version of seal-extract. Heavy load on z3.
TODO: improvement through memoization Pierre-Loïc Garoche
03:02 AM Revision 7659bbb1 (lustrec): Corelang function: push_negations that propagate negations in leafs ...
Pierre-Loïc Garoche

07/08/2019

12:15 AM Bug #79 (Closed): MCDC Conditions are repeated for variables with one atomic boolean condition
Compare_1 = (u_1 >= Constant_1);
__cov_0_24 = (u_1 >= Constant_1);
__cov_1_24 = (not ((u_1 >= Const...
Hamza Bourbouh
12:13 AM Bug #78 (In Progress): Why generate MCDC conditions for constant flows?
__test1_PP_1 = (true -> false);
__cov_12_16 = __test1_PP_1;
__cov_13_16 = (not (__test1_PP_1));
...
Hamza Bourbouh

07/07/2019

03:24 AM Revision 7aaacbc9 (lustrec): Better extraction in lustrev-seal
Pierre-Loïc Garoche
03:24 AM Revision 58301109 (lustrec): Zustre: Bug solved in const injection for reals
Pierre-Loïc Garoche

07/05/2019

12:49 AM Revision 2104c80a (lustrec): Addressed a TODO in MCDC Pathconditions: simpler condition for singl...
Pierre-Loïc Garoche
12:04 AM Revision df94cd73 (lustrec): - More systematic translation for mutation
- copy_var_decl now keeps the generated type Pierre-Loïc Garoche
11:15 PM Revision e998fc16 (lustrec): Mutation translates now ids in cocospec import
Pierre-Loïc Garoche
03:07 AM Lustrec-Tests Revision 15c932a9 (lustrec-tests): add ada_diff.py
Hamza Bourbouh

07/04/2019

05:35 PM Revision 67ef9395 (lustrec): minor bugs solved in printer: guarantee vs guarantees in cocospec. I...
Pierre-Loïc Garoche
05:34 PM Revision 3050ca8f (lustrec): keep the open top declaration when loading a module. It may be usefu...
Pierre-Loïc Garoche
05:33 PM Revision 653b62e0 (lustrec): lustret: do not reload opened modules when generating the mcdc output
Pierre-Loïc Garoche
05:14 PM Lustrec-Tests Revision b745c1a8 (lustrec-tests): Renamed main node as top
Pierre-Loïc Garoche
06:35 AM Revision 8c934ccd (lustrec): lustrev seal: ongoing work on extraction as dynamical system. Still ...
Pierre-Loïc Garoche
06:33 AM Revision 6c3f2837 (lustrec): lustrev: removed the check of no dependencies
Pierre-Loïc Garoche
06:32 AM Revision 49d364b8 (lustrec): comestic changes, removing useless logs
Pierre-Loïc Garoche
06:31 AM Revision 7b424fe6 (lustrec): z3 as an optional pacage in configure
Pierre-Loïc Garoche
02:19 AM Lustrec-Tests Revision ea143160 (lustrec-tests): Missing dep for ADA targets
Pierre-Loïc Garoche

07/03/2019

01:53 AM Lustrec-Tests Revision 5d9f326b (lustrec-tests): Solving issue in the ADA test cases
Pierre-Loïc Garoche
01:01 AM Revision dc6e8512 (lustrec): Merge branch 'ada' into lustrec-seal
Pierre-Loïc Garoche

07/01/2019

03:14 PM Lustrec-Tests Revision 9bb9b710 (lustrec-tests): rapport de stage modèle word
Claude SODOKIN

06/27/2019

01:28 PM Lustrec-Tests Revision 7befce21 (lustrec-tests): base3_correct intégré et simulé ous vivado
Claude SODOKIN
 

Also available in: Atom