Popular repositories Loading

1. imm imm Public

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

   Coq 31 3

2. fairness fairness Public

   This repository contains the supplementary Coq development for the Making Weak Memory Models Fair paper.

   Coq 4 1

3. weakestmoToImm weakestmoToImm Public

   The Weakestmo memory model and the compilation correctness proof to IMM

   Coq 2

4. promising2ToImm promising2ToImm Public

   Promising 2.0 [Lee-al:PLDI20] to IMM compilation correctness proof

   Coq 2

5. local-coq-opam-archive local-coq-opam-archive Public

   Local archive for Coq related OPAM packages organized in various repositories

6. promising1ToImm promising1ToImm Public

   Promising 1.0 [Kang-al:POPL17] to IMM compilation correctness proof

   Coq