This fixes regressions at levels >= 1 which were failing
authorMorgan Deters <mdeters@gmail.com>
Mon, 8 Mar 2010 23:49:47 +0000 (23:49 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 8 Mar 2010 23:49:47 +0000 (23:49 +0000)
commitcf4d347cbbbb4c1a1e1db99337cfd2b22b84b756
treeceea43e3d37525038bed10b115c73a8aa08ce68d
parentde0160112edbed8ce9b62bf87172ae2f0e99a013
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
16 files changed:
Makefile.am
Makefile.builds.in
src/context/cdmap.h
src/expr/Makefile.am
src/expr/attribute.cpp [new file with mode: 0644]
src/expr/attribute.h
src/expr/node.h
src/expr/node_builder.h
src/expr/node_manager.cpp
src/expr/node_manager.h
src/expr/node_value.cpp
src/expr/node_value.h
src/smt/smt_engine.cpp
src/util/Assert.h
test/system/Makefile.am
test/unit/Makefile.am