projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0b0632) | patch
Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now works).
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Dec 2013 19:07:47 +0000 (14:07 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Dec 2013 20:41:21 +0000 (15:41 -0500)
commit7eb063762c8b1d9366cf2b4d4687019f7733411b
treec89c4e018610c56e18b35d2835f3b200208dc27etree
parentc0b0632a83ca1e997b9002bf9e67b0dbbbd154b1commit | diff
Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now works).
src/smt/boolean_terms.cpp diff | blob | history
src/smt/model_postprocessor.cpp diff | blob | history
test/regress/regress0/datatypes/Makefile.am diff | blob | history
test/regress/regress0/datatypes/pair-bool-bool.cvc [new file with mode: 0644] blob