Author Commit Message Labels Comments Date
Leonardo de Moura avatarLeonardo de Moura
removing 'fat' from smt 1.0 parser
Leonardo de Moura avatarLeonardo de Moura
removing 'fat' from smt 1.0 parser
Leonardo de Moura avatarLeonardo de Moura
minimizing smt 1.0 parser dependencies
Leonardo de Moura avatarLeonardo de Moura
removed native low level parser
Leonardo de Moura avatarLeonardo de Moura
polishing VS build
Leonardo de Moura avatarLeonardo de Moura
move pdb file to build dir
Leonardo de Moura avatarLeonardo de Moura
auto gen dotnet support
Leonardo de Moura avatarLeonardo de Moura
Moved Microsoft.Z3V3 to dead folder
Leonardo de Moura avatarLeonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura avatarLeonardo de Moura
new xor simplification
Nikolaj Bjorner avatarNikolaj Bjorner
simplify body
Nikolaj Bjorner avatarNikolaj Bjorner
fix bug in extraction of models from Horn clauses
Leonardo de Moura avatarLeonardo de Moura
ast_printer fix
Leonardo de Moura avatarLeonardo de Moura
auto gen VS project
Leonardo de Moura avatarLeonardo de Moura
renamed z3.dll to libz3.dll
Leonardo de Moura avatarLeonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura avatarLeonardo de Moura
OSX again
Leonardo de Moura avatarLeonardo de Moura
removed crazy options
Leonardo de Moura avatarLeonardo de Moura
OSX again
Leonardo de Moura avatarLeonardo de Moura
trying reexport trick for OSX
Leonardo de Moura avatarLeonardo de Moura
added missing definition, fixed /ZI issue
Leonardo de Moura avatarLeonardo de Moura
Fixing new build system for OSX
Christoph Wintersteiger avatarChristoph Wintersteiger
Bugfixes in UFBV-related tactics.
Christoph Wintersteiger avatarChristoph Wintersteiger
UFBV tactic fixed and cleanup.
Leonardo de Moura avatarLeonardo de Moura
removed dead script
Leonardo de Moura avatarLeonardo de Moura
Assuming VS x64 command prompt
Leonardo de Moura avatarLeonardo de Moura
x64 VS configuration
Leonardo de Moura avatarLeonardo de Moura
Disabled (extra) internal python API for testing.
Leonardo de Moura avatarLeonardo de Moura
updated docs
Leonardo de Moura avatarLeonardo de Moura
finished binding auto gen for Python and DotNet
  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.