Commits

Author Commit Message Labels Comments Date
Iago Abal
Fix indentation
Iago Abal
Remove trailing spaces
Scott West
Add tuple sort support and example
Iago Abal
Merge commit b8dda985683c
Scott West
Removing old commented code.
Iago Abal
Merge commit 0827f9053971
Cláudio Lourenço
Lifted Bit-vectors to Z3.Monad
Iago Abal
Fix coding style and 'ptrToMaybe' refactoring
Iago Abal
Lifted function/array interpretations into Z3.Monad
Iago Abal
Export FuncInterp and FuncEntry in Z3.Base
Iago Abal
Add Z3 API function benchmarkToSMTLibString
Iago Abal
Use mkIntSymbol to construct fresh variables in Z3.Lang
Iago Abal
Disable our own WARNINGs to avoid getting confusing warning messages
Comments 1
Iago Abal
Add mkIntSymbol API call
Iago Abal
Remove trailing spaces
Iago Abal
Cabalize examples
Iago Abal
Rename: examples/monad/func_and_array.hs -> FuncModel.hs
Iago Abal
Export low-level C API calls to extract function/array models
Scott West
Adding else part and datatype for function models.
Scott West
Adding array evaluation.
Scott West
Recover interpreted functions from the model.
Iago Abal
Merge Jeff's changeset lifting arrays to Z3.Monad
Jeff Arenson
Lifted arrays (mkArraySort, mkSelect, mkConstArray, mkMap, mkArrayDefault) into Z3.Monad
Iago Abal
Set version to 0.3.1 (tentative)
Iago Abal
Fix comment style
Iago Abal
Low-level support of uninterpreted sorts
Iago Abal
Added tag v0.3.0 for changeset 4d5bc01a240a
Iago Abal
Many documentation fixes
Tags
v0.3.0
Iago Abal
Fix Castable class context: it only makes sense for IsTy types!
Iago Abal
Fix example
  1. Prev
  2. Next