Skip to content

refactor: preserve unsigned arithmetic and add VERIFY_CHECKs before c…

da9db68
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

build: fix clang -Wshorten-64-to-32 warnings #1801

refactor: preserve unsigned arithmetic and add VERIFY_CHECKs before c…
da9db68
Select commit
Loading
Failed to load commit list.
SageMath prover
succeeded Jan 22, 2026 in 1m 1s