CBMC: Add contracts to native backends #685
Merged
DCO-2 / DCO
succeeded
Jan 23, 2025 in 0s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 47c3fa6 | CBMC: Add contracts to native backend | Valid sign-off found |
| 🟢 | 1b2db0c | Sampling: Change fallback logic to native implemen... | Valid sign-off found |
| 🟢 | 801ac78 | CBMC: Add contract for native rej_uniform and pr... |
Valid sign-off found |
| 🟢 | 1d4fc1f | CBMC: Add KeccakF1600[x4]_StatePermute proofs base... | Valid sign-off found |
Loading