CBMC: Add contracts to native backends#685

Merged

hanno-becker merged 4 commits intomainfrom cbmc_native

Jan 23, 2025

+1,244-43

Commits on Jan 23, 2025

CBMC: Add contracts to native backend

Becker
authored and
hanno-becker
committed
Sampling: Change fallback logic to native implementation
hanno-becker
committed
CBMC: Add contract for native rej_uniform and prove fallback logic
hanno-becker
committed
CBMC: Add KeccakF1600[x4]_StatePermute proofs based on native code
hanno-becker
committed