summaryrefslogtreecommitdiff
path: root/test/unit/expr/attribute_white.h
AgeCommit message (Expand)Author
2010-07-06Moved registration to theory engineClark Barrett
2010-07-03fix warningsMorgan Deters
2010-06-30* theory "tree" rewriting implemented and worksMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-05-27Remove isAtomic() as per 4/27/2010 meeting. Add comments about its potential...Morgan Deters
2010-04-26Adding the intermediary TypeNode to represent (and separate) the Types at the...Dejan Jovanović
2010-04-14Marging from types 404:415, changes: MassiveDejan Jovanović
2010-04-08A handful of build system fixes:Morgan Deters
2010-04-04* Addressed issues brought up in Chris's review of Morgan'sMorgan Deters
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-01reran update-copyright.pl to get new contributors and add new header comments...Morgan Deters
2010-03-25Adding comments to NodeManagerChristopher L. Conway
2010-03-16* test/unit/Makefile.am, test/unit/expr/attribute_white.h,Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback