projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25d1b0d) | patch
Repair mistakes in proofs of some error bounds.
authorTaylor R Campbell <campbell@mumble.net>
Sun, 30 Jun 2019 04:30:24 +0000 (04:30 +0000)
committerTaylor R Campbell <campbell@mumble.net>
Sun, 30 Jun 2019 23:30:52 +0000 (23:30 +0000)
commit863444eb0e412d0f8314fbfb887b0e633f4ea717
tree4eab51ce10b7682b15dd1eea9172009683489508tree | snapshot
parent25d1b0d9d3fb4cb6171e0a935e4fe8aca08c9087commit | diff
Repair mistakes in proofs of some error bounds.

While here:

- Spell out some magic constants.
- Handle and test some edge cases in log1pexp and log1mexp.
- Paginate.
src/runtime/arith.scm diff | blob | history
tests/runtime/test-arith.scm diff | blob | history
MIT/GNU Scheme, Pucked