projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13be3be) | patch
Adding garbage collection of nodes with maxed out reference counts.
authorTim King <taking@google.com>
Thu, 10 Nov 2016 23:22:49 +0000 (15:22 -0800)
committerTim King <taking@google.com>
Thu, 10 Nov 2016 23:22:49 +0000 (15:22 -0800)
commit16e809f698060645812667925b3e0c4d403ee71a
tree6952e767825c1d99166e1308c39aece2cc9c33c9tree
parent13be3be39454a3cf7b05c4399a53bd2dd27996f6commit | diff
Adding garbage collection of nodes with maxed out reference counts.
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/node_value.cpp diff | blob | history
src/expr/node_value.h diff | blob | history
test/unit/expr/expr_public.h diff | blob | history
test/unit/expr/node_manager_black.h diff | blob | history