projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e99ed15) | patch
Some incremental bugs for Boolean terms, fixed. Thanks to Pantazis Deligiannis and...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 3 Apr 2014 23:16:39 +0000 (19:16 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 3 Apr 2014 23:38:21 +0000 (19:38 -0400)
commit428572ea18afa8fdcaaedfa0c293182cf5a00a3d
tree34c0fe0547e3aea8c5ef67f0ba3afc8d55df2500tree
parente99ed158fb2c5e030f38d048d2b2f2be6b11c7fbcommit | diff
Some incremental bugs for Boolean terms, fixed.  Thanks to Pantazis Deligiannis and Jeroen Ketema for discovering this issue.
src/smt/boolean_terms.cpp diff | blob | history
src/smt/boolean_terms.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/boolean-terms-kernel1.smt2 [new file with mode: 0644] blob
test/regress/regress0/boolean-terms-kernel2.smt2 [new file with mode: 0644] blob