Skip to content

Correctness fixes - #242

Open
tomciopp wants to merge 3 commits into
ericmj:mainfrom
tomciopp:correctness-fixes
Open

Correctness fixes#242
tomciopp wants to merge 3 commits into
ericmj:mainfrom
tomciopp:correctness-fixes

Compute the remainder of rem/2 and div_rem/2 exactly

4bfdc5d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test (1.12, 24)
succeeded Aug 24, 2026 in 15s