 Joeri Exelmans
|
a41a408582
INSTATE-macro only allowed in transition's guard or actions. Added test.
|
преди 4 години |
|
Joeri Exelmans
|
cd3b7a143f
Implemented INSTATE macro in Rust
|
преди 4 години |
|
Joeri Exelmans
|
46abeb6ba5
Re-engineered state refs (used by transitions and INSTATE-macro). Implemented new strategy for INSTATE-macro in parser and interpreter.
|
преди 4 години |
|
Joeri Exelmans
|
667e5b22f3
Progress towards supporting INSTATE-macro in Rust
|
преди 4 години |
|
Joeri Exelmans
|
aabbf85114
New approach to handling event parameters and access to 'state configuration' + cleanup debris. Rust codegen broken.
|
преди 4 години |
|
Joeri Exelmans
|
f4fc142494
Progress with Rust code generation for action language. Some earlier tests broken.
|
преди 4 години |
|
Joeri Exelmans
|
efbf059d2d
Rust: Fix removing of events. XML parser: assert state IDs are valid IDs in Rust. Add 2 tests.
|
преди 4 години |
|
Joeri Exelmans
|
7c0bb7277d
Rust: Use unsigned 16 bit integers for timer IDs
|
преди 4 години |
|
Joeri Exelmans
|
8d95f7753b
Rust: Add support for timers
|
преди 4 години |
|
Joeri Exelmans
|
a53cf88893
Abstract syntax: Basic states modeled as empty And-states. History states modeled as pseudo-states.
|
преди 4 години |
|
Joeri Exelmans
|
78a2d6ad8c
Cleaning some stuff up
|
преди 5 години |
|
Joeri Exelmans
|
1c4f323794
Move SCCD exceptions from action_lang to their own package
|
преди 5 години |
|
Joeri Exelmans
|
51be0029f4
XML parsing of semantic options: don't ignore non-existing semantic aspects
|
преди 5 години |
|
Joeri Exelmans
|
39a7b52222
Fixed bug in statechart XML parser (sibling_dict for parallel state was being reused)
|
преди 5 години |
|
Joeri Exelmans
|
cc128ddbbe
Updated chat client model to match design in thesis. Enabled decoration of Lark-parser errors in XML parser.
|
преди 5 години |
|
Joeri Exelmans
|
48c68c584e
Added support for importing Python libraries into action language.
|
преди 5 години |
|
Joeri Exelmans
|
49149eb5b6
Removed test case of a "todo"-bug (bug turned out not to exist after all). Added test for checking whether guard conditions are expressions of boolean-type.
|
преди 5 години |
|
Joeri Exelmans
|
950b98fd8d
Added some documentation + 2 bugs in the form of tests
|
преди 5 години |
|
Joeri Exelmans
|
d7522cff55
Clearer distinction between "internal events" and "internally raised events"
|
преди 5 години |
|
Joeri Exelmans
|
2ff5a98dc8
Various bug fixes + improvements to digital watch model.
|
преди 5 години |
|
Joeri Exelmans
|
03957f99e5
More flexible and efficient output events. Proper canceling of timer events in the controller event queue instead of ignoring canceled events in the statechart (statechart should not execute a big step for a canceled event)
|
преди 5 години |
|
Joeri Exelmans
|
af62dc077c
Various small fixes
|
преди 5 години |
|
Joeri Exelmans
|
b5d9ee35b0
Cleaning
|
преди 5 години |
|
Joeri Exelmans
|
47499356c2
Introduce XML rules for "single instance models" (like digital watch). Controller delta can be set in XML.
|
преди 5 години |
|
Joeri Exelmans
|
a57ca82fd6
Got digital watch pretty much working, with some bugs.
|
преди 5 години |
|
Joeri Exelmans
|
3064fa0c4e
Rename some things, update README.
|
преди 5 години |
|
Joeri Exelmans
|
15128efe3f
Correction: event-based candidate generation should pre-cache all trigger's enabling events, not just the internal events (-> further improvement in no. cache hits)
|
преди 5 години |
|
Joeri Exelmans
|
5468ca694c
Event-based transition candidate generation algorithm prepares its cache for all single-item sets of events.
|
преди 5 години |
|
Joeri Exelmans
|
3090e1255f
Re-implement history behavior to fix error in deep history test. Using bitmap operations where possible.
|
преди 5 години |
|
Joeri Exelmans
|
4a3a9a0507
Fix error in set of enter states for Day & Atlee's example 4. Theoretically faster generation of "effective target states" by generating them *partially* statically. Quite complex and dirty at the moment.
|
преди 5 години |
