cpython.git - https://github.com/python/cpython.git

	Commit message (Expand)	Author	Age	Files	Lines
*	Defensive programming: mpd_isspecial(r) already implies mpd_isspecial(q), but	Stefan Krah	2012-04-20	1	-0/+1

*	The divmod function for large numbers now has an ACL2 proof. Related changes:	Stefan Krah	2012-04-20	1	-45/+140

*	1) Simplify comment -- one has to read the complete proof (available in ACL2)	Stefan Krah	2012-04-18	1	-7/+6

*	Explain the strategy to avoid huge alignment shifts in _mpd_qadd() in detail.	Stefan Krah	2012-04-18	1	-6/+35

*	Cosmetic change: initialize digits to 1 (redundant).	Stefan Krah	2012-04-18	1	-1/+1

*	Remove redundant finalization of the result.	Stefan Krah	2012-04-18	1	-2/+0

*	Fix comments and whitespace.	Stefan Krah	2012-04-18	1	-8/+8

*	Support mythical ones' complement machines.	Stefan Krah	2012-04-18	1	-1/+1

*	The previous code is correct, but hard to verify: The libmpdec documentation	Stefan Krah	2012-04-18	1	-1/+2

*	1) Remove claim of an input invariant that is only true for static mpd_t.	Stefan Krah	2012-04-10	1	-3/+1

*	Fix stale comment.	Stefan Krah	2012-04-10	1	-3/+4

*	Resize the coefficient to MPD_MINALLOC also if the requested size is below	Stefan Krah	2012-04-09	1	-11/+15

*	1) Fix comment.	Stefan Krah	2012-04-07	1	-15/+12

*	Whitespace.	Stefan Krah	2012-03-23	1	-7/+7

*	Whitespace.	Stefan Krah	2012-03-21	1	-1/+1

*	Issue #7652: Integrate the decimal floating point libmpdec library to speed	Stefan Krah	2012-03-21	1	-0/+7596