Geek Repo
Github PK Tool:Github PK Tool
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Coq formalisation of axiomatic memory models