blob: ee62be1ceb46dce9456e62a917310b962a1f2eb1 [file] [log] [blame]
* Interface to code from Project Everest
* Copyright 2016-2018 INRIA and Microsoft Corporation
* SPDX-License-Identifier: Apache-2.0
* Licensed under the Apache License, Version 2.0 (the "License"); you may
* not use this file except in compliance with the License.
* You may obtain a copy of the License at
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
* This file is part of mbed TLS (
#include "common.h"
#if defined(__SIZEOF_INT128__) && (__SIZEOF_INT128__ == 16)
#if defined(MBEDTLS_HAVE_INT128)
#include "Hacl_Curve25519.c"
#include "kremlib/FStar_UInt128_extracted.c"
#include "legacy/Hacl_Curve25519.c"
#include "kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c"