summaryrefslogtreecommitdiffstats
path: root/Modules/_decimal/libmpdec
Commit message (Expand)AuthorAgeFilesLines
* Do not clobber existing flags.Stefan Krah2012-05-311-1/+1
* Fix Visual Studio warning.Stefan Krah2012-05-161-1/+1
* Changes in _mpd_qexp():Stefan Krah2012-05-161-46/+117
* Defensive programming: mpd_isspecial(r) already implies mpd_isspecial(q), butStefan Krah2012-04-201-0/+1
* The divmod function for large numbers now has an ACL2 proof. Related changes:Stefan Krah2012-04-201-45/+140
* 1) Simplify comment -- one has to read the complete proof (available in ACL2)Stefan Krah2012-04-181-7/+6
* Explain the strategy to avoid huge alignment shifts in _mpd_qadd() in detail.Stefan Krah2012-04-181-6/+35
* Cosmetic change: initialize digits to 1 (redundant).Stefan Krah2012-04-181-1/+1
* Remove redundant finalization of the result.Stefan Krah2012-04-181-2/+0
* Fix comments and whitespace.Stefan Krah2012-04-181-8/+8
* Support mythical ones' complement machines.Stefan Krah2012-04-181-1/+1
* The previous code is correct, but hard to verify: The libmpdec documentationStefan Krah2012-04-181-1/+2
* 1) Remove claim of an input invariant that is only true for static mpd_t.Stefan Krah2012-04-102-4/+2
* Fix stale comment.Stefan Krah2012-04-101-3/+4
* Resize the coefficient to MPD_MINALLOC also if the requested size is belowStefan Krah2012-04-091-11/+15
* 1) Fix comment.Stefan Krah2012-04-071-15/+12
* Use abort() rather than exit() to appease tools like rpmlint. abort() is usedStefan Krah2012-03-301-1/+1
* Fix formatting after removing tabs.Stefan Krah2012-03-232-4/+8
* Whitespace.Stefan Krah2012-03-232-102/+102
* Whitespace.Stefan Krah2012-03-215-166/+166
* Issue #7652: Integrate the decimal floating point libmpdec library to speedStefan Krah2012-03-2142-0/+17263