Author Commit Message Labels Comments Date
Iago Abal avatarIago Abal
Remove trailing spaces
Iago Abal avatarIago Abal
Set version to 0.3.0
David Castro avatarDavid Castro
Automated merge with ssh://bitbucket.org/iago/z3-haskell
David Castro avatarDavid Castro
Generalized quantifiers.
David Castro avatarDavid Castro
mkQuant added in Z3.Lang.Monad.
David Castro avatarDavid Castro
Bugfixes in Z3.Base
Iago Abal avatarIago Abal
Merge Z3.Base
Iago Abal avatarIago Abal
Clean up
David Castro avatarDavid Castro
Changed types of mkForall and mkExists in Z3.Base
David Castro avatarDavid Castro
castPtr removed.
David Castro avatarDavid Castro
Existential quantifier.
David Castro avatarDavid Castro
Result datatype simplified in Z3.Base.
David Castro avatarDavid Castro
delModel added.
David Castro avatarDavid Castro
ForeignPtrs removed from Z3.Base.
David Castro avatarDavid Castro
Changing ForeignPtr in Z3.Base for Ptr: Config.
David Castro avatarDavid Castro
Fixed 'Distinct' implementation.
David Castro avatarDavid Castro
Major changes in Z3.Base: type witnesses removed from type declarations.
David Castro avatarDavid Castro
Minor fixes:
David Castro avatarDavid Castro
Z3.Base.C is no longer an exposed module.
David Castro avatarDavid Castro
Exclude mtl-2.1 from Build-depends in z3.cabal due to bug.
Comments 1
David Castro avatarDavid Castro
Merged in Enigmagic/z3-haskell (pull request #1: More Z3 functionality)
Nathan Howell avatarNathan Howell
Support creating variables with a user specified name
Nathan Howell avatarNathan Howell
Replace (MonadState Z3State) instance with a derived one
Nathan Howell avatarNathan Howell
Derive Foldable/Traversable for the Base.Result type
Nathan Howell avatarNathan Howell
Add debug functions to dump the context and model as strings
Nathan Howell avatarNathan Howell
Support context push/pop
Nathan Howell avatarNathan Howell
Support distinct predicate
Nathan Howell avatarNathan Howell
Add Applicative instance to Result
Iago Abal avatarIago Abal
Remove trailing spaces
Iago Abal avatarIago Abal
Add bit-vectors support to low-level bindings
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.