herd

Pinned Repositories

CoqCat
Coq formalisation of axiomatic memory models
Language:Coq9 9 00
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Language:OCaml229 23 10265
legacy
Language:OCaml0 5 00

herd's Repositories

herd/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Language:OCaml229 23 10265
herd/CoqCat
Coq formalisation of axiomatic memory models
Language:Coq9 9 00
herd/legacy
Language:OCaml0 5 00