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		il y a 4 ans
..
big_step_maximality	7be18b138b Move and remove some stuff	il y a 4 ans
event_lifeline	7be18b138b Move and remove some stuff	il y a 4 ans
memory_protocol	57b0349e58 Fixed some tests	il y a 4 ans
priority	7be18b138b Move and remove some stuff	il y a 4 ans