2 commits

Author	SHA1	Message	Date
Christoph M. Wintersteiger	ea24394c03	ECDH: Fix whitespace and permission problems	2019-08-19 13:36:44 +01:00
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