GitHub - yav/sbv: Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

SBV: SMT Based Verification in Haskell

Name		Name	Last commit message	Last commit date
Latest commit History 1,708 Commits
Data		Data
GHC		GHC
SBVUnitTest		SBVUnitTest
buildUtils		buildUtils
.ghci		.ghci
.gitignore		.gitignore
.travis.yml		.travis.yml
CHANGES.md		CHANGES.md
COPYRIGHT		COPYRIGHT
INSTALL		INSTALL
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
SMTSolverVersions.md		SMTSolverVersions.md
Setup.hs		Setup.hs
sbv.cabal		sbv.cabal