2 commits

Author	SHA1	Message	Date
Christoph M. Wintersteiger	2a9684e7c9	ECDH: Add VS2010 support files for Everest Curve25519	2019-08-19 13:19:38 +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