Christoph M. Wintersteiger bee486146e ECDH: Add Everest Curve25519 to 3rdparty/everest ...

These files are automatically generated by the Everest toolchain from F*
files. They do not respect the mbedTLS code style guidelines as manual
modification would invalidate verification guarantees. The files in
3rdparty/everest/include/kremli{n,b} are a customized (minimzed) version of the
support headers expected by the code extracted using KreMLin.

2019-08-19 13:19:38 +01:00

22 KiB

Raw Blame History

View Raw