summaryrefslogtreecommitdiff
path: root/src/theory/uf/equality_engine.cpp
AgeCommit message (Expand)Author
2012-09-22another fix for the equality class iterator Dejan Jovanović
2012-09-19fix for bug 370.Dejan Jovanović
2012-09-19Changing the equality engines's euivalence class iterator. Andy please check ...Dejan Jovanović
2012-07-27Merge quantifiers2-trunk:François Bobot
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-06-17fixing wrong assertionDejan Jovanović
2012-06-14changing to a more natural propagation order in uf, seems to pay offDejan Jovanović
2012-06-14some changes to the uf engineDejan Jovanović
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-06-10fixes for bug347Dejan Jovanović
2012-06-07fixing the wrong results. arrays equality adaptor had a missing case when pro...Dejan Jovanović
2012-06-07fixing some bugs in propagation of disequalitiesDejan Jovanović
2012-06-06Changes to the combination mechanism, lots of details. Not done yet, there ar...Dejan Jovanović
2012-05-27some reordering to keep invariantsDejan Jovanović
2012-05-27Committing the work on equality engine, I need to see how it does on the regr...Dejan Jovanović
2012-05-24Significant changes to the internals of the equality engine. Equality is not ...Dejan Jovanović
2012-05-21Updating equality manager to handle tagged trigger terms. Notifications are p...Dejan Jovanović
2012-05-16adding simple-minded handling of (dis-)equalities where constants are involvedDejan Jovanović
2012-05-10Removing now unneeded (as of r3425) typenames from EqualityEngine. trunk now ...Tim King
2012-05-09* simplifying equality engine interfaceDejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback