projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2935af0) | patch
Merging the satliteral-before-prereg branch into trunk. Theory preregistration is...
authorTim King <taking@cs.nyu.edu>
Mon, 4 Apr 2011 20:42:23 +0000 (20:42 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 4 Apr 2011 20:42:23 +0000 (20:42 +0000)
commit41dddac33ba0332a2ab52983b94044cbdc9e762e
tree21c938e9fc5c8967e34e087293d441821ab19fd6tree
parent2935af06e3fae46418c10450df9e02465f0a8038commit | diff
Merging the satliteral-before-prereg branch into trunk. Theory preregistration is now called during the conversion to cnf. This fixes bug 257.
src/prop/cnf_stream.cpp diff | blob | history
src/prop/cnf_stream.h diff | blob | history
src/prop/prop_engine.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/Makefile.am diff | blob | history
src/theory/registrar.h [new file with mode: 0644] blob
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
test/unit/prop/cnf_stream_black.h diff | blob | history