cats

cats is:

a library to reason about weak memory models (in directory lib)
a list of memory models obtained from herdtools using cat2coq (in directory models)
a collection of formal proofs relating some of those models, and others (in directory zoo)

Name		Name	Last commit message	Last commit date
Latest commit History 47 Commits
easy_tso_sc		easy_tso_sc
lib		lib
models		models
testing		testing
zoo		zoo
.gitignore		.gitignore
README.md		README.md
_CoqProject		_CoqProject
buildtest.sh		buildtest.sh
configure.sh		configure.sh

Provide feedback