diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-03-02 20:33:26 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-03-02 20:33:26 +0000 |
| commit | 2b87789ee57a738cccd89dd9d2d81b065875dc29 (patch) | |
| tree | f5376c532490088e5dcc7a37ed318127a0dc8c40 /src/expr/Makefile.am | |
| parent | 7f5036bb37e13dbc7e176d4fa82ee0736d11e913 (diff) | |
* NodeBuilder work: specifically, convenience builders. "a && b && c || d && e"
(etc.) now work for Nodes a, b, c, d, e. Also refcounting fixes for
NodeBuilder in certain cases
* (various places) don't overload __gnu_cxx::hash<>, instead provide
an explicit hash function to hash_maps and hash_sets.
* add a new kind of assert, DtorAssert(), which doesn't throw
exceptions (right now it operates like a usual C assert()). For use
in destructors.
* don't import NodeValue into CVC4 namespace (leave under CVC4::expr::).
* fix some Make rule dependencies
* reformat node.h as per code formatting policy
* added Theory and NodeBuilder unit tests
Diffstat (limited to 'src/expr/Makefile.am')
| -rw-r--r-- | src/expr/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index 1aa2e61fa..bd02cf452 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -31,7 +31,7 @@ EXTRA_DIST = \ kind_middle.h \ kind_epilogue.h -@srcdir@/kind.h: @srcdir@/mkkind kind_prologue.h kind_middle.h kind_epilogue.h @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds +@srcdir@/kind.h: mkkind kind_prologue.h kind_middle.h kind_epilogue.h builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds chmod +x @srcdir@/mkkind (@srcdir@/mkkind \ @srcdir@/kind_prologue.h \ |