summaryrefslogtreecommitdiff
path: root/src/theory/booleans
AgeCommit message (Expand)Author
2010-05-27Preregistration has been turned on. Highly experimental eager splitting suppo...Tim King
2010-05-05bug fixes for types, old unit tests for types work nowDejan Jovanović
2010-05-04Type-checking classes and hooks (not tested yet).Dejan Jovanović
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-03Reverting r365Christopher L. Conway
2010-04-01* Minor code formatting stuff in src/expr/type.{h,cpp}. ConcludedMorgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Removing unnecessary .gitignoresChristopher L. Conway
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-03-30Highlights of this commit are:Morgan Deters
2010-03-25new domain-specific language for kinds files: permits characterization of dif...Morgan Deters
2010-02-26* test/unit/context/context_black.h: Test CDList<>. In particular,Morgan Deters
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback