projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb912d5) | patch
Adding NodeManager::prepareToBeDestroyed() (Fixes: #128)
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 27 May 2010 18:39:32 +0000 (18:39 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 27 May 2010 18:39:32 +0000 (18:39 +0000)
commiteb707aa027bb2f439f250fa98fdf0ce550adb49c
treead6b04a4717ef705f53a0589c4656ea0c16acdaetree
parentbb912d51d8e4134b7e0527aa196951801355d9c7commit | diff
Adding NodeManager::prepareToBeDestroyed() (Fixes: #128)
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/expr_manager_template.h diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/main/main.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history