projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eab3aa9) | patch
fix for andy: boolean terms stuff really shouldn't look at datatypes at all in this...
authorMorgan Deters <mdeters@gmail.com>
Thu, 29 Nov 2012 21:34:16 +0000 (21:34 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 29 Nov 2012 21:34:16 +0000 (21:34 +0000)
commit03a8787579038655fff814fbad05047ce24bf532
treee9b632bfd9b7a91e53141bef42f8f7d2b81c5184tree
parenteab3aa931049d9ade69ad0ee5ebf8116c4f54ce6commit | diff
fix for andy: boolean terms stuff really shouldn't look at datatypes at all in this release
src/smt/boolean_terms.cpp diff | blob | history