x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs#1188
Open
jakemas wants to merge 1 commit into
Open
x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs#1188jakemas wants to merge 1 commit into
jakemas wants to merge 1 commit into
DCO-2 / DCO
succeeded
Jul 11, 2026 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 908d880 | x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 ... | Valid sign-off found |
Loading