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		před 4 roky
..
big_step_maximality	7be18b138b Move and remove some stuff	před 4 roky
event_lifeline	7be18b138b Move and remove some stuff	před 4 roky
memory_protocol	57b0349e58 Fixed some tests	před 4 roky
priority	7be18b138b Move and remove some stuff	před 4 roky