1. Arlen Cox
  2. z3

Commits

Author Commit Message Date Builds
Leonardo de Moura
fixed solver_na2as Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
working on named assertions support Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
default_solver --> smt_solver Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
fixed typo Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
moving assertion_stack to mcsat branch Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Nikolaj Bjorner
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
optmizing DL Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Leonardo de Moura
code reorg Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
resurrecting assertion stack Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
removing dead code Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
resurrecting assertion_stack Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
old_params ==> front_end_params. Isolated abstract solver interface Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Fixed bug reported by Arie Gurfinkel Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
moved smt tactic to smt folder Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
Moved dead code to dead branch Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Nikolaj Bjorner
disable buggy code in slicer: it removes conjuncts for non-sliced variables. It should use the same criteria as the slice recognizer. reported by Arie Gurfinkel Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Leonardo de Moura
removed dead code Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
fixed typo 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
removing fat Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Nikolaj Bjorner
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
bindings --> api; and moved nlsat/sat/subpaving tactics
Nikolaj Bjorner
fix bugs in inliner and usage of unbound variable fix, reported by Arie Gurfinkel Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Leonardo de Moura
added add_extra_exe command to build framework Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
enable pdb for release mode 32bit Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
add default template instance Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
missing update Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
  1. Prev
  2. Next