jexelmans/sccd: My own version of SCCD. Started as a fork of SCCD 0.9, but is >99% a complete rewrite. The interpreter part was created as part of my master thesis. The compiler (target: Rust) was added later on. @ 96ee45a964c040ceec45fe27fc92eba7ea02d528

Joeri Exelmans f169cbe3f4 Fix Python (interpreted) version of digital watch example		4 anos atrás
..
chatclient	0594ee5c6d Much cooler looking priority graphs	5 anos atrás
digitalwatch	f169cbe3f4 Fix Python (interpreted) version of digital watch example	4 anos atrás
microwave	dacbbec4ee Microwave example: various changes	4 anos atrás
semantics	b3d7175114 Extend readme. Add some comments.	5 anos atrás
stove	348c04e397 Move candidate generator classes to a separate module. Add script for rendering graph of transition priorities.	5 anos atrás