projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06f26f1) | patch
Boolean terms conversion fix for datatypes, fixes a problem Andy discovered on his...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 10 Apr 2014 20:38:37 +0000 (16:38 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 10 Apr 2014 20:45:56 +0000 (16:45 -0400)
commit65128efc1d0a4c2007ebb7b47712888481c07843
treee4cd01c8712c1a05fcd4bb660c921e83d7e82830tree
parent06f26f17c9a2fb0fbf56143cd4c06a19586ca0c8commit | diff
Boolean terms conversion fix for datatypes, fixes a problem Andy discovered on his branch.
src/smt/boolean_terms.cpp diff | blob | history
src/smt/boolean_terms.h diff | blob | history