Commits

Show all
Author Commit Message Labels Comments Date
Leonardo de Moura
fixed solver_na2as
Leonardo de Moura
working on named assertions support
Leonardo de Moura
default_solver --> smt_solver
Leonardo de Moura
checkpoint
Leonardo de Moura
fixed typo
Leonardo de Moura
moving assertion_stack to mcsat branch
Leonardo de Moura
checkpoint
Nikolaj Bjorner
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
optmizing DL
Leonardo de Moura
code reorg
Leonardo de Moura
resurrecting assertion stack
Leonardo de Moura
removing dead code
Leonardo de Moura
resurrecting assertion_stack
Leonardo de Moura
old_params ==> front_end_params. Isolated abstract solver interface
Leonardo de Moura
Fixed bug reported by Arie Gurfinkel
Leonardo de Moura
moved smt tactic to smt folder
Leonardo de Moura
Moved dead code to dead branch
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
Leonardo de Moura
removed dead code
Leonardo de Moura
fixed typo
Leonardo de Moura
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Leonardo de Moura
removing fat
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
Leonardo de Moura
added add_extra_exe command to build framework
Leonardo de Moura
enable pdb for release mode 32bit
Leonardo de Moura
add default template instance
Leonardo de Moura
missing update
  1. Prev
  2. Next