summaryrefslogtreecommitdiff
path: root/src/context/cdqueue.h
AgeCommit message (Expand)Author
2019-03-26Update copyright headers.Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2014-07-01Update copyrights.Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-08-16Replace propagateAsDecision() with Theory::getNextDecisionRequest():Morgan Deters
2012-07-27Merge quantifiers2-trunk:François Bobot
2012-04-17Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...Tim King
2012-04-02- Merged in the branch cdlist-cleanup.Tim King
2012-03-07cdqueue : fix size(). Thank you Clark for spotting this silly mistake.François Bobot
2012-03-02This commit merges in the changes from branches/arithmetic/refactor0Tim King
2012-03-02Renamed CDQueue to CDTrailQueue and CDQueue2 to CDQueue. Small changes to fun...Tim King
2012-02-28Adds the CDQueue class. This is a wrapper for combining a CDList<T> and a CD...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback