summaryrefslogtreecommitdiff
path: root/src/theory/arith/theory_arith.cpp
AgeCommit message (Expand)Author
2010-06-03Fixes 2 issues with assignments. The first is constructing an initial assignm...Tim King
2010-06-01This commit adds a debugTagIsOn() guard around some extremely verbose debuggi...Tim King
2010-05-29Couple of fixes to theory arith. pivotAndUpdate now multiplies by a_kj. And t...Tim King
2010-05-28This update enables TheoryArith to accept assertions that rewrite to true or ...Tim King
2010-05-27Preregistration has been turned on. Highly experimental eager splitting suppo...Tim King
2010-05-26 . '+Outstanding case split in theory arith'Tim King
2010-05-25Some initial changes to allow for lemmas on demand. Dejan Jovanović
2010-05-21Small fixes to TheoryArith. Added a hack to make Integers a subtype of Real....Tim King
2010-05-20Added the division symbol to the parser, and minimal support for it in Theory...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