summaryrefslogtreecommitdiff
path: root/src/theory/uf/morgan
AgeCommit message (Expand)Author
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-07-11merge from symmetry branchMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2011-02-26Commit to fix bug 241 (improper "using namespace std" in a header). This cau...Morgan Deters
2011-02-26Merge from theory-break-dependences branch to break Theory and TheoryEngine d...Morgan Deters
2011-01-05Commit for the theory engine and rewriter changes. Changes are substantial an...Dejan Jovanović
2010-12-14congruence closure module now supports things other than APPLY_UF; ported fro...Morgan Deters
2010-12-14fix to static learning application in UF, resolves bug# 239Morgan Deters
2010-11-19Merge from ufprop branch, including:Morgan Deters
2010-11-17add some stats to UF/CCMorgan Deters
2010-11-17The "UF engineering issues" release, after much profiling.Morgan Deters
2010-11-16Added Theory::presolve().Tim King
2010-10-12Merge from cc-memout branch. Here are the main pointsMorgan Deters
2010-10-09bug fixes to model genMorgan Deters
2010-10-09Model generation for arith, boolean, and uf theories viaMorgan Deters
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-09-28fix predicate bug in UF; code cleanup in theory.cppMorgan Deters
2010-09-14ensure uf/congruence closure debugging stuff isn't called in production buildsMorgan Deters
2010-08-19UF theory bug fixes, code cleanup, and extra debugging output.Morgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback