summaryrefslogtreecommitdiff
path: root/src/expr/attribute_internals.h
AgeCommit message (Expand)Author
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-03-02CDMap -> CDHashMapDejan Jovanović
2011-09-16fix numerous documentation issues; doxygen complains much less, nowMorgan Deters
2011-03-30Add Valuation::getSatValue() so that theories can access the currentMorgan Deters
2011-03-27fixes to attribute-internals warnings on 64-bit; also some GCC function attri...Morgan Deters
2011-03-26fix for bug 253, was propagating an asserted literalDejan Jovanović
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-10-04remove/shuffle some #include dependencies; fix some documentation; apply codi...Morgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-04-14Marging from types 404:415, changes: MassiveDejan Jovanović
2010-04-01reran update-copyright.pl to get new contributors and add new header comments...Morgan Deters
2010-04-01PARSER STUFF:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback