projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ab69fc) | patch
Fix to quantifier rewritting not being idempotent. See bug 441.
authorTim King <taking@cs.nyu.edu>
Sat, 10 Nov 2012 23:55:34 +0000 (23:55 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 10 Nov 2012 23:55:34 +0000 (23:55 +0000)
commited555a82d64772dcbac7772e0770c9015b11a8e8
treec214c44390af57f14fe8f71e3eaa4ad3147e9819tree
parent5ab69fcdf91fb3034bf9e25f515b551124d4e747commit | diff
Fix to quantifier rewritting not being idempotent. See bug 441.
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history