summaryrefslogtreecommitdiff
path: root/src/theory/arith/delta_rational.h
AgeCommit message (Expand)Author
2012-06-12Fix to yesterday's change in arithmetic.Tim King
2012-04-17Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...Tim King
2012-03-22* improving arithmetic getEqualityStatusDejan Jovanović
2012-02-28This commit merges in branches/arithmetic/internalbb up to revision 2831. Th...Tim King
2012-02-15This commit merges into trunk the branch branches/arithmetic/integers2 from r...Tim King
2011-11-29Merging the branch branches/arithmetic/shared-terms into trunk. Arithmetic no...Tim King
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-02-17I replaced the pattern "x = x + y;" with "x += y;" in a few places in DeltaRa...Tim King
2010-10-09Model generation for arith, boolean, and uf theories viaMorgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-06-16This commit just contains miscellaneous arithmetic cleanup.Tim King
2010-06-04Changed several arguments to const references.Tim King
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-06-03Adds toString to DeltaRationalTim 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