Commits

Author Commit Message Labels Comments Date
Leonardo de Moura
fixed compilation bug
Leonardo de Moura
fixed compilation bug
Leonardo de Moura
fixed compilation bug
Leonardo de Moura
reorganizing the code
Leonardo de Moura
added missing flags
Leonardo de Moura
moving tactics to tactic folder
Leonardo de Moura
deleted assertion_sets (aka old tactic framework)
Leonardo de Moura
removing last refs to assertion_set
Leonardo de Moura
had to nuke mip_tactic, it was based on the smt_solver_exp (experimental), that depends on assertion_sets. This change will affect Z3's performance on QF_LIA and QF_LRA benchmarks. The new mcsat should fix that.
Leonardo de Moura
Minimizing dependencies to assertion_set
Leonardo de Moura
moved new ml stuff to src/ml
Leonardo de Moura
Integrated structured branch into unstable branch (the official 'working in progress' branch)
Leonardo de Moura
fixed compilation bugs
Leonardo de Moura
Isolating reg_decl_plugins
Leonardo de Moura
checkpoint
Christoph Wintersteiger
Completed the new UFBV tactic and installed it by default. Removed UFBV_strategy.
Leonardo de Moura
Simplified scripts using /MD option
Christoph Wintersteiger
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Christoph Wintersteiger
Added ufbv_tactic (soon to replace ufbv_strategy).
Nikolaj Bjorner
fix compilation error under gcc reported by Arie Gurfinkel
Leonardo de Moura
moved .net example
Leonardo de Moura
Moved .NET and ml APIs to src
Leonardo de Moura
reorganizing the code
Leonardo de Moura
reorganizing the code
Leonardo de Moura
fixed VS debug mode compilation
Leonardo de Moura
moved python to src
Leonardo de Moura
moved dll and examples
Leonardo de Moura
moved examples to new examples folder
Leonardo de Moura
Improving visual studio support
Leonardo de Moura
improving mk_make
  1. Prev
  2. Next