Age | Commit message (Expand) | Author |
---|---|---|
2012-03-02 | Renamed CDQueue to CDTrailQueue and CDQueue2 to CDQueue. Small changes to fun... | Tim King |
2012-02-28 | Improves the arithmetic difference manager to delay any work until a shared t... | Tim King |
2011-12-15 | Partial fix to bug 295. | Tim King |
2011-12-12 | * merging some uf stuff from incremental_work branch that somehow nobody merg... | Dejan Jovanović |
2011-11-29 | Merging the branch branches/arithmetic/shared-terms into trunk. Arithmetic no... | Tim King |