summaryrefslogtreecommitdiff
path: root/src/theory/arith/tableau.h
AgeCommit message (Expand)Author
2010-10-07Small tableau optimization.Tim King
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-10-02branches/arith-indexed-variables merged into the main trunk.Tim King
2010-09-21part of review (bug #197): coding conventions, file-level documentation, re-r...Morgan Deters
2010-09-13* New normal form for arithmetic is in place.Tim King
2010-07-09the tableaux optimizationDejan Jovanović
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-06-30* theory "tree" rewriting implemented and worksMorgan Deters
2010-06-29This commit merges the decaying-rows branch into the main trunk.Tim King
2010-06-16This commit just contains miscellaneous arithmetic cleanup.Tim King
2010-06-06Some assorted fixes and local optimizations for theory arith.Tim King
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-05-29Couple of fixes to theory arith. pivotAndUpdate now multiplies by a_kj. And t...Tim King
2010-05-27Preregistration has been turned on. Highly experimental eager splitting suppo...Tim King
2010-05-21Small fixes to TheoryArith. Added a hack to make Integers a subtype of Real....Tim King
2010-05-19Significant revision to theory/arith. The new draft has a lot of small bug f...Tim King
2010-04-28Merging the arithmetic theory draft (lra-init) back into the main trunk. Thi...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback