General

Profile

Hamza Bourbouh

  • Send diff email: No
  • Registered on: 04/04/2016
  • Last connection: 11/14/2019

Issues

Projects

Activity

11/14/2019

05:15 AM LustreC Bug #92 (New): expression should have been normalized in EMF backend
lustrec -emf test.lus
.. parsing source file ./test.lus
.. Phase 1 : Normalisation
.. expanding automata
.. ...
02:57 AM LustreC Bug #91 (New): Json of EMF backend is broken for array access
{"type": "array access",
"array": [{"type": "variable",
"value": "x",
"datatype": { "kind": "a...
02:34 AM LustreC Bug #90 (New): Lustrec error is unreadable
lustrec -lusi NLGuidanceSpec.lus
Raised at file "parsing.ml", line 183, characters 8-17
Called from file "parsers/...

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

Also available in: Atom