Skip to content

Certify sharp numerical scratch bounds for BIT arithmetic - #2759

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/selected-word-scratch-20261015
Oct 16, 2026
Merged

Certify sharp numerical scratch bounds for BIT arithmetic#2759
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/selected-word-scratch-20261015

feat(research): certify sharp arithmetic scratch bounds

2fd8fbe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.11)
succeeded Oct 16, 2026 in 2m 35s