README

The Vienna Verification Toolkit (vvt for short) is a collection of libraries and tools for the verification of LLVM code.

Installation

You need the following dependencies:

smtlib2: From https://github.com/hguenther/smtlib2.git Install with "cabal install". You also need to install the following sub-packages:
- smtlib2-debug, in "backends/debug"
- smtlib2-timing, in "backends/timing"
- smtlib2-pipe, in "backends/pipe"
- smtlib2-emulated-modulus, in "extras/modulus-emulator"
bindings-llvm: From https://github.com/hguenther/bindings-llvm.git Install with "cabal install". Make sure that your llvm-config-binary has version 3.5.

After installing those dependencies, you can install the toolkit using

cabal install

Name		Name	Last commit message	Last commit date
Latest commit History 459 Commits
Realization		Realization
bench		bench
bin		bin
include		include
scripts		scripts
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
Args.hs		Args.hs
BackendOptions.hs		BackendOptions.hs
Benchmarks.hs		Benchmarks.hs
CTIGAR.hs		CTIGAR.hs
Consecution.hs		Consecution.hs
Domain.hs		Domain.hs
Karr.hs		Karr.hs
LitOrder.hs		LitOrder.hs
PartialArgs.hs		PartialArgs.hs
README.md		README.md
RSM.hs		RSM.hs
Realization.hs		Realization.hs
SMTPool.hs		SMTPool.hs
Simplify.hs		Simplify.hs
Stats.hs		Stats.hs
stack.yaml		stack.yaml
vvt.cabal		vvt.cabal