kent-weak-memory

Popular repositories Loading

1. rust rustPublic

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

   Rust 6 5

2. event-structure-compiler event-structure-compilerPublic

   Compiles pseudo code into relational representations of Event Structures

   OCaml 1

3. rust-benchmarking-scripts rust-benchmarking-scriptsPublic

   Automated benchmarks used to generate data for the Rust for Morello paper

   Python 1 1

4. so-lib so-libPublic

   SO Solver Library, extracted from PrideMM

   OCaml 1

5. genmc genmcPublic

   Forked from MPI-SWS/genmc

   Generic model checker for concurrent C programs

   C

6. mrder mrderPublic

   OCaml