search

pq-code-package / mlkem-c-aarch64

ML-KEM implementation optimized for aarch64
https://pq-code-package.github.io/mlkem-c-aarch64/dev/bench
Apache License 2.0
9 stars 6 forks source link

Upgrade to CBMC 6.3.1 #147

Closed rod-chapman closed 1 week ago

rod-chapman commented 1 week ago

We should consider upgrade of nix env and CI runners to use CBMC 6.3.1

This release improves proof support, fixes builds on Graviton/Linux machines, improves speed of analysis etc.

Note: a revised Makefile.common is required to go with this release.