projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8ca588) | patch
Moving debug output in ~ContextObj under a conditional. Should fix most of the slowdo...
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 15 Apr 2010 16:56:06 +0000 (16:56 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 15 Apr 2010 16:56:06 +0000 (16:56 +0000)
commit32d227bc04096ddd3bc09bdaab194c5cb430af6a
tree3b595cf6ac31004ffe4d0cb78a6ebfe1a2e44487tree
parentf8ca588548491146fffbf22b2e9082986504211ccommit | diff
Moving debug output in ~ContextObj under a conditional. Should fix most of the slowdown from r413.
src/context/context.cpp diff | blob | history