sourcedennis

Proofs for the case study in "Burrow: A Proof Framework for Weak Memory"

Small Docker images containing Agda

Proofs for "Arancini: A Hybrid Binary Translator for Weak Memory Architectures"

Proofs for "Risotto: A Dynamic Binary Translator for Weak Memory Architectures"

Proofs for "Constructive Galois Connections" by Darais et al.

Proofs for "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"

Musketeer from "Don't sit on the fence" by Alglave et al.