Age | Commit message (Expand) | Author |
---|---|---|
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-04-16 | unit test fixes for new NodeManager constructor (related to previous two trun... | Morgan Deters |
2010-12-14 | congruence closure module now supports things other than APPLY_UF; ported fro... | Morgan Deters |
2010-11-17 | fix improper CongruenceClosureWhite test by merging from a uf branch; fixes t... | Morgan Deters |
2010-08-17 | Merge from "cc" branch: | Morgan Deters |