Gitly


1 /*
2  *  Interface to code from Project Everest
3  *
4  *  Copyright 2016-2018 INRIA and Microsoft Corporation
5  *  SPDX-License-Identifier: Apache-2.0
6  *
7  *  Licensed under the Apache License, Version 2.0 (the "License"); you may
8  *  not use this file except in compliance with the License.
9  *  You may obtain a copy of the License at
10  *
11  *  http://www.apache.org/licenses/LICENSE-2.0
12  *
13  *  Unless required by applicable law or agreed to in writing, software
14  *  distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15  *  WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16  *  See the License for the specific language governing permissions and
17  *  limitations under the License.
18  *
19  *  This file is part of Mbed TLS (https://tls.mbed.org)
20  */
21 #ifndef _BSD_SOURCE
22 /* Required to get htole64() from gcc/glibc's endian.h (older systems)
23  * when we compile with -std=c99 */
24 #define _BSD_SOURCE
25 #endif
26 #ifndef _DEFAULT_SOURCE
27 /* (modern version of _BSD_SOURCE) */
28 #define _DEFAULT_SOURCE
29 #endif
30 
31 #include "common.h"
32 
33 #if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
34 
35 #if defined(__SIZEOF_INT128__) && (__SIZEOF_INT128__ == 16)
36 #define MBEDTLS_HAVE_INT128
37 #endif
38 
39 #if defined(MBEDTLS_HAVE_INT128)
40 #include "Hacl_Curve25519.c"
41 #else
42 #define KRML_VERIFIED_UINT128
43 #include "kremlib/FStar_UInt128_extracted.c"
44 #include "legacy/Hacl_Curve25519.c"
45 #endif
46 
47 #include "kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c"
48 
49 #endif /* defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED) */
50 
51

1	/*
2	* Interface to code from Project Everest
3	*
4	* Copyright 2016-2018 INRIA and Microsoft Corporation
5	* SPDX-License-Identifier: Apache-2.0
6	*
7	* Licensed under the Apache License, Version 2.0 (the "License"); you may
8	* not use this file except in compliance with the License.
9	* You may obtain a copy of the License at
10	*
11	* http://www.apache.org/licenses/LICENSE-2.0
12	*
13	* Unless required by applicable law or agreed to in writing, software
14	* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15	* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16	* See the License for the specific language governing permissions and
17	* limitations under the License.
18	*
19	* This file is part of Mbed TLS (https://tls.mbed.org)
20	*/
21	#ifndef _BSD_SOURCE
22	/ Required to get htole64() from gcc/glibc's endian.h (older systems)*
23	* when we compile with -std=c99 */
24	#define _BSD_SOURCE
25	#endif
26	#ifndef _DEFAULT_SOURCE
27	/ (modern version of _BSD_SOURCE) /
28	#define _DEFAULT_SOURCE
29	#endif
30
31	#include "common.h"
32
33	#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
34
35	#if defined(__SIZEOF_INT128__) && (__SIZEOF_INT128__ == 16)
36	#define MBEDTLS_HAVE_INT128
37	#endif
38
39	#if defined(MBEDTLS_HAVE_INT128)
40	#include "Hacl_Curve25519.c"
41	#else
42	#define KRML_VERIFIED_UINT128
43	#include "kremlib/FStar_UInt128_extracted.c"
44	#include "legacy/Hacl_Curve25519.c"
45	#endif
46
47	#include "kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c"
48
49	#endif / defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED) /
50
51