Commits

Author Commit Message Labels Comments Date
Iago Abal
Set up a Hspec test suite
Iago Abal
Add a `mkBool' helper
Iago Abal
Require Applicative for MonadZ3
Iago Abal
Module Z3.Monad minor clean up
Iago Abal
Re-order Z3.Base w.r.t. Z3 C API doc and add TODOs
Iago Abal
Remove deprecated API function `Z3_context_to_string'
Iago Abal
Update copyright notice
Iago Abal
Remove deprecated API function `Z3_del_model'
Iago Abal
Remove scary warning about Solvers
Iago Abal
Include a reference to the Context object in every finalizer #bugfix
Iago Abal
Remove deprecated function: Z3_check
Iago Abal
Refactor common pattern: withContext + checkError
Iago Abal
Make checkError take a Ptr Z3_context instead of a Context
Iago Abal
Remove unused extension TupleSections
Iago Abal
Set GHC -Werror flag to make all warnings fatal
Iago Abal
Fix compiler warning (defaulting)
Iago Abal
Add reference counting to Z3 context #api4
KC Sivaramakrishnan
Added example file illustrating Datatypes.
KC Sivaramakrishnan
Added support for algebraic datatypes and fresh const/function declaration.
Iago Abal
Add reference counting to Z3_ast based types: Z3_app, Z3_sort, etc
Iago Abal
Add reference counting to models #api4
David Castro
Removing deprecated functions: Z3_push, Z3_pop, Z3_assert_cnstr, Z3_check_and_get_model
David Castro
Solver is no longer optional in Z3.Monad.
Iago Abal
Nadia Polikarpova
Incrementing the reference counter for ASTVector while copying the content.
Nadia Polikarpova
Replaced ASTVector with [AST].
Nadia Polikarpova
Merge
Nadia Polikarpova
Bindings for retrieving unsat cores.
Iago Abal
Minor clean up
Iago Abal
Add reference counting to parameters #api4
  1. Prev
  2. Next