Age | Commit message (Expand) | Author |
---|---|---|
2012-04-02 | - Merged in the branch cdlist-cleanup. | Tim King |
2012-03-02 | CDMap -> CDHashMap | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2010-08-17 | Add "no trash" CDMap elements, so that CDMap elements can themselves | Morgan Deters |
2010-07-08 | context work to support cdmaps with elements allocated in context memory | Morgan Deters |
2010-06-29 | * Add CDMap<>::insertAtContextLevelZero(k, d) for inserting "initializing" | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-03-30 | I think this finishes off the CDMap<>/Attribute leaks | Morgan Deters |