summaryrefslogtreecommitdiff
path: root/src/expr/attribute_internals.h
AgeCommit message (Expand)Author
2020-01-13Support arbitrary unsigned integer attributes (#3591)Andres Noetzli
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-08-29Forcing attribute_internals.h to use uint64_t's for shift operations. (#2370)Tim King
2018-08-15Removing attribute cleanups. (#2300)Tim King
2018-08-13Removing support for T* and const T* attributes. (#2297)Tim King
2018-08-11Make attributes robust to static init orderings (#2295)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-19Removing the unused CDAttribute. This makes CDHashMap::obliterate unused. Rem...Tim King
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2014-07-01Update copyrights.Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-11-21Adding the changes needed to delete rewriter attributes. This includes being...Tim King
2013-06-04Fix clang static initialization order issue; fixes bug 512.Morgan Deters
2013-05-01Comment out some debug-related things in attribute code, no longer neededMorgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-01-25Fix errors and reduce warnings on clang (merge from mdeters/clang)Morgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
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