Christoph M. Wintersteiger
62dddd08fd
Add new 3rdparty build scripts
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
24fbceff50
ECDH: Everest: Remove unnecessary file
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
c3cbddecb5
ECDH: Fix whitespace, permissions
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
4936beb513
ECDH: Clean up the interface to Everest code
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
6acfbb52d7
ECDH: Add #ifdef to cleanly disable the Everest code
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
fb72367f96
ECDH: Remove old code from mbedtls_everest_make_params
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
d5fd766c49
ECDH: Include Everest Curve25519 in build scripts
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
de4fcf2ae3
ECDH: Add new ECDH context for Everest Curve25519
2019-08-19 13:19:38 +01:00
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