Activity

From 06/23/2019 to 07/22/2019

07/18/2019

09:38 PM LustreC Revision 0323b9e6 (lustrec): More kind2 outputs: clocked fun call + clocked and restart fun call: Pierre-Loïc Garoche
08:24 PM LustreC Bug #81 (Closed): Example with Enumeration is not supported by Lustrev: fixed in lustrec-seal branch commit 73a4995aff22 Hamza Bourbouh
08:23 PM LustreC Bug #85 (Closed): lustrev failed: fixed in lustrec-seal branch Hamza Bourbouh
08:22 PM LustreC Bug #87 (Closed): kind2 output: merge: fixed in lustrec-seal branch Hamza Bourbouh
08:21 PM LustreC Bug #89 (Closed): EMF backend failed: fixed in 3b007718582b1726 Hamza Bourbouh
09:02 AM LustreC Revision 73a4995a (lustrec): seal: now deals with enum: Pierre-Loïc Garoche
07:52 AM LustreC Revision ff61a638 (lustrec): when condition in kind2 printer: Pierre-Loïc Garoche
07:39 AM LustreC Revision 3b007718 (lustrec): EMF backend issue: Pierre-Loïc Garoche

07/17/2019

01:42 AM LustreC Bug #89 (Closed): EMF backend failed: > lustrec -emf GraphFun1.lus
> cat GraphFun1.json | python -m json.tool
Expecting property name: line 19 column 22 ... Hamza Bourbouh
11:12 PM LustreC Revision 72a93147 (lustrec): seal: stateless systems: Pierre-Loïc Garoche
11:10 PM LustreC Bug #86 (Closed): lustrev ne se termine pas: The example was not looping but generating an assert false
commit 72a93147f Pierre-Loïc Garoche
03:41 AM LustreC Bug #86 (Closed): lustrev ne se termine pas: node Abs1_PP(
In1_1 : int;)
returns(
Out1_1 : int; );
var
Abs_1 : int;
let
Abs_1 = (if (In1_1 >= 0) the... Hamza Bourbouh
08:00 PM LustreC Bug #88 (New): kind2 output: When for node arguments: Lustrec syntax:
f(x1 when c, x2 when c, ...)
Kind2 syntax:
(activate f every c)(x1, x2, ...) Anonymous
07:58 PM LustreC Bug #87 (Closed): kind2 output: merge: Lustrec syntax:
merge c
(true -> a when true(c))
(false -> b when false(c));
Kind2 syntax:
merge c
(true... Anonymous
07:40 PM LustreC Revision 1d3f2f66 (lustrec): every in kind2 syntax: Pierre-Loïc Garoche
07:38 PM LustreC Bug #82 (Closed): kind2 output for every: commit 1d3f2f66f Pierre-Loïc Garoche
07:30 PM LustreC Revision ae08b9fc (lustrec): [seal] delt with Merge and when: [printer] more kind2 syntax Pierre-Loïc Garoche
07:28 PM LustreC Bug #83 (Closed): Kind2 output "bool clock" => "bool": commit ae08b9fc9 Pierre-Loïc Garoche
02:16 AM LustreC Revision 629392e1 (lustrec): No more when suffix in clocked variables with kind2 option: Pierre-Loïc Garoche
02:13 AM LustreC Bug #84 (Closed): kind2 output : "real when true(_isEnabled_clock)" => "real": Solved in commit 629392e16f26aaf7d2 Pierre-Loïc Garoche

07/08/2019

12:15 AM LustreC 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 LustreC 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 LustreC Revision 7aaacbc9 (lustrec): Better extraction in lustrev-seal: Pierre-Loïc Garoche
03:24 AM LustreC Revision 58301109 (lustrec): Zustre: Bug solved in const injection for reals: Pierre-Loïc Garoche

07/05/2019

12:49 AM LustreC Revision 2104c80a (lustrec): Addressed a TODO in MCDC Pathconditions: simpler condition for singl...: Pierre-Loïc Garoche
12:04 AM LustreC Revision df94cd73 (lustrec): - More systematic translation for mutation: - copy_var_decl now keeps the generated type Pierre-Loïc Garoche
11:15 PM LustreC 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 LustreC Revision 67ef9395 (lustrec): minor bugs solved in printer: guarantee vs guarantees in cocospec. I...: Pierre-Loïc Garoche
05:34 PM LustreC Revision 3050ca8f (lustrec): keep the open top declaration when loading a module. It may be usefu...: Pierre-Loïc Garoche
05:33 PM LustreC 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 LustreC Revision 8c934ccd (lustrec): lustrev seal: ongoing work on extraction as dynamical system. Still ...: Pierre-Loïc Garoche
06:33 AM LustreC Revision 6c3f2837 (lustrec): lustrev: removed the check of no dependencies: Pierre-Loïc Garoche
06:32 AM LustreC Revision 49d364b8 (lustrec): comestic changes, removing useless logs: Pierre-Loïc Garoche
06:31 AM LustreC 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 LustreC 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

« Previous

Also available in: Atom

General

Profile

Activity

Activity

07/18/2019

07/17/2019

07/16/2019

07/15/2019

07/12/2019

07/11/2019

07/10/2019

07/09/2019

07/08/2019

07/07/2019

07/05/2019

07/04/2019

07/03/2019

07/01/2019

06/27/2019