Commits

Author Commit Message Labels Comments Date
Iago Abal
Simplify -(a-b) to b-a
Iago Abal
Replace Neq by Distinct
Iago Abal
Remove trailing spaces
Iago Abal
Make Z3.Lang to work on top of Z3.Monad
Iago Abal
Add evalT helper to evaluate AST nodes in a traversable data structure
David Castro
Arrays in Z3.Base.
David Castro
Arrays in Z3.Base.C
David Castro
Array sorts added.
Iago Abal
Fix Z3.Monad.getSolver to use the appropriate API call when a solver exists
Iago Abal
Automated merge with ssh://bitbucket.org/iago/z3-haskell
Iago Abal
Add support for solvers to Z3.Monad
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 In OS X libz3 is statically linked against libgomp. What is more, apparently default OS X installations do not provide a shared library for OpenMP: thus the package loading fails when libgimp.dylib is not found.
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
  1. Prev
  2. Next