Project

General

Profile

Activity

From 11/13/2019 to 12/12/2019

11/20/2019

04:38 PM LustreC Bug #90 (Closed): Lustrec error is unreadable
solved in lustrec-seal 94a9e2c3e99071700d91dbd56a9 Pierre-Loïc Garoche
04:37 PM LustreC Bug #91 (Closed): Json of EMF backend is broken for array access
closed.
lustrec-seal 9b2c037f5
Pierre-Loïc Garoche

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
.. ...
Hamza Bourbouh
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...
Hamza Bourbouh
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/...
Hamza Bourbouh
 

Also available in: Atom