Age | Commit message (Expand) | Author |
---|---|---|
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-09-24 | equality triggers for the equality engine | Dejan Jovanović |
2010-09-24 | basic union find for bitvectors | Dejan Jovanović |