Age | Commit message (Expand) | Author |
---|---|---|
2012-06-07 | fixing the wrong results. arrays equality adaptor had a missing case when pro... | Dejan Jovanović |
2012-06-07 | fixing some bugs in propagation of disequalities | Dejan Jovanović |
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-05-27 | some reordering to keep invariants | Dejan Jovanović |
2012-05-27 | Committing the work on equality engine, I need to see how it does on the regr... | Dejan Jovanović |
2012-05-24 | Significant changes to the internals of the equality engine. Equality is not ... | Dejan Jovanović |
2012-05-21 | Updating equality manager to handle tagged trigger terms. Notifications are p... | Dejan Jovanović |
2012-05-16 | adding simple-minded handling of (dis-)equalities where constants are involved | Dejan Jovanović |
2012-05-10 | Removing now unneeded (as of r3425) typenames from EqualityEngine. trunk now ... | Tim King |
2012-05-09 | * simplifying equality engine interface | Dejan Jovanović |