From cf4d347cbbbb4c1a1e1db99337cfd2b22b84b756 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 8 Mar 2010 23:49:47 +0000 Subject: This fixes regressions at levels >= 1 which were failing * implement zombification and garbage collection of NodeValues (but GC not turned on yet) * implement removal of key nodes from all attribute tables * audit NodeBuilder and fix memory leaks and improper reference-count management. This is in many places a re-write. Clearly documented invariants on NodeBuilder state. (Closes Bug 38) * created a "BackedNodeBuilder" that can be used to construct NodeBuilders with a stack-based backing store for a size that's not a compile-time constant. * NodeValues no longer depend on Node for toStream()'ing * make unit test-building "silent" with --enable-silent-rules * (Makefile.am, Makefile.builds.in) fix top-level build system so that "make regressN" works with unbuilt/out-of-date source trees in the expected way. * (various) code cleanup, documentation, formatting --- src/expr/node.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/expr/node.h') diff --git a/src/expr/node.h b/src/expr/node.h index f9bbcb5a5..c1df399a1 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -99,8 +99,8 @@ class NodeTemplate { friend class NodeTemplate; friend class NodeManager; - template - friend class NodeBuilder; + template + friend class NodeBuilderBase; friend class ::CVC4::expr::attr::AttributeManager; -- cgit v1.2.3