summaryrefslogtreecommitdiff
path: root/src/expr/attribute.h
AgeCommit message (Expand)Author
2010-02-26Changing the hashing in attributes to what Nodes do, i.e. hash on the id of t...Dejan Jovanović
2010-02-25* src/expr/node_builder.h: fixed some overly-aggressive refcount decrementing.Morgan Deters
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
2010-02-24Committing small changes to attribute, and theory to avoid future merge probl...Tim King
2010-02-22* src/expr/attribute.h: fixed an issue with "const pointer"-valuedMorgan Deters
2010-02-22* configure.ac: Remove doc/ from search path for Makefile.amsMorgan Deters
2010-02-22Re-committing revision 232 properly:Morgan Deters
2010-02-22undoing improperly-committed revision 232; will re-commit to get "svn blame" ...Morgan Deters
2010-02-22* Add virtual destructors to CnfStream, Theory, OutputChannel, andCesare Tinelli
2010-02-19specialized implementation for boolean node attributes ("flags"): they now sh...Morgan Deters
2010-02-19* Attribute infrastructure -- static design. Documentation is coming.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback