RFR: 8077587: BigInteger Roots [v52]

fabioromano1 duke at openjdk.org
Tue Jul 29 13:19:03 UTC 2025


On Tue, 29 Jul 2025 13:03:59 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote:

> Anyway, I hope I made my point clear: it is better to write proofs rather than relying on readers to reverse-engineer them from the code. Surely, there's no need to be pedantic in every single detail.

Surely, the problem is to understand what self-evident details to me, who wrote the code, could not be clear to others, and it is not that easy, even including comments.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/24898#discussion_r2239805158


More information about the core-libs-dev mailing list