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. @ 0664fd0abbb5b6d43f93e94b99fc3f80140e2cb7

Simon Van Mierlo 0664fd0abb a trigger with no port specification is now also triggered by an external		9 jaren geleden
..
big_step_maximality	0664fd0abb a trigger with no port specification is now also triggered by an external	9 jaren geleden
event_lifeline	0664fd0abb a trigger with no port specification is now also triggered by an external	9 jaren geleden
no_statechart	0664fd0abb a trigger with no port specification is now also triggered by an external	9 jaren geleden
original_semantics	0664fd0abb a trigger with no port specification is now also triggered by an external	9 jaren geleden
priority	0664fd0abb a trigger with no port specification is now also triggered by an external	9 jaren geleden
timing	0664fd0abb a trigger with no port specification is now also triggered by an external	9 jaren geleden