Harden parameter casting and reduce Windows CI warning noise#316

Merged

hoffmang9 merged 6 commits into

mainfrom

various-dangling-fixes

Feb 20, 2026

Commits on Feb 20, 2026

Use checked_cast for ApproximateParameters overflow safety.

hoffmang9
and
cursoragent
committed
Fix CI detection in prover_test fast mode.

hoffmang9
and
cursoragent
committed
Suppress deprecated literal-operator warning for compile_asm on Windows clang.

hoffmang9
and
cursoragent
committed
Fix Windows Py_DEBUG warning filter for cibuildwheel.

hoffmang9
and
cursoragent
committed
Document Windows Py_DEBUG warning suppression in wheel workflow.

hoffmang9
and
cursoragent
committed
Avoid deprecated getenv in prover_test CI detection on Windows.

hoffmang9
and
cursoragent
committed