projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b58cff5) | patch
make Boolean term conversion partially non-recursive (resolves bug 501)
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 29 Mar 2013 20:50:13 +0000 (16:50 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 29 Mar 2013 20:50:13 +0000 (16:50 -0400)
commit32f19d4e68e90cbae021321d4444be3f868783e5
tree70ca5ca7454adc29e6dc6d9c5a5047d0ffae0213tree
parentb58cff5e8757712e2b42e7ab61a7c70dab030e30commit | diff
make Boolean term conversion partially non-recursive (resolves bug 501)
src/smt/boolean_terms.cpp diff | blob | history