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. @ b4e8423ef2e511b3ba145478e14cf8f3cf0154a5

Simon Van Mierlo 3f60a60dca transitions with only a guard are no longer given priority		9 years ago
..
exit_parallel.py	3f60a60dca transitions with only a guard are no longer given priority	9 years ago
exit_parallel.xml	3f60a60dca transitions with only a guard are no longer given priority	9 years ago
runner.py	3f60a60dca transitions with only a guard are no longer given priority	9 years ago
runner_exit_parallel.py	3f60a60dca transitions with only a guard are no longer given priority	9 years ago
server.py	3f60a60dca transitions with only a guard are no longer given priority	9 years ago
server.xml	3f60a60dca transitions with only a guard are no longer given priority	9 years ago