projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4cdfe4a) | patch
Don't eagerly collect zombies. This should speed up things for competition but might...
authorMorgan Deters <mdeters@gmail.com>
Tue, 6 Jul 2010 20:19:34 +0000 (20:19 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 6 Jul 2010 20:19:34 +0000 (20:19 +0000)
commit2db22ffd1f48502a2b138b9b99ba2841a581313b
treef621e9528691f9ea6c78bee824ff24302e6837f9tree
parent4cdfe4a1979c6bf3f5afe7f5733fd35308710300commit | diff
Don't eagerly collect zombies.  This should speed up things for competition but might flush out some memory issues.  Passes all regressions so far..
src/expr/node_manager.h diff | blob | history