Commits

Author Commit Message Labels Comments Date
Iago Abal
Move Z3Logic datatype to Z3.Base (plus tweaks)
eddy_westbrook
added support for printing ASTs and Exprs
Iago Abal
Remove unused LANGUAGE pragmas
Iago Abal
Add bit-vectors to Z3.Base
Iago Abal
Remove trailing spaces
Iago Abal
unBool: conversion from Z3_bool to Bool
Iago Abal
Trivial merge with Eddy's changeset
em...@rice.edu
changes to support Z3 logics
Iago Abal
Minor clean-up
Iago Abal
Add Z3.Monad: A simple monadic wrapper for Z3.Base
Iago Abal
Add Z3.Opts: a convenient wrapper to Z3 configuration
Iago Abal
Update copyright notice
Iago Abal
Add FlexibleInstances to globally declared extensions
Iago Abal
Do not link against OpenMP on OS X
Iago Abal
Generalize recursive `QExpr' instance
Iago Abal
Remove trailing spaces
Iago Abal
Remove trailing spaces
Iago Abal
Set version to 0.3.0
David Castro
Automated merge with ssh://bitbucket.org/iago/z3-haskell
David Castro
Generalized quantifiers.
David Castro
mkQuant added in Z3.Lang.Monad.
David Castro
Bugfixes in Z3.Base
Iago Abal
Merge Z3.Base
Iago Abal
Clean up
David Castro
Changed types of mkForall and mkExists in Z3.Base
David Castro
castPtr removed.
David Castro
Existential quantifier.
David Castro
Result datatype simplified in Z3.Base.
David Castro
delModel added.
David Castro
ForeignPtrs removed from Z3.Base.
  1. Prev
  2. Next