]> granicus.if.org Git - python/commit
projects / python / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9973d74) | patch
k_mul() comments: In honor of Dijkstra, made the proof that "t3 fits"
authorTim Peters <tim.peters@gmail.com>
Thu, 15 Aug 2002 20:06:00 +0000 (20:06 +0000)
committerTim Peters <tim.peters@gmail.com>
Thu, 15 Aug 2002 20:06:00 +0000 (20:06 +0000)
commitab86c2be2415050c71a254ad4e47fb4bdcf3a69f
tree6d433f5e217394d1d4cfc8bd78156cc74b984373tree | snapshot
parent9973d74b2d63ebd6a49d239b49f01fe823705b97commit | diff
k_mul() comments:  In honor of Dijkstra, made the proof that "t3 fits"
rigorous instead of hoping for testing not to turn up counterexamples.
Call me heretical, but despite that I'm wholly confident in the proof,
and have done it two different ways now, I still put more faith in
testing ...
Objects/longobject.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.