herd

Pinned Repositories

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

herd's Repositories

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