Commits

Author Commit Message Labels Comments Date
Leonardo de Moura
Added --with-python configuration option, replaced *.py with *.pyc in install-python make command. Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Working on python bindings Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Added install-python/uninstall-python commands to Makefile Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Merge branch 'working' of /home/leo/projects-bare/z3 into working
Leonardo de Moura
Added install/uninstall to Makefile Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
removed tst file Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Fixed memory smash Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Merge branch 'working' of /home/leo/projects-bare/z3 into working
Leonardo de Moura
debugging unsat core generation... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Nikolaj Bjorner
working on imdds Signed-off-by: Nikolaj Bjorner <nbjorne@microsoft.com>
Leonardo de Moura
Merge branch 'master' of /home/leo/projects-bare/z3
Leonardo de Moura
removed unnecessary files.
Leonardo de Moura
Fixed pointer arith. bug Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Added simple file Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Removed unnecessary files. They were accidently added. Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Making sure Z3 compiles with gcc 4.7.1. Making sure 'make release' works. Temporarily removed iz3 and ocaml bindings from 'make release' script. Removed test_user_theory from 'make release' script. Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Added missing files Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
llvm stuff Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Licence Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
update_api script for Linux/OSX Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
missing file
Leonardo de Moura
modified scripts to be able to run them on Linux/OSX
Leonardo de Moura
Added documentation for update_api.sh
Leonardo de Moura
disable build.cmd from update_api.cmd Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Added missing file Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Added ml component Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Improve _find_lib() in Z3Py for Linux/OSX Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Fixed gcc compilation error Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Fixed user name
Leonardo de Moura
other components Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
  1. Prev
  2. Next