kent-weak-memory's repositories
event-structure-compiler
Compiles pseudo code into relational representations of Event Structures
rust-benchmarking-scripts
Automated benchmarks used to generate data for the Rust for Morello paper
Compiles pseudo code into relational representations of Event Structures
Automated benchmarks used to generate data for the Rust for Morello paper