/promising-seq-coq

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

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.