search

snu-sf / promising-coq

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
https://sf.snu.ac.kr/promise-concurrency/
MIT License
32 stars 5 forks source link

Port to Coq 8.8 #8

Closed jeehoonkang closed 5 years ago

jeehoonkang commented 6 years ago

https://coq.inria.fr/news/145.html

jeehoonkang commented 5 years ago

closed by #9