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

Migrate to Coq 8.6 #3

Closed jeehoonkang closed 7 years ago

jeehoonkang commented 7 years ago

@orilahav and I are working on it.