 Joeri Exelmans
|
9848616e00
Added readme to chatroom example
|
преди 5 години |
|
Joeri Exelmans
|
4bb02bb8e3
Add new chatroom example. Added threads-backend and threadsafe eventloop-backend.
|
преди 5 години |
|
Joeri Exelmans
|
28355d7393
Remove old chatroom example
|
преди 5 години |
|
Joeri Exelmans
|
34b18167a0
Added 'threads' platform
|
преди 5 години |
|
Joeri Exelmans
|
25a125a19e
Move most of the statechart language's "builtin" functions to an action language library.
|
преди 5 години |
|
Joeri Exelmans
|
947e998165
Fix bug in import statement.
|
преди 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
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
преди 5 години |
|
Joeri Exelmans
|
0863e16d07
Event loop integration: make it safe to add input events from output event callback.
|
преди 5 години |
|
Joeri Exelmans
|
3fc7e6bbab
Simplify super-round maximality implementation
|
преди 5 години |
|
Joeri Exelmans
|
950b98fd8d
Added some documentation + 2 bugs in the form of tests
|
преди 5 години |
|
Joeri Exelmans
|
1912ac2988
Remove an unused field, update documentation
|
преди 5 години |
|
Joeri Exelmans
|
b973c0f4fa
Added some documentation. Moved Globals class to statechart.static package. Moved cd.cd module to cd.static.cd to achieve common structure with action_lang and statechart packages.
|
преди 5 години |
|
Joeri Exelmans
|
40300fd648
Lots of earlier, uncommitted changes
|
преди 5 години |
|
Joeri Exelmans
|
2c203051b8
More slotted classes, small changes.
|
преди 5 години |
|
Joeri Exelmans
|
d7522cff55
Clearer distinction between "internal events" and "internally raised events"
|
преди 5 години |
|
Joeri Exelmans
|
f399300f64
More efficient conversions between duration units. Improved type checks for binary and unary expressions.
|
преди 5 години |
|
Joeri Exelmans
|
829cb29aa4
Action language: Added float literals, subtractions between durations and fixed bug in binary expression type check.
|
преди 5 години |
|
Joeri Exelmans
|
3c95a734bd
Simpler Source-Child priority implementation
|
преди 5 години |
|
Joeri Exelmans
|
ff638964bb
Experiment with statically generating sets of concurrent transitions.
|
преди 5 години |
|
Joeri Exelmans
|
d6c05d3510
Implemented additional "arena" hierarchical priority semantics + corrected existing semantics (Source-Child semantics does no longer reverse "explicit" (document) order of transitions of equal priority). Add tests for hierarchical priority semantics.
|
преди 5 години |
|
Joeri Exelmans
|
61b8f1b513
Higher re-use of transition candidate generation logic
|
преди 5 години |
|
Joeri Exelmans
|
1db62ed6f5
Event queue: use collections.Counter class
|
преди 5 години |
|
Joeri Exelmans
|
4deb813733
Event queue: more efficient removing of items
|
преди 5 години |
|
Joeri Exelmans
|
b83afd8058
Event loop: Model remains responsive if we cannot keep up with wallclock time. Model simply runs at reduced speed but will catch up when it has the chance.
|
преди 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
|
5f01be7d40
Added missing type check.
|
преди 5 години |
|
Joeri Exelmans
|
a5bd657f8d
Call Tk's update_idletasks when scheduling another wakeup, so the (digital watch) interface remains responsive under full load.
|
преди 5 години |
