1. Iago Abal
  2. z3-haskell

Commits

Author Commit Message Date Builds
Iago Abal
Remove trailing spaces
Iago Abal
Add bit-vectors support to low-level bindings
Iago Abal
Fix typo
Iago Abal
Try another set of axioms for lg2
Iago Abal
Added tag v0.2.0 for changeset 534e72964e5f
Iago Abal
Fix link
Tags
v0.2.0
Iago Abal
Comment `softTimeout' parameter
Iago Abal
Switch arguments order for evalZ3With
Iago Abal
Remove trailing spaces
Iago Abal
Add minimum (`min_') and maximum (`max_') functions to prelude
Iago Abal
Add `literal' to export list
Iago Abal
Add deriving for "Applicative Z3"
Iago Abal
Add "Functor Result" and "Monad Result" instances
Iago Abal
Fix export lists
Iago Abal
Minor coding-style fix
Iago Abal
Update package description
Iago Abal
Minor documentation fixes
Iago Abal
Add lg2(n) and 2^n axiomatizations for integral types
Iago Abal
Remove the limitation of function's range being a base Z3 type
Iago Abal
Move `compile' to a separate class `Compilable'
Iago Abal
Just support functions up to arity 5
Iago Abal
Let the user to configure some Z3 parameters
Iago Abal
Ignore .cabal~ files
Iago Abal
Ignore cabal-dev folder
David Castro
Z3.Base: with<Context|Config> = withForeignPtr . un<Context|Config>
Iago Abal
Minor tweak
Iago Abal
Add basic support for instantiation patterns
Iago Abal
Add a `divides' operator Note that k `divides` n is probably more readable than n %* k ==* 0.
Iago Abal
Tweak `implies' operator to rewrite p => (q => r) to p && q => r
Iago Abal
Minor tweak
  1. Prev
  2. Next