projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca5cc1c) | patch
Some fixes for boolean arrays
authorMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 01:48:40 +0000 (01:48 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 01:48:40 +0000 (01:48 +0000)
commit5d4ee83cd9b245810c35b0aa17bb51b5a456c24b
tree8564b9049386d9a4582f94e62e59de05a8f83f6dtree
parentca5cc1ca674b24e9f28f93b0d3be5726acc797edcommit | diff
Some fixes for boolean arrays

also a regression for bug 411

(this commit was certified error- and warning-free by the test-and-commit script.)
src/smt/boolean_terms.cpp diff | blob | history
src/smt/model_postprocessor.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug411.smt2 [new file with mode: 0644] blob