From 07/17/2019 to 08/15/2019


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


01:42 AM 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 Revision 72a93147 (lustrec): seal: stateless systems
Pierre-Loïc Garoche
11:10 PM 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 Bug #86 (Closed): lustrev ne se termine pas
node Abs1_PP(
In1_1 : int;)
Out1_1 : int; );
Abs_1 : int;
Abs_1 = (if (In1_1 >= 0) the...
Hamza Bourbouh
08:00 PM 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, ...)
07:58 PM Bug #87 (Closed): kind2 output: merge
Lustrec syntax:
merge c
(true -> a when true(c))
(false -> b when false(c));
Kind2 syntax:
merge c
07:40 PM Revision 1d3f2f66 (lustrec): every in kind2 syntax
Pierre-Loïc Garoche
07:38 PM Bug #82 (Closed): kind2 output for every
commit 1d3f2f66f Pierre-Loïc Garoche
07:30 PM Revision ae08b9fc (lustrec): [seal] delt with Merge and when
[printer] more kind2 syntax Pierre-Loïc Garoche
07:28 PM Bug #83 (Closed): Kind2 output "bool clock" => "bool"
commit ae08b9fc9 Pierre-Loïc Garoche
02:16 AM Revision 629392e1 (lustrec): No more when suffix in clocked variables with kind2 option
Pierre-Loïc Garoche
02:13 AM Bug #84 (Closed): kind2 output : "real when true(_isEnabled_clock)" => "real"
Solved in commit 629392e16f26aaf7d2 Pierre-Loïc Garoche

Also available in: Atom