CBMC: Remove namespacing #824
Description
To simplify the CBMC Makefiles, we should just default the namespace to mld_.
See pq-code-package/mlkem-native@cdc2269
{{ message }}
To simplify the CBMC Makefiles, we should just default the namespace to mld_.
See pq-code-package/mlkem-native@cdc2269