projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f49a7a) | patch
more bugfixes, some basic propagation, and testcases to cover them
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 21 Mar 2011 18:55:05 +0000 (18:55 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 21 Mar 2011 18:55:05 +0000 (18:55 +0000)
commit75adfe4e8ef1fab4b9cd4c31d40c15e9a1637a5e
treedc866579086454092edaecd78bcfadf2da03b08ctree
parent7f49a7aedc16cb46216f92d00881cd3485acc206commit | diff
more bugfixes, some basic propagation, and testcases to cover them
12 files changed:
src/prop/cnf_stream.cpp diff | blob | history
src/theory/bv/equality_engine.h diff | blob | history
src/theory/bv/kinds diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/bv/theory_bv.h diff | blob | history
src/theory/bv/theory_bv_utils.h diff | blob | history
test/regress/regress0/bv/core/Makefile.am diff | blob | history
test/regress/regress0/bv/core/a95test0002.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/bitvec1.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/bitvec2.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/bitvec3.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/bitvec5.smt [new file with mode: 0644] blob