Author Commit Message Labels Comments Date
Iago Abal avatarIago Abal
Fix comment style
Iago Abal avatarIago Abal
Rewrite of checkModel to make expressions be evaluated inside a Model monad
Iago Abal avatarIago Abal
Automated merge with ssh://bitbucket.org/iago/z3-haskell
Iago Abal avatarIago Abal
Simplify -(a-b) to b-a
Iago Abal avatarIago Abal
Replace Neq by Distinct
Iago Abal avatarIago Abal
Remove trailing spaces
Iago Abal avatarIago Abal
Make Z3.Lang to work on top of Z3.Monad
Iago Abal avatarIago Abal
Add evalT helper to evaluate AST nodes in a traversable data structure
David Castro avatarDavid Castro
Arrays in Z3.Base.
David Castro avatarDavid Castro
Arrays in Z3.Base.C
David Castro avatarDavid Castro
Array sorts added.
Iago Abal avatarIago Abal
Fix Z3.Monad.getSolver to use the appropriate API call when a solver exists
Iago Abal avatarIago Abal
Automated merge with ssh://bitbucket.org/iago/z3-haskell
Iago Abal avatarIago Abal
Add support for solvers to Z3.Monad
Iago Abal avatarIago Abal
Move Z3Logic datatype to Z3.Base (plus tweaks)
eddy_westbrook avatareddy_westbrook
added support for printing ASTs and Exprs
Iago Abal avatarIago Abal
Remove unused LANGUAGE pragmas
Iago Abal avatarIago Abal
Add bit-vectors to Z3.Base
Iago Abal avatarIago Abal
Remove trailing spaces
Iago Abal avatarIago Abal
unBool: conversion from Z3_bool to Bool
Iago Abal avatarIago Abal
Trivial merge with Eddy's changeset
Default avatar em...@rice.edu
changes to support Z3 logics
Iago Abal avatarIago Abal
Minor clean-up
Iago Abal avatarIago Abal
Add Z3.Monad: A simple monadic wrapper for Z3.Base
Iago Abal avatarIago Abal
Add Z3.Opts: a convenient wrapper to Z3 configuration
Iago Abal avatarIago Abal
Update copyright notice
Iago Abal avatarIago Abal
Add FlexibleInstances to globally declared extensions
Iago Abal avatarIago Abal
Do not link against OpenMP on OS X
Iago Abal avatarIago Abal
Generalize recursive `QExpr' instance
Iago Abal avatarIago Abal
Remove trailing spaces
  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.