Age | Commit message (Expand) | Author |
---|---|---|
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-08-16 | Replace propagateAsDecision() with Theory::getNextDecisionRequest(): | Morgan Deters |
2012-07-27 | Merge quantifiers2-trunk: | François Bobot |
2012-04-17 | Merges 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-07 | cdqueue : fix size(). Thank you Clark for spotting this silly mistake. | François Bobot |
2012-03-02 | This commit merges in the changes from branches/arithmetic/refactor0 | Tim King |
2012-03-02 | Renamed CDQueue to CDTrailQueue and CDQueue2 to CDQueue. Small changes to fun... | Tim King |
2012-02-28 | Adds the CDQueue class. This is a wrapper for combining a CDList<T> and a CD... | Tim King |