Commits

Author Commit Message Labels Comments Date
Leonardo de Moura
Added --with-python configuration option, replaced *.py with *.pyc in install-python make command.
Leonardo de Moura
Working on python bindings
Leonardo de Moura
Added install-python/uninstall-python commands to Makefile
Leonardo de Moura
Merge branch 'working' of /home/leo/projects-bare/z3 into working
Leonardo de Moura
Added install/uninstall to Makefile
Leonardo de Moura
removed tst file
Leonardo de Moura
Fixed memory smash
Leonardo de Moura
Merge branch 'working' of /home/leo/projects-bare/z3 into working
Leonardo de Moura
debugging unsat core generation...
Nikolaj Bjorner
working on imdds
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
Leonardo de Moura
Added simple file
Leonardo de Moura
Removed unnecessary files. They were accidently added.
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.
Leonardo de Moura
Added missing files
Leonardo de Moura
llvm stuff
Leonardo de Moura
Licence
Leonardo de Moura
update_api script for Linux/OSX
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
Leonardo de Moura
Added missing file
Leonardo de Moura
Added ml component
Leonardo de Moura
Improve _find_lib() in Z3Py for Linux/OSX
Leonardo de Moura
Fixed gcc compilation error
Leonardo de Moura
Fixed user name
Leonardo de Moura
other components
  1. Prev
  2. Next