CristalCaveGem » LustreC

11/14/2019

05:15 AM 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 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 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