Christoph M. Wintersteiger
f43e1d942f
3rdparty: Remove unnecessary copy of license file
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
20819afcad
3rdparty: Adjust .gitignore
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
02174b90dc
3rdparty: Fix Makefile coding conventions
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
6ea2dea1c5
3rdparty: Add additional build facilities for 3rd-party code
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
ea24394c03
ECDH: Fix whitespace and permission problems
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
8a0f5bb3c1
Make check-names.sh find the right names in 3rdparty
...
Essentially adds the Everest .h and .c files to the various variables. This
should be generalized at some point, but there is no infrastructure for this
yet.
2019-08-19 13:36:44 +01:00
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
