projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3e4616) | patch
cache the LET rewriting (and defined-function expansion too)---it wasn't before,...
authorMorgan Deters <mdeters@gmail.com>
Wed, 13 Apr 2011 06:10:55 +0000 (06:10 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 13 Apr 2011 06:10:55 +0000 (06:10 +0000)
commit98e145ca4a1dc0093fff8f25c2dcbb03c7f2baa4
tree399097e62d01982955354ce2454641fcb641f4dftree
parente3e4616df5eaa4cf4c568fd15cc04a1e05f75916commit | diff
cache the LET rewriting (and defined-function expansion too)---it wasn't before, leading to terrible slowdown on heavily-nested LETs (and defined functions)
src/smt/smt_engine.cpp diff | blob | history