kent-weak-memory

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

genmc

Generic model checker for concurrent C programs

mrder

rust

Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture

so-lib

SO Solver Library, extracted from PrideMM