Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
Control		Control
GHC/Stack		GHC/Stack
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
appveyor.yml		appveyor.yml
control-invariants.cabal		control-invariants.cabal
stack.yaml		stack.yaml

Repository files navigation

invariants

OS X / Linux:

Windows:

Invariants and contract monitoring