Skip to content

B5/B18 docs and tests#113

Open
Lamarr3314 wants to merge 30 commits into
coreyqh:mainfrom
Lamarr3314:B5
Open

B5/B18 docs and tests#113
Lamarr3314 wants to merge 30 commits into
coreyqh:mainfrom
Lamarr3314:B5

Conversation

@Lamarr3314
Copy link
Copy Markdown
Contributor

Corrected 1 of the two factors missing in B5. The remaining value, MinNorm +2 ulp in BF_16 is prime and should be excluded from coverage in B18 and B5. B18 needs different factors for the lsb guard and sticky tests, B18 still reuses B18. Waiting on a helper overflow function.

@coreyqh
Copy link
Copy Markdown
Owner

coreyqh commented Jun 3, 2026

Overall looks good. Just address the maybe unintentional changes and then I can merge.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants