issues
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
Update .travis.yml
#13
Closed
minkiminki
closed
4 years ago