Commits

Author Commit Message Labels Comments Date
Iago Abal
Added tag v0.1.0 for changeset 1ca9855153e1
Iago Abal
Set package version to 0.1.0
Tags
v0.1.0
Iago Abal
Documentation fixes
Iago Abal
Major re-design to make the library easy to extend with new types
Iago Abal
Z3.Monad.check returns a Result instead of Maybe Bool Result is not a low-level type, and it has an important semantic meaning.
Iago Abal
Add a short-cut to set WELL_SORTED_CHECK configuration parameter
Iago Abal
Minor tweaks
Iago Abal
Rename package to just 'z3'
Iago Abal
Configure Z3 to provide complete models Set MODEL=true and MODEL_PARTIAL=false
Iago Abal
Fine-tune 'Model' datatype and define a wrapper for the 'z3_eval' API call 'Model' now includes a reference to 'Context' so we enforce that a context is not garbage collected before a model that depends on it.
Iago Abal
Fix Z3.Base.getBool result type: 'Maybe Bool' instead of 'Result'
Iago Abal
Minor coding styles fixes
Iago Abal
Fix functions that create assertions to take expressions of boolean type only
Iago Abal
Parametrize Z3.Base.App type as we did for AST, etc.
Iago Abal
Redefine 'Z3.Base.castAST' so it does not compare the low-level types but the high-level ones
Iago Abal
Minor fixes to coding style and comments
Iago Abal
Fix copyright notices We started coding in 2012!
Iago Abal
Automated merge with ssh://bitbucket.org/iago/z3-haskell
Iago Abal
Ignore backup files for .hs and .hsc extensions
David Castro
Added accessors, and getModel to Z3.Base and Z3.Base.C. TODO: cleanup getModel function
David Castro
Minor coding style fixes.
David Castro
Automated merge with ssh://bitbucket.org/iago/z3-haskell
David Castro
Fixed haddock comments.
David Castro
Compile function completed in Z3.Monad.
Iago Abal
Add a let-in command to the Z3 monad
David Castro
Some more minor fixes to Z3.Monad: 1) Z3Monad uses an IntMap now. 2) Uniq is now an Int, not a newtype 3) fresh :: Z3 (Uniq, String)
David Castro
Some minor refactoring in Z3.Monad
David Castro
Fixed Z3.Monad
David Castro
Automated merge with ssh://bitbucket.org/iago/z3-haskell
David Castro
Comparing Sorts of different type.
  1. Prev
  2. Next