Permalink
Switch branches/tags
Nothing to show
Commits on Apr 17, 2013
  1. Merge pull request #24 from colder/topic/model-eval

    psuter committed Apr 17, 2013
    Rename model_eval to modelEval to match java declaration
Commits on Mar 21, 2013
  1. Merge pull request #21 from colder/topic/error-handlers

    psuter committed Mar 21, 2013
    Implement Z3Context.onError, called when z3 errors out.
  2. Merge pull request #22 from colder/topic/eval

    psuter committed Mar 21, 2013
    Use Z3_model_eval instead of the deprecated Z3_eval.
Commits on Dec 13, 2012
  1. Merge pull request #19 from colder/master

    psuter committed Dec 13, 2012
    Deprecate softCheckCancel, replaced by interrupt
Commits on Nov 28, 2012
  1. Merge pull request #18 from colder/master

    psuter committed Nov 28, 2012
    Collect Solvers much more often
Commits on Nov 27, 2012
  1. Merge pull request #17 from colder/master

    psuter committed Nov 27, 2012
    Bring scalaz3 up to dates with z3 4.3
Commits on Nov 26, 2012
  1. Merge pull request #16 from colder/master

    psuter committed Nov 26, 2012
    Do not create empty .so files at load time
Commits on Nov 20, 2012
  1. Merge pull request #12 from thorstent/master

    psuter committed Nov 20, 2012
    Added some functionality to the API
  2. Merge pull request #14 from 10shb/master

    psuter committed Nov 20, 2012
    CheckAssumptions in Java lib.
Commits on Jul 19, 2012
Commits on Mar 12, 2012
  1. minor

    psuter committed Mar 12, 2012
  2. indentation

    psuter committed Mar 12, 2012
Commits on Mar 9, 2012
Commits on Jan 4, 2012
Commits on Dec 18, 2011
  1. Literals became irrelevant.

    psuter committed Dec 18, 2011
  2. Arrays is still broken. I suspect mkArrayDefault doesn't work as it

    psuter committed Dec 18, 2011
    should. Perhaps a change in Z3?
Commits on Dec 15, 2011
  1. Merge pull request #1 from eaubin/master

    psuter committed Dec 15, 2011
    z3 for osx
Commits on Sep 26, 2011
  1. bumped up version

    psuter committed Sep 26, 2011
Commits on Sep 25, 2011
  1. formatting

    psuter committed Sep 25, 2011
  2. renamed README

    psuter committed Sep 25, 2011
Commits on Aug 2, 2011
  1. introduced apply() on Val's

    psuter committed Aug 2, 2011
Commits on Aug 1, 2011
  1. Refactorings in the DSL & support for Val[A=>B]. We now support Val[S…

    psuter committed Aug 1, 2011
    …et[A]]
    
    for any A with a VarHandler (including Set[Set[...Int...]], for instance). Same
    thing for functions: Val[A=>B] works and will produce a point-wise defined
    function from a model (functional programs as models not yet supported).