Refactor mld_polymat_permute_bitrev_to_custom#770

Closed

willieyz wants to merge 3 commits intomainfrom

Commits on Jan 6, 2026

CBMC: Add proofs on top of native functions

willieyz
and
mkannwischer
committed
Refactor polymat_permute_bitrev_to_custom() for proof

rod-chapman
authored and
willieyz
committed
[TEST] Switch to tautschnig's experimental CBMC

mkannwischer
authored and
willieyz
committed