Commits

Author Commit Message Labels Comments Date
Leonardo de Moura
more cleanup Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
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 Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Fixed warnings reported by gcc 4.7.1 Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Fixed warnings reported by gcc 4.7.1 Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
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 Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
added --nodotnet option to mk_make.py Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
Added LICENSE.txt to win bin distrib Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Nikolaj Bjorner
fix bugs encountered by regression tests Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Leonardo de Moura
change share library search in Z3Py Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
include VS redist .dlls in the win dist Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
updated README Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
updated Release notes Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Christoph Wintersteiger
UFBV performance fix Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Leonardo de Moura
minor fixes after feedback from regression tests...
Leonardo de Moura
fixed der tactic installation command Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
breaking dependencies Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
isolated proto_model obsolete code Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
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) Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Nikolaj Bjorner
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
fix bugs in model generation reported by Ken Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
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 Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Nikolaj Bjorner
fix build of test-z3 for external release mode Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Nikolaj Bjorner
expose additional external options for muz Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
  1. Prev
  2. Next