projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b5a421) | patch
several bug fixes: in TheoryBV::NotifyClass missing NOT in predicate notify and now...
authorLiana Hadarean <lianahady@gmail.com>
Tue, 15 May 2012 00:11:07 +0000 (00:11 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Tue, 15 May 2012 00:11:07 +0000 (00:11 +0000)
commit77ff33bc6be64f338f035bd9d077737f83280944
tree3593a4f931ca107cdcb9b2e6891f7008f6d3be76tree
parent5b5a421d79d12a31edde3902f2b8ddec6a3ca684commit | diff
several bug fixes: in TheoryBV::NotifyClass missing NOT in predicate notify and now term notify handles boolean constants; fixed bug 328
src/prop/bvminisat/core/Solver.cc diff | blob | history
src/prop/bvminisat/core/Solver.h diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/bv/theory_bv.h diff | blob | history