All Git Users → weakmemory

1 open source projects by weakmemory

[ Open user page on Github ]

Intermediate Memory Model (IMM) and compilation correctness proofs for it

✭ 15

Coq coq proof weak-memory-models

1-1 of 1 user projects