projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd8e931) | patch
Adding the changes needed to delete rewriter attributes. This includes being able...
authorTim King <taking@cs.nyu.edu>
Thu, 14 Nov 2013 16:56:34 +0000 (11:56 -0500)
committerTim King <taking@cs.nyu.edu>
Thu, 21 Nov 2013 15:43:44 +0000 (10:43 -0500)
commit91424455840a7365a328cbcc3d02ec453fe9d0ea
treee8072eb0c7dda81feafb1c5f9a4ca2f0fcbc0399tree
parentbd8e9319aab69db90692f72bc52288329879eefccommit | diff
Adding the changes needed to delete rewriter attributes.  This includes being able to list attributes.  Additionally, added debugging hooks to node manager and attribute manager.
13 files changed:
src/expr/Makefile.am diff | blob | history
src/expr/attribute.cpp diff | blob | history
src/expr/attribute.h diff | blob | history
src/expr/attribute_internals.h diff | blob | history
src/expr/attribute_unique_id.h [new file with mode: 0644] blob
src/expr/node.h diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/node_value.h diff | blob | history
src/theory/mkrewriter diff | blob | history
src/theory/rewriter.h diff | blob | history
src/theory/rewriter_tables_template.h diff | blob | history
src/theory/rewriterules/theory_rewriterules_rewriter.h diff | blob | history