| .. |
|
chatclient
|
cc128ddbbe
Updated chat client model to match design in thesis. Enabled decoration of Lark-parser errors in XML parser.
|
5 tahun lalu |
|
digitalwatch
|
cc128ddbbe
Updated chat client model to match design in thesis. Enabled decoration of Lark-parser errors in XML parser.
|
5 tahun lalu |
|
semantics
|
490196c118
Add script that checks if "semantic oracle" statechart correctly infers semantics under all circumstances. Small 'refactor' to how combo-step maximality option is represented in abstract syntax (now the same as big-step maximality).
|
5 tahun lalu |
|
stove
|
12f5b7ab72
Action language: Added ArrayIndexed construct as LValue and Expression
|
5 tahun lalu |
Joeri Exelmans
490196c118
Add script that checks if "semantic oracle" statechart correctly infers semantics under all circumstances. Small 'refactor' to how combo-step maximality option is represented in abstract syntax (now the same as big-step maximality).