Commits

Author Commit Message Labels Comments Date
arrowdodger
Add simplify and simplifyEx APIs.
Iago Abal
Added tag v4.1.0 for changeset 51e86fc15425
Iago Abal
Update changelog
Tags
v4.1.0
Iago Abal
Fix test suite and include test for issue #5
Iago Abal
Remove redundant `checkError' #cleanup #9cc785963ec2
David Castro
Bugfix for issue (https://bitbucket.org/iago/z3-haskell/issues/5/segmentation-fault-due-to-type-error): * We must ensure that Z3.Base.C API calls are wrapped around error management functions. * Introduced new function toHsCheckError that does the marshalling after a checkError.
David Castro
Moved the checkError call inwards in the liftFunN functions due to missed error codes that caused segfaults.
Iago Abal
Bump version and update changelog
Iago Abal
Remove trailing whitespace
Iago Abal
Fix: Bind `modelEval' to the right API function It was calling the now deprecated `Z3_eval' instead of the new `Z3_model_eval'. #APIbreaking
Nadia Polikarpova
Added bindings for set operations.
Iago Abal
README: Fix link
Iago Abal
z3.cabal: Fix test-suite dependency on the z3 package
Iago Abal
z3.cabal: put back upper bound for base, damn Hackage :-)
Iago Abal
z3.cabal: remove -Werror since Hackage doesn't like it...
Iago Abal
Added tag v4.0.0 for changeset 5e2c4f73abbc
Iago Abal
z3.cabal: provide extensions for extra files
Tags
v4.0.0
Iago Abal
Link to Z3.Monad examples in module docs
Iago Abal
Minor edits in README.md and CHANGES.md
Iago Abal
Update README and split some content into HACKING.md
Iago Abal
Update 4-queens example
Iago Abal
Update z3.cabal
Iago Abal
CHANGES.md: removal of Z3.Lang plus minor edits
Iago Abal
CHANGES.md: minor edits
Iago Abal
Changelog for 4.0.0
Iago Abal
Export module Z3.Base.C (again) Even if it's unlikely that somebody will want to use this interface, it doesn't hurt to export it.
Iago Abal
Minor fix: s/CString/Z3_string They are essentially the same type, but it seems more correct to use Z3_string.
Iago Abal
Fix paramsSetUInt's parameter type As the function's name indicates, it expects an unsigne integer :-) #fix #api
Iago Abal
Add Z3_solver_get_help #api
Iago Abal
A few specialized helpers for creating numerals The generic versions are a bit annoying when creating numerals from Haskell literals ---to avoid defaulting we should provide a type annotation for these literals. #changelog
  1. Prev
  2. Next