CBMC proofs for mld_poly_permute_bitrev_to_custom#770

Draft

willieyz wants to merge 3 commits intomainfrom

Commits on Dec 16, 2025

CBMC: Add proofs on top of native functions (polymat_permute_bitrev_to_custom_native)

willieyz
and
mkannwischer
committed
Refactor polymat_permute_bitrev_to_custom() for proof

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