Joeri Exelmans b190e2fd4f More progress with Rust. Ported digital watch GUI to HTML + SVG. %!s(int64=4) %!d(string=hai) anos
..
DigitalWatchGUI.py 0863e16d07 Event loop integration: make it safe to add input events from output event callback. %!s(int64=5) %!d(string=hai) anos
README.txt b190e2fd4f More progress with Rust. Ported digital watch GUI to HTML + SVG. %!s(int64=4) %!d(string=hai) anos
font.ttf b190e2fd4f More progress with Rust. Ported digital watch GUI to HTML + SVG. %!s(int64=4) %!d(string=hai) anos
model_digitalwatch.svg 348c04e397 Move candidate generator classes to a separate module. Add script for rendering graph of transition priorities. %!s(int64=5) %!d(string=hai) anos
model_digitalwatch.xml cc128ddbbe Updated chat client model to match design in thesis. Enabled decoration of Lark-parser errors in XML parser. %!s(int64=5) %!d(string=hai) anos
model_digitalwatch_priorities.svg 0594ee5c6d Much cooler looking priority graphs %!s(int64=5) %!d(string=hai) anos
noteSmall.gif 7d7f3832fe Remove JavaScript stuff. Move existing SCCD examples, doc and textualnotations to 'legacy' folder. Update setup script. Add digital watch example (doesn't run yet, need to figure out how to connect existing Python code with the statechart model) %!s(int64=5) %!d(string=hai) anos
run.html b190e2fd4f More progress with Rust. Ported digital watch GUI to HTML + SVG. %!s(int64=4) %!d(string=hai) anos
run.py 4bb02bb8e3 Add new chatroom example. Added threads-backend and threadsafe eventloop-backend. %!s(int64=5) %!d(string=hai) anos
watch.gif 7d7f3832fe Remove JavaScript stuff. Move existing SCCD examples, doc and textualnotations to 'legacy' folder. Update setup script. Add digital watch example (doesn't run yet, need to figure out how to connect existing Python code with the statechart model) %!s(int64=5) %!d(string=hai) anos
watch.jpg 7d7f3832fe Remove JavaScript stuff. Move existing SCCD examples, doc and textualnotations to 'legacy' folder. Update setup script. Add digital watch example (doesn't run yet, need to figure out how to connect existing Python code with the statechart model) %!s(int64=5) %!d(string=hai) anos

README.txt

The python script run.py runs the example.

There's also run.html, which will be the browser version of the example. This will involve generating Rust code from the statechart model, and compiling Rust to WebAssembly.