projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61cff4d) | patch
Disabling bottom-up algorithm in NodeManager::getType() when type checking
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 28 Oct 2010 20:05:32 +0000 (20:05 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 28 Oct 2010 20:05:32 +0000 (20:05 +0000)
commitc39254b98c010397fa5b2da9513d7b3451d682d7
tree010f3f640a621b51fc6b8739a17a88780e14ac19tree
parent61cff4d656a292c6138be5e08715cadd28e22b03commit | diff
Disabling bottom-up algorithm in NodeManager::getType() when type checking
is not requested or eager type checking is enabled
src/expr/node_manager.cpp diff | blob | history