Commits

Author Commit Message Labels Comments Date
Leonardo de Moura
more cleanup
Nikolaj Bjorner
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
local changes
Leonardo de Moura
make front_end_params an optional argument in cmd_context
Leonardo de Moura
Fixed warnings reported by gcc 4.7.1
Leonardo de Moura
Fixed warnings reported by gcc 4.7.1
Leonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
Fixed warnings produced by gcc 4.6.3 when compiling in debug mode
Leonardo de Moura
added --nodotnet option to mk_make.py
Leonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
Added LICENSE.txt to win bin distrib
Nikolaj Bjorner
fix bugs encountered by regression tests
Leonardo de Moura
change share library search in Z3Py
Leonardo de Moura
include VS redist .dlls in the win dist
Leonardo de Moura
updated README
Leonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
updated Release notes
Christoph Wintersteiger
UFBV performance fix
Leonardo de Moura
minor fixes after feedback from regression tests...
Leonardo de Moura
fixed der tactic installation command
Leonardo de Moura
breaking dependencies
Leonardo de Moura
isolated proto_model obsolete code
Leonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
added Z3_enable_trace/Z3_disable_trace to the Z3 API (these APIs are NOOPs if tracing is not enabled during compilation)
Nikolaj Bjorner
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
fix bugs in model generation reported by Ken
Leonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
Added mk_win_dist.py script for generating Window .zip distribution files
Nikolaj Bjorner
fix build of test-z3 for external release mode
Nikolaj Bjorner
expose additional external options for muz
  1. Prev
  2. Next