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		преди 4 години
..
big_step_maximality	7be18b138b Move and remove some stuff	преди 4 години
event_lifeline	7be18b138b Move and remove some stuff	преди 4 години
memory_protocol	57b0349e58 Fixed some tests	преди 4 години
priority	7be18b138b Move and remove some stuff	преди 4 години