The Vienna Verification Toolkit
Haskell C Other
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Realization
bench
bin
include
scripts
test
.gitignore
.travis.yml
Args.hs
BackendOptions.hs
Benchmarks.hs
CTIGAR.hs
Consecution.hs
Domain.hs
Karr.hs
LitOrder.hs
PartialArgs.hs
README.md
RSM.hs
Realization.hs
SMTPool.hs
Simplify.hs
Stats.hs
stack.yaml
vvt.cabal

README.md

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