Pinned Loading

1. snu-sf/promising-ir-coq snu-sf/promising-ir-coq Public

   Coq 1

2. snu-sf/promising-seq-coq snu-sf/promising-seq-coq Public

   The Coq development of PLDI'22 paper "Sequantial Reasoning for Optimizing Compilers under Weak Memory Concurrency"

   Coq 1

3. snu-sf/promising2-coq snu-sf/promising2-coq Public

   The Coq development of Promising 2.0 semantics for relaxed memory concurrency

   Coq 2 1

4. snu-sf/promising-ldrf-coq snu-sf/promising-ldrf-coq Public

   The Coq development of local data-race-freedom guarantees in the Promising Semantics

   Coq 3

5. snu-sf/promising-arm snu-sf/promising-arm Public

   Coq 3