projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7e9c10) | patch
Merging the unate-propagator branch into the trunk. This is a big update so expect...
authorTim King <taking@cs.nyu.edu>
Tue, 29 Jun 2010 20:53:47 +0000 (20:53 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 29 Jun 2010 20:53:47 +0000 (20:53 +0000)
commite792bb8628ea7010fa9c452bf1aa7ba1b60291a3
treeddc12f92092627b7aee2a63dca8dd66279b2970etree
parente7e9c10006b5b243a73832ed97c5dec79df6c90acommit | diff
Merging the unate-propagator branch into the trunk.  This is a big update so expect a little turbulence. This commit will not compile. There will be a second commit that fixes this in a moment. I am delaying a change to avoid svn whining about a conflict.
22 files changed:
src/prop/cnf_stream.cpp diff | blob | history
src/prop/cnf_stream.h diff | blob | history
src/prop/minisat/core/Solver.C diff | blob | history
src/prop/minisat/core/Solver.h diff | blob | history
src/prop/minisat/simp/SimpSolver.C diff | blob | history
src/prop/sat.cpp diff | blob | history
src/prop/sat.h diff | blob | history
src/theory/Makefile.am diff | blob | history
src/theory/arith/Makefile.am diff | blob | history
src/theory/arith/arith_propagator.cpp [new file with mode: 0644] blob
src/theory/arith/arith_propagator.h [new file with mode: 0644] blob
src/theory/arith/ordered_bounds_list.h [new file with mode: 0644] blob
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/theory_test_utils.h [new file with mode: 0644] blob
src/theory/uf/theory_uf.cpp diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/theory/theory_arith_white.h [new file with mode: 0644] blob
test/unit/theory/theory_uf_white.h diff | blob | history