/sbv

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

Primary LanguageHaskellOtherNOASSERTION

SBV: SMT Based Verification in Haskell

Hackage version

Please see: http://leventerkok.github.io/sbv/

Build Status

  • Linux:
    • GHC 8.0.1 Build1
    • GHC 8.0.2 Build1
    • GHC 8.2.1 Build1
  • Mac OSX:
    • GHC 8.2.1 Build1
  • Windows:
    • GHC 8.0.2 Build5