General

Profile

Hamza Bourbouh

  • Send diff email: No
  • Registered on: 04/04/2016
  • Last connection: 09/05/2019

Issues

Projects

Activity

07/18/2019

08:24 PM LustreC Bug #81 (Closed): Example with Enumeration is not supported by Lustrev
fixed in lustrec-seal branch commit 73a4995aff22
08:23 PM LustreC Bug #85 (Closed): lustrev failed
fixed in lustrec-seal branch
08:22 PM LustreC Bug #87 (Closed): kind2 output: merge
fixed in lustrec-seal branch
08:21 PM LustreC Bug #89 (Closed): EMF backend failed
fixed in 3b007718582b1726

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

07/16/2019

11:00 PM LustreC Bug #85 (Closed): lustrev failed
lustrev -verbose 0 -seal -seal-export lustre -d toto2 -node Clock_PP Clock_PP.LUSTREC.lus
Raised by primitive operat...
10:55 PM LustreC Bug #84 (Closed): kind2 output : "real when true(_isEnabled_clock)" => "real"
Generating MC-DC on the attached file generates a normalized variables with type "real when true(_isEnabled_clock)"....
08:24 PM LustreC Bug #83 (Closed): Kind2 output "bool clock" => "bool"
08:13 PM LustreC Bug #82 (Closed): kind2 output for every
Kind2 syntax for resetting node using EVERY operator is:
(restart <node_name> every <clock>)(<input_1>, <input_2>, ...)

Also available in: Atom