On Tue, 29 Jul 2025 13:03:59 GMT, Raffaello Giulietti <rgiulie...@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
