projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03930f2) | patch
refactored TheoryBV bitblaster and equality engine into subtheories (similar to Theor...
authorLiana Hadarean <lianahady@gmail.com>
Wed, 16 May 2012 15:21:18 +0000 (15:21 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Wed, 16 May 2012 15:21:18 +0000 (15:21 +0000)
commit1a890e13218be6e87dbf0124b03a73420631d816
tree00d11474eda0adf95c285ee93f468833518cf3adtree
parent03930f2a6fdfb85ecc81594ec65f41d7c1284577commit | diff
refactored TheoryBV bitblaster and equality engine into subtheories (similar to TheoryEngine
src/theory/bv/Makefile.am diff | blob | history
src/theory/bv/bitblaster.cpp diff | blob | history
src/theory/bv/bv_subtheory.cpp [new file with mode: 0644] blob
src/theory/bv/bv_subtheory.h [new file with mode: 0644] blob
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/bv/theory_bv.h diff | blob | history