projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53a226a) | patch
Adding a garbage list that get collected during the ~Scope. Removing the CDHashMap...
authorTim King <taking@google.com>
Fri, 14 Jul 2017 22:18:23 +0000 (15:18 -0700)
committerTim King <taking@cs.nyu.edu>
Tue, 18 Jul 2017 18:41:10 +0000 (11:41 -0700)
commit0f3b77bbd30be2388558000085d910d82e81d989
tree073cf7d8b6a8ceddaca28aeba510df85af7fdf50tree
parent53a226a753e509e028c386072c87d94c0a1316becommit | diff
Adding a garbage list that get collected during the ~Scope. Removing the CDHashMap garbage.
src/context/cdhashmap.h diff | blob | history
src/context/context.cpp diff | blob | history
src/context/context.h diff | blob | history