General

Profile

Hamza Bourbouh

  • Send diff email: No
  • Registered on: 04/04/2016
  • Last connection: 01/07/2020

Issues

Projects

Activity

01/30/2020

09:40 PM LustreC Revision b2ffde68 (lustrec): Merge branch 'lustrec-seal' into cocosim_master

01/07/2020

05:35 AM LustreC Bug #93 (Closed): C code generation ERROR when node is stateless
lustrec -node Abs_TestGen5_PP Abs_TestGen5_PP.LUSTREC.lus
>make -f Abs_TestGen5_PP.LUSTREC.makefile
gcc -O0 -I/Us...

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 (Closed): 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 (Closed): 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 ...

Also available in: Atom