imm
Intermediate Memory Model (IMM) and compilation correctness proofs for it
21 stars
4 watching
3 forks
Language: Coq
last commit: about 2 months ago coqproofweak-memory-models
Intermediate Memory Model (IMM) and compilation correctness proofs for it