See https://boringssl-review.git.corp.google.com/c/boringssl/+/74627/29/third_party/fiat/p256_point.br.c.inc#114 It'd be nice if we could have comments for bedrock2 P256 functions that are also present in the generated C.
See https://boringssl-review.git.corp.google.com/c/boringssl/+/74627/29/third_party/fiat/p256_point.br.c.inc#114
It'd be nice if we could have comments for bedrock2 P256 functions that are also present in the generated C.