Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Sep 9, 2012
  1. separate out tests into two categories

    authored
    1) Those that do need an SMT solver
    2) Those that can be run without; i.e., when generating gold-files
    without solving, or internal constant-folding tests
    
    This allows us to use cabal's test-suite capabilities, by hooking up
    the latter kind to the test suite
Commits on Sep 7, 2012
Commits on May 23, 2012
  1. remove "portable" comment in file headers.

    authored
    SBV really needs some GHC specific stuff, like stable-names and "default signatures" etc.; so portability to other Haskell compilers is not really realistic..
Commits on Mar 30, 2012
  1. Add merge-sort example

    authored
Commits on Feb 28, 2012
  1. use hlint advice

    authored
Commits on Feb 12, 2012
  1. make z3 the default solver

    authored
Commits on Dec 27, 2011
Commits on Dec 26, 2011
Commits on Dec 22, 2011
  1. simplify usage

    authored
Commits on Dec 18, 2011
  1. reorganize the test suite

    authored
Commits on Dec 2, 2011
  1. add cgUninterpret example

    authored
Commits on Nov 15, 2011
Commits on Nov 8, 2011
Commits on Oct 19, 2011
  1. update release notes etc.

    authored
Commits on Oct 13, 2011
Commits on Oct 12, 2011
Commits on Sep 22, 2011
  1. update some golds

    authored
Commits on Sep 15, 2011
  1. Add missing bits of the SMTLib2 translator

    authored
      - Uninterpreted functions
      - User given axioms
      - Arrays (with constant initializers only for the time being)
      - lookup tables (implemented as uninterpreted functions)
    
    Hasn't been tested much, but seems to generate reasonable code for the time being.
Something went wrong with that request. Please try again.