Show all
Author Commit Message Labels Comments Date
Iago Abal avatarIago Abal
Clarify the purpose of Z3.Lang.Nat
Tags
v0.3.1
Iago Abal avatarIago Abal
Minor tweaks to z3.cabal
Iago Abal avatarIago Abal
Clarify why gomp was removed from Windows extra-libraries
Scott West avatarScott West
Removing gomp from windows extra libraries.
Iago Abal avatarIago Abal
Example to illustrate the use of benchmarkToSMTLibString
Iago Abal avatarIago Abal
Fix indentation
Iago Abal avatarIago Abal
Remove trailing spaces
Scott West avatarScott West
Add tuple sort support and example
Iago Abal avatarIago Abal
Merge commit b8dda985683c
Scott West avatarScott West
Removing old commented code.
Iago Abal avatarIago Abal
Merge commit 0827f9053971
Cláudio  Lourenço avatarCláudio Lourenço
Lifted Bit-vectors to Z3.Monad
Iago Abal avatarIago Abal
Fix coding style and 'ptrToMaybe' refactoring
Iago Abal avatarIago Abal
Lifted function/array interpretations into Z3.Monad
Iago Abal avatarIago Abal
Export FuncInterp and FuncEntry in Z3.Base
Iago Abal avatarIago Abal
Add Z3 API function benchmarkToSMTLibString
Iago Abal avatarIago Abal
Use mkIntSymbol to construct fresh variables in Z3.Lang
Iago Abal avatarIago Abal
Disable our own WARNINGs to avoid getting confusing warning messages
Comments 1
Iago Abal avatarIago Abal
Add mkIntSymbol API call
Iago Abal avatarIago Abal
Remove trailing spaces
Iago Abal avatarIago Abal
Cabalize examples
Iago Abal avatarIago Abal
Rename: examples/monad/func_and_array.hs -> FuncModel.hs
Iago Abal avatarIago Abal
Export low-level C API calls to extract function/array models
Scott West avatarScott West
Adding else part and datatype for function models.
Scott West avatarScott West
Adding array evaluation.
Scott West avatarScott West
Recover interpreted functions from the model.
Iago Abal avatarIago Abal
Merge Jeff's changeset lifting arrays to Z3.Monad
Jeff Arenson avatarJeff Arenson
Lifted arrays (mkArraySort, mkSelect, mkConstArray, mkMap, mkArrayDefault) into Z3.Monad
Iago Abal avatarIago Abal
Set version to 0.3.1 (tentative)
Iago Abal avatarIago Abal
Fix comment style
  1. Prev
  2. Next
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.