CBMC: Improve proof stability#611

Open

mkannwischer wants to merge 6 commits intomainfrom

Commits on Nov 5, 2025

CBMC: pack_pk increase CBMC_OBJECT_BITS 8 -> 11

mkannwischer
authored and
rod-chapman
committed
CBMC: polyvecl_add increase CBMC_OBJECT_BITS 8 -> 10

mkannwischer
authored and
rod-chapman
committed
Simplification and refactoring to restore proof speed and stability.
rod-chapman
committed
Further proof stabilization.
rod-chapman
committed
Further adjustments to Makefiles for proof stability.
rod-chapman
committed
Introduce local mld_matrix_permute_bitrev_to_custom() function.
rod-chapman
committed