snu-sf/promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
CoqMIT
Issues
- 0
Porting to Coq 8.9?
#10 opened by jeehoonkang - 1
Port to Coq 8.8
#8 opened by jeehoonkang - 4
Add Documentation
#6 opened by alxest - 0
Add Documentation
#7 opened by alxest - 1
build.sh spawns too many jobs
#5 opened by Janno - 0
Migrate to Coq 8.6
#3 opened by jeehoonkang - 1