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

Joeri Exelmans 57b0349e58 Fixed some tests		vor 4 Jahren
..
big_step_maximality	7be18b138b Move and remove some stuff	vor 4 Jahren
event_lifeline	7be18b138b Move and remove some stuff	vor 4 Jahren
memory_protocol	57b0349e58 Fixed some tests	vor 4 Jahren
priority	7be18b138b Move and remove some stuff	vor 4 Jahren