search

pq-code-package / mlkem-native

High-assurance, high-performance ML-KEM implementation for mobile, pc, and server targets
https://pq-code-package.github.io/mlkem-native/dev/bench/
Apache License 2.0
11 stars 9 forks source link

Minor CBMC clean-up #373

Closed mkannwischer closed 1 week ago

mkannwischer commented 1 week ago

Some minor clean up - mostly related to our CBMC proofs:

Depends on #370

mkannwischer commented 1 week ago

Can you also remove further unused files and directories in cbmc, like cbmc/stubs and cbmc/include?

done.