Joeri Exelmans 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 years ago
..
chatclient 0594ee5c6d Much cooler looking priority graphs 5 years ago
digitalwatch 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 years ago
microwave dacbbec4ee Microwave example: various changes 4 years ago
semantics b3d7175114 Extend readme. Add some comments. 5 years ago
stove 348c04e397 Move candidate generator classes to a separate module. Add script for rendering graph of transition priorities. 5 years ago