summaryrefslogtreecommitdiff
path: root/test/unit/expr/node_builder_black.h
AgeCommit message (Expand)Author
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-04Recommit revision 365 (undoing revision 375, which reverted revision 365).Morgan Deters
2010-04-01reran update-copyright.pl to get new contributors and add new header comments...Morgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Highlights of this commit are:Morgan Deters
2010-03-12* src/context/cdmap.h: rename orderedIterator to iterator, do awayMorgan Deters
2010-03-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan Deters
2010-03-02* NodeBuilder work: specifically, convenience builders. "a && b && c || d && e"Morgan Deters
2010-03-01Node builder tests that targetted properly detecting and handling expections ...Tim King
2010-02-27A bag of unrelated fixes to bring trunk more in-line with recentMorgan Deters
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
2010-02-25Created basic node builder and kind tests. Also fixed a couple of node builde...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback