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. @ 1075ee73dbcc2bca14f12aa71c5dc68e26e9da17

Simon Van Mierlo 1075ee73db performace improvements, also some timing issues resolved		9 년 전
..
big_step_maximality	1075ee73db performace improvements, also some timing issues resolved	9 년 전
event_lifeline	1075ee73db performace improvements, also some timing issues resolved	9 년 전
no_statechart	1075ee73db performace improvements, also some timing issues resolved	9 년 전
original_semantics	1075ee73db performace improvements, also some timing issues resolved	9 년 전
priority	1075ee73db performace improvements, also some timing issues resolved	9 년 전
timing	1075ee73db performace improvements, also some timing issues resolved	9 년 전
__init__.py	d6814173f2 restructure	9 년 전