 Joeri Exelmans
|
348c04e397
Move candidate generator classes to a separate module. Add script for rendering graph of transition priorities.
|
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).
|
5 tahun lalu |
|
Joeri Exelmans
|
25a125a19e
Move most of the statechart language's "builtin" functions to an action language library.
|
5 tahun lalu |
|
Joeri Exelmans
|
40300fd648
Lots of earlier, uncommitted changes
|
5 tahun lalu |
|
Joeri Exelmans
|
d98becde8f
More slotted classes
|
5 tahun lalu |
|
Joeri Exelmans
|
af62dc077c
Various small fixes
|
5 tahun lalu |
|
Joeri Exelmans
|
f93fc55dc3
Datamodel: Have a "setup" script declaring variables in the instance scope instead of silly XML tags <var> and <func> for variable and function declarations. Nicer syntax, more powerful and we reuse functionality (like parsing and interpreting a block of statements) instead of treating the datamodel as something special. Function declarations are just expressions assigned to variables or directly called. Nested function declarations should be fully supported (yet untested).
|
5 tahun lalu |
|
Joeri Exelmans
|
09cc364711
Got Example 7 from Day & Atlee working!
|
5 tahun lalu |
|
Joeri Exelmans
|
4f95b97760
Fix bug in MemorySnapshot.shrink_stack. Example 7 from Day & Atlee almost executing correctly.
|
5 tahun lalu |
|
Joeri Exelmans
|
fdc4868683
Action language: Implemented if-statements. Implemented raising events with parameter expressions. Rename some things.
|
5 tahun lalu |
|
Joeri Exelmans
|
10288e3385
Getting closer to XML parsing nirvana...
|
5 tahun lalu |
|
Joeri Exelmans
|
225a6d0c8d
Implemented user-defined functions. Parameter types explicit, return types statically inferred.
|
5 tahun lalu |
|
Joeri Exelmans
|
33cf1867c5
Extend semantic option wildcard mechanism to comma-separated lists of options. Parse transition event attribute as comma-separated list of (possibly negated) events with parameters. Event parameters added to transition scope. Input port ignored when generating ID for input/internal event (need this for Day & Atlee's examples)
|
5 tahun lalu |
