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 年之前