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

Joeri Exelmans b3d7175114 Extend readme. Add some comments.		5 years ago
..
big_step_maximality	ff59de9675 Re-render test files as SVG images.	5 years ago
event_lifeline	ff59de9675 Re-render test files as SVG images.	5 years ago
memory_protocol	ff59de9675 Re-render test files as SVG images.	5 years ago
priority	b3d7175114 Extend readme. Add some comments.	5 years ago