boringssl/third_party
David Benjamin 00208b443c Use fiat-crypto's freeze function for fe_tobytes.
It requires a handful of additional intrinsics for now.

Fiat's freeze function only works on the tight bounds, so fe_isnonzero
gains an extra fe_carry. But all other calls of fe_tobytes are of tight
bounds anyway.

Change-Id: I834858cee7863c7344e456d7a7dbf4f414f04ae5
Reviewed-on: https://boringssl-review.googlesource.com/24545
Reviewed-by: Adam Langley <agl@google.com>
2018-01-05 23:38:26 +00:00
..
android-cmake change URL type in third_party METADATA files to GIT 2017-11-07 21:38:33 +00:00
fiat Use fiat-crypto's freeze function for fe_tobytes. 2018-01-05 23:38:26 +00:00
googletest Build with clang-cl standalone. 2017-10-05 20:42:49 +00:00