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