]> granicus.if.org Git - python/commit
projects / python / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e23ca3c) | patch
The astimezone() correctness proof endured much pain to prove what
authorTim Peters <tim.peters@gmail.com>
Thu, 2 Jan 2003 17:55:03 +0000 (17:55 +0000)
committerTim Peters <tim.peters@gmail.com>
Thu, 2 Jan 2003 17:55:03 +0000 (17:55 +0000)
commitc5dc4da125ee686f5544430b97545a17ad77a6cb
tree0f94933c6e29543f6bb873da34a7b1e4e2c362c3tree | snapshot
parente23ca3c35aba074f8cfa496af24c7641973c7fabcommit | diff
The astimezone() correctness proof endured much pain to prove what
turned out to be 3 special cases of a single more-general result.
Proving the latter instead is a real simplification.
Modules/datetimemodule.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.