| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 1 | <?xml version="1.0" encoding="utf-8"?> | 
|  | 2 | <Project DefaultTargets="Build" ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003"> | 
|  | 3 | <ItemGroup Label="ProjectConfigurations"> | 
|  | 4 | <ProjectConfiguration Include="Debug|Win32"> | 
|  | 5 | <Configuration>Debug</Configuration> | 
|  | 6 | <Platform>Win32</Platform> | 
|  | 7 | </ProjectConfiguration> | 
|  | 8 | <ProjectConfiguration Include="Debug|x64"> | 
|  | 9 | <Configuration>Debug</Configuration> | 
|  | 10 | <Platform>x64</Platform> | 
|  | 11 | </ProjectConfiguration> | 
|  | 12 | <ProjectConfiguration Include="Release|Win32"> | 
|  | 13 | <Configuration>Release</Configuration> | 
|  | 14 | <Platform>Win32</Platform> | 
|  | 15 | </ProjectConfiguration> | 
|  | 16 | <ProjectConfiguration Include="Release|x64"> | 
|  | 17 | <Configuration>Release</Configuration> | 
|  | 18 | <Platform>x64</Platform> | 
|  | 19 | </ProjectConfiguration> | 
|  | 20 | </ItemGroup> | 
|  | 21 | <PropertyGroup Label="Globals"> | 
|  | 22 | <ProjectGuid>{46CF2D25-6A36-4189-B59C-E4815388E554}</ProjectGuid> | 
|  | 23 | <Keyword>Win32Proj</Keyword> | 
| Gilles Peskine | 2ae678d | 2020-03-24 22:10:57 +0100 | [diff] [blame] | 24 | <RootNamespace>mbedTLS</RootNamespace> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 25 | </PropertyGroup> | 
|  | 26 | <Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" /> | 
|  | 27 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration"> | 
|  | 28 | <ConfigurationType>StaticLibrary</ConfigurationType> | 
|  | 29 | <UseDebugLibraries>true</UseDebugLibraries> | 
|  | 30 | <CharacterSet>Unicode</CharacterSet> | 
|  | 31 | </PropertyGroup> | 
|  | 32 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration"> | 
|  | 33 | <ConfigurationType>StaticLibrary</ConfigurationType> | 
|  | 34 | <UseDebugLibraries>true</UseDebugLibraries> | 
|  | 35 | <CharacterSet>Unicode</CharacterSet> | 
|  | 36 | </PropertyGroup> | 
|  | 37 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration"> | 
|  | 38 | <ConfigurationType>StaticLibrary</ConfigurationType> | 
|  | 39 | <UseDebugLibraries>false</UseDebugLibraries> | 
|  | 40 | <WholeProgramOptimization>true</WholeProgramOptimization> | 
|  | 41 | <CharacterSet>Unicode</CharacterSet> | 
|  | 42 | </PropertyGroup> | 
|  | 43 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration"> | 
|  | 44 | <ConfigurationType>StaticLibrary</ConfigurationType> | 
|  | 45 | <UseDebugLibraries>false</UseDebugLibraries> | 
|  | 46 | <WholeProgramOptimization>true</WholeProgramOptimization> | 
|  | 47 | <CharacterSet>Unicode</CharacterSet> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 48 | </PropertyGroup> | 
|  | 49 | <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" /> | 
|  | 50 | <ImportGroup Label="ExtensionSettings"> | 
|  | 51 | </ImportGroup> | 
|  | 52 | <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'"> | 
|  | 53 | <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" /> | 
|  | 54 | </ImportGroup> | 
|  | 55 | <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="PropertySheets"> | 
|  | 56 | <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" /> | 
|  | 57 | </ImportGroup> | 
|  | 58 | <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'"> | 
|  | 59 | <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" /> | 
|  | 60 | </ImportGroup> | 
|  | 61 | <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="PropertySheets"> | 
|  | 62 | <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" /> | 
|  | 63 | </ImportGroup> | 
|  | 64 | <PropertyGroup Label="UserMacros" /> | 
|  | 65 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'"> | 
|  | 66 | <LinkIncremental>true</LinkIncremental> | 
| Simon Butcher | 6406e81 | 2017-03-01 22:25:12 +0000 | [diff] [blame] | 67 | <IntDir>$(Configuration)\$(TargetName)\</IntDir> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 68 | </PropertyGroup> | 
|  | 69 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'"> | 
|  | 70 | <LinkIncremental>true</LinkIncremental> | 
| Simon Butcher | 6406e81 | 2017-03-01 22:25:12 +0000 | [diff] [blame] | 71 | <IntDir>$(Configuration)\$(TargetName)\</IntDir> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 72 | </PropertyGroup> | 
|  | 73 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'"> | 
|  | 74 | <LinkIncremental>false</LinkIncremental> | 
| Simon Butcher | 6406e81 | 2017-03-01 22:25:12 +0000 | [diff] [blame] | 75 | <IntDir>$(Configuration)\$(TargetName)\</IntDir> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 76 | </PropertyGroup> | 
|  | 77 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'"> | 
|  | 78 | <LinkIncremental>false</LinkIncremental> | 
| Simon Butcher | 6406e81 | 2017-03-01 22:25:12 +0000 | [diff] [blame] | 79 | <IntDir>$(Configuration)\$(TargetName)\</IntDir> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 80 | </PropertyGroup> | 
|  | 81 | <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'"> | 
|  | 82 | <ClCompile> | 
|  | 83 | <PrecompiledHeader> | 
|  | 84 | </PrecompiledHeader> | 
|  | 85 | <WarningLevel>Level3</WarningLevel> | 
|  | 86 | <Optimization>Disabled</Optimization> | 
| Gilles Peskine | 2ae678d | 2020-03-24 22:10:57 +0100 | [diff] [blame] | 87 | <PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions> | 
| Andrzej Kurek | b78cf2b | 2019-04-26 05:54:15 -0400 | [diff] [blame] | 88 | <AdditionalIncludeDirectories> | 
| Gilles Peskine | d362d0b | 2020-02-26 14:32:42 +0100 | [diff] [blame] | 89 | ../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib      </AdditionalIncludeDirectories> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 90 | <CompileAs>CompileAsC</CompileAs> | 
|  | 91 | </ClCompile> | 
|  | 92 | <Link> | 
|  | 93 | <SubSystem>Windows</SubSystem> | 
|  | 94 | <GenerateDebugInformation>true</GenerateDebugInformation> | 
|  | 95 | </Link> | 
|  | 96 | </ItemDefinitionGroup> | 
|  | 97 | <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'"> | 
|  | 98 | <ClCompile> | 
|  | 99 | <PrecompiledHeader> | 
|  | 100 | </PrecompiledHeader> | 
|  | 101 | <WarningLevel>Level3</WarningLevel> | 
|  | 102 | <Optimization>Disabled</Optimization> | 
| Gilles Peskine | 2ae678d | 2020-03-24 22:10:57 +0100 | [diff] [blame] | 103 | <PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions> | 
| Andrzej Kurek | b78cf2b | 2019-04-26 05:54:15 -0400 | [diff] [blame] | 104 | <AdditionalIncludeDirectories> | 
| Gilles Peskine | d362d0b | 2020-02-26 14:32:42 +0100 | [diff] [blame] | 105 | ../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib      </AdditionalIncludeDirectories> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 106 | <CompileAs>CompileAsC</CompileAs> | 
|  | 107 | </ClCompile> | 
|  | 108 | <Link> | 
|  | 109 | <SubSystem>Windows</SubSystem> | 
|  | 110 | <GenerateDebugInformation>true</GenerateDebugInformation> | 
|  | 111 | </Link> | 
|  | 112 | </ItemDefinitionGroup> | 
|  | 113 | <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'"> | 
|  | 114 | <ClCompile> | 
|  | 115 | <WarningLevel>Level3</WarningLevel> | 
|  | 116 | <PrecompiledHeader> | 
|  | 117 | </PrecompiledHeader> | 
|  | 118 | <Optimization>MaxSpeed</Optimization> | 
|  | 119 | <FunctionLevelLinking>true</FunctionLevelLinking> | 
|  | 120 | <IntrinsicFunctions>true</IntrinsicFunctions> | 
| Gilles Peskine | 2ae678d | 2020-03-24 22:10:57 +0100 | [diff] [blame] | 121 | <PreprocessorDefinitions>WIN32;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions> | 
| Andrzej Kurek | b78cf2b | 2019-04-26 05:54:15 -0400 | [diff] [blame] | 122 | <AdditionalIncludeDirectories> | 
| Gilles Peskine | d362d0b | 2020-02-26 14:32:42 +0100 | [diff] [blame] | 123 | ../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib      </AdditionalIncludeDirectories> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 124 | </ClCompile> | 
|  | 125 | <Link> | 
|  | 126 | <SubSystem>Windows</SubSystem> | 
|  | 127 | <GenerateDebugInformation>true</GenerateDebugInformation> | 
|  | 128 | <EnableCOMDATFolding>true</EnableCOMDATFolding> | 
|  | 129 | <OptimizeReferences>true</OptimizeReferences> | 
|  | 130 | </Link> | 
|  | 131 | </ItemDefinitionGroup> | 
|  | 132 | <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'"> | 
|  | 133 | <ClCompile> | 
|  | 134 | <WarningLevel>Level3</WarningLevel> | 
|  | 135 | <PrecompiledHeader> | 
|  | 136 | </PrecompiledHeader> | 
|  | 137 | <Optimization>MaxSpeed</Optimization> | 
|  | 138 | <FunctionLevelLinking>true</FunctionLevelLinking> | 
|  | 139 | <IntrinsicFunctions>true</IntrinsicFunctions> | 
| Gilles Peskine | 2ae678d | 2020-03-24 22:10:57 +0100 | [diff] [blame] | 140 | <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions> | 
| Andrzej Kurek | b78cf2b | 2019-04-26 05:54:15 -0400 | [diff] [blame] | 141 | <AdditionalIncludeDirectories> | 
| Gilles Peskine | d362d0b | 2020-02-26 14:32:42 +0100 | [diff] [blame] | 142 | ../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib      </AdditionalIncludeDirectories> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 143 | </ClCompile> | 
|  | 144 | <Link> | 
|  | 145 | <SubSystem>Windows</SubSystem> | 
|  | 146 | <GenerateDebugInformation>true</GenerateDebugInformation> | 
|  | 147 | <EnableCOMDATFolding>true</EnableCOMDATFolding> | 
|  | 148 | <OptimizeReferences>true</OptimizeReferences> | 
|  | 149 | </Link> | 
|  | 150 | </ItemDefinitionGroup> | 
|  | 151 | <ItemGroup> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 152 | <ClInclude Include="..\..\include\mbedtls\aes.h" /> | 
|  | 153 | <ClInclude Include="..\..\include\mbedtls\aesni.h" /> | 
|  | 154 | <ClInclude Include="..\..\include\mbedtls\arc4.h" /> | 
| Manuel Pégourié-Gonnard | 707e962 | 2018-05-09 10:57:04 +0200 | [diff] [blame] | 155 | <ClInclude Include="..\..\include\mbedtls\aria.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 156 | <ClInclude Include="..\..\include\mbedtls\asn1.h" /> | 
|  | 157 | <ClInclude Include="..\..\include\mbedtls\asn1write.h" /> | 
|  | 158 | <ClInclude Include="..\..\include\mbedtls\base64.h" /> | 
|  | 159 | <ClInclude Include="..\..\include\mbedtls\bignum.h" /> | 
|  | 160 | <ClInclude Include="..\..\include\mbedtls\blowfish.h" /> | 
|  | 161 | <ClInclude Include="..\..\include\mbedtls\bn_mul.h" /> | 
|  | 162 | <ClInclude Include="..\..\include\mbedtls\camellia.h" /> | 
|  | 163 | <ClInclude Include="..\..\include\mbedtls\ccm.h" /> | 
|  | 164 | <ClInclude Include="..\..\include\mbedtls\certs.h" /> | 
| Manuel Pégourié-Gonnard | f30dbdc | 2018-06-07 13:04:35 +0200 | [diff] [blame] | 165 | <ClInclude Include="..\..\include\mbedtls\chacha20.h" /> | 
|  | 166 | <ClInclude Include="..\..\include\mbedtls\chachapoly.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 167 | <ClInclude Include="..\..\include\mbedtls\check_config.h" /> | 
|  | 168 | <ClInclude Include="..\..\include\mbedtls\cipher.h" /> | 
| Manuel Pégourié-Gonnard | f7c42d8 | 2015-06-25 11:29:35 +0200 | [diff] [blame] | 169 | <ClInclude Include="..\..\include\mbedtls\cipher_internal.h" /> | 
| Simon Butcher | 16c54ee | 2016-10-16 19:34:39 +0100 | [diff] [blame] | 170 | <ClInclude Include="..\..\include\mbedtls\cmac.h" /> | 
| Manuel Pégourié-Gonnard | 51f14be | 2015-05-14 13:04:03 +0200 | [diff] [blame] | 171 | <ClInclude Include="..\..\include\mbedtls\compat-1.3.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 172 | <ClInclude Include="..\..\include\mbedtls\config.h" /> | 
|  | 173 | <ClInclude Include="..\..\include\mbedtls\ctr_drbg.h" /> | 
|  | 174 | <ClInclude Include="..\..\include\mbedtls\debug.h" /> | 
|  | 175 | <ClInclude Include="..\..\include\mbedtls\des.h" /> | 
|  | 176 | <ClInclude Include="..\..\include\mbedtls\dhm.h" /> | 
|  | 177 | <ClInclude Include="..\..\include\mbedtls\ecdh.h" /> | 
|  | 178 | <ClInclude Include="..\..\include\mbedtls\ecdsa.h" /> | 
| Simon Butcher | 8254ed2 | 2015-11-04 11:04:00 +0000 | [diff] [blame] | 179 | <ClInclude Include="..\..\include\mbedtls\ecjpake.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 180 | <ClInclude Include="..\..\include\mbedtls\ecp.h" /> | 
| Simon Butcher | fea2078 | 2017-05-15 15:11:12 +0100 | [diff] [blame] | 181 | <ClInclude Include="..\..\include\mbedtls\ecp_internal.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 182 | <ClInclude Include="..\..\include\mbedtls\entropy.h" /> | 
|  | 183 | <ClInclude Include="..\..\include\mbedtls\entropy_poll.h" /> | 
|  | 184 | <ClInclude Include="..\..\include\mbedtls\error.h" /> | 
|  | 185 | <ClInclude Include="..\..\include\mbedtls\gcm.h" /> | 
|  | 186 | <ClInclude Include="..\..\include\mbedtls\havege.h" /> | 
| Thomas Fossati | 656864b | 2016-07-17 08:51:22 +0100 | [diff] [blame] | 187 | <ClInclude Include="..\..\include\mbedtls\hkdf.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 188 | <ClInclude Include="..\..\include\mbedtls\hmac_drbg.h" /> | 
|  | 189 | <ClInclude Include="..\..\include\mbedtls\md.h" /> | 
|  | 190 | <ClInclude Include="..\..\include\mbedtls\md2.h" /> | 
|  | 191 | <ClInclude Include="..\..\include\mbedtls\md4.h" /> | 
|  | 192 | <ClInclude Include="..\..\include\mbedtls\md5.h" /> | 
| Manuel Pégourié-Gonnard | f7c42d8 | 2015-06-25 11:29:35 +0200 | [diff] [blame] | 193 | <ClInclude Include="..\..\include\mbedtls\md_internal.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 194 | <ClInclude Include="..\..\include\mbedtls\memory_buffer_alloc.h" /> | 
| Simon Butcher | 16c54ee | 2016-10-16 19:34:39 +0100 | [diff] [blame] | 195 | <ClInclude Include="..\..\include\mbedtls\net.h" /> | 
| Andres AG | 788aa4a | 2016-09-14 14:32:09 +0100 | [diff] [blame] | 196 | <ClInclude Include="..\..\include\mbedtls\net_sockets.h" /> | 
| Ron Eldor | cb349ac | 2018-07-15 09:29:47 +0300 | [diff] [blame] | 197 | <ClInclude Include="..\..\include\mbedtls\nist_kw.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 198 | <ClInclude Include="..\..\include\mbedtls\oid.h" /> | 
|  | 199 | <ClInclude Include="..\..\include\mbedtls\padlock.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 200 | <ClInclude Include="..\..\include\mbedtls\pem.h" /> | 
|  | 201 | <ClInclude Include="..\..\include\mbedtls\pk.h" /> | 
| Manuel Pégourié-Gonnard | f7c42d8 | 2015-06-25 11:29:35 +0200 | [diff] [blame] | 202 | <ClInclude Include="..\..\include\mbedtls\pk_internal.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 203 | <ClInclude Include="..\..\include\mbedtls\pkcs11.h" /> | 
|  | 204 | <ClInclude Include="..\..\include\mbedtls\pkcs12.h" /> | 
|  | 205 | <ClInclude Include="..\..\include\mbedtls\pkcs5.h" /> | 
|  | 206 | <ClInclude Include="..\..\include\mbedtls\platform.h" /> | 
| Simon Butcher | 16c54ee | 2016-10-16 19:34:39 +0100 | [diff] [blame] | 207 | <ClInclude Include="..\..\include\mbedtls\platform_time.h" /> | 
| Andres Amaya Garcia | 9644983 | 2018-04-17 10:03:44 -0500 | [diff] [blame] | 208 | <ClInclude Include="..\..\include\mbedtls\platform_util.h" /> | 
| Manuel Pégourié-Gonnard | f30dbdc | 2018-06-07 13:04:35 +0200 | [diff] [blame] | 209 | <ClInclude Include="..\..\include\mbedtls\poly1305.h" /> | 
| Hanno Becker | 7703042 | 2018-11-18 07:16:46 +0000 | [diff] [blame] | 210 | <ClInclude Include="..\..\include\mbedtls\psa_util.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 211 | <ClInclude Include="..\..\include\mbedtls\ripemd160.h" /> | 
|  | 212 | <ClInclude Include="..\..\include\mbedtls\rsa.h" /> | 
| Hanno Becker | adb0b2e | 2018-01-10 10:35:11 +0000 | [diff] [blame] | 213 | <ClInclude Include="..\..\include\mbedtls\rsa_internal.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 214 | <ClInclude Include="..\..\include\mbedtls\sha1.h" /> | 
|  | 215 | <ClInclude Include="..\..\include\mbedtls\sha256.h" /> | 
|  | 216 | <ClInclude Include="..\..\include\mbedtls\sha512.h" /> | 
|  | 217 | <ClInclude Include="..\..\include\mbedtls\ssl.h" /> | 
|  | 218 | <ClInclude Include="..\..\include\mbedtls\ssl_cache.h" /> | 
|  | 219 | <ClInclude Include="..\..\include\mbedtls\ssl_ciphersuites.h" /> | 
|  | 220 | <ClInclude Include="..\..\include\mbedtls\ssl_cookie.h" /> | 
| Manuel Pégourié-Gonnard | f7c42d8 | 2015-06-25 11:29:35 +0200 | [diff] [blame] | 221 | <ClInclude Include="..\..\include\mbedtls\ssl_internal.h" /> | 
|  | 222 | <ClInclude Include="..\..\include\mbedtls\ssl_ticket.h" /> | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 223 | <ClInclude Include="..\..\include\mbedtls\threading.h" /> | 
|  | 224 | <ClInclude Include="..\..\include\mbedtls\timing.h" /> | 
|  | 225 | <ClInclude Include="..\..\include\mbedtls\version.h" /> | 
|  | 226 | <ClInclude Include="..\..\include\mbedtls\x509.h" /> | 
|  | 227 | <ClInclude Include="..\..\include\mbedtls\x509_crl.h" /> | 
|  | 228 | <ClInclude Include="..\..\include\mbedtls\x509_crt.h" /> | 
|  | 229 | <ClInclude Include="..\..\include\mbedtls\x509_csr.h" /> | 
|  | 230 | <ClInclude Include="..\..\include\mbedtls\xtea.h" /> | 
| Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 231 | <ClInclude Include="..\..\include\psa\crypto.h" /> | 
| Gilles Peskine | 7597689 | 2018-12-12 15:55:09 +0100 | [diff] [blame] | 232 | <ClInclude Include="..\..\include\psa\crypto_accel_driver.h" /> | 
| Gilles Peskine | 7a894f2 | 2019-11-26 16:06:46 +0100 | [diff] [blame] | 233 | <ClInclude Include="..\..\include\psa\crypto_compat.h" /> | 
| Gilles Peskine | 7597689 | 2018-12-12 15:55:09 +0100 | [diff] [blame] | 234 | <ClInclude Include="..\..\include\psa\crypto_driver_common.h" /> | 
|  | 235 | <ClInclude Include="..\..\include\psa\crypto_entropy_driver.h" /> | 
| Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 236 | <ClInclude Include="..\..\include\psa\crypto_extra.h" /> | 
| Darryl Green | 1692363 | 2018-07-20 13:29:25 +0100 | [diff] [blame] | 237 | <ClInclude Include="..\..\include\psa\crypto_platform.h" /> | 
| Gilles Peskine | 7597689 | 2018-12-12 15:55:09 +0100 | [diff] [blame] | 238 | <ClInclude Include="..\..\include\psa\crypto_se_driver.h" /> | 
| Darryl Green | 1692363 | 2018-07-20 13:29:25 +0100 | [diff] [blame] | 239 | <ClInclude Include="..\..\include\psa\crypto_sizes.h" /> | 
|  | 240 | <ClInclude Include="..\..\include\psa\crypto_struct.h" /> | 
| Gilles Peskine | f3b731e | 2018-12-12 13:38:31 +0100 | [diff] [blame] | 241 | <ClInclude Include="..\..\include\psa\crypto_types.h" /> | 
|  | 242 | <ClInclude Include="..\..\include\psa\crypto_values.h" /> | 
| Gilles Peskine | b41f88f | 2020-02-12 20:45:18 +0100 | [diff] [blame] | 243 | <ClInclude Include="..\..\library\psa_crypto_core.h" /> | 
|  | 244 | <ClInclude Include="..\..\library\psa_crypto_invasive.h" /> | 
|  | 245 | <ClInclude Include="..\..\library\psa_crypto_its.h" /> | 
|  | 246 | <ClInclude Include="..\..\library\psa_crypto_se.h" /> | 
|  | 247 | <ClInclude Include="..\..\library\psa_crypto_service_integration.h" /> | 
|  | 248 | <ClInclude Include="..\..\library\psa_crypto_slot_management.h" /> | 
|  | 249 | <ClInclude Include="..\..\library\psa_crypto_storage.h" /> | 
| Christoph M. Wintersteiger | 48d26c2 | 2018-12-06 18:59:19 +0000 | [diff] [blame] | 250 | <ClInclude Include="..\..\3rdparty\everest\include\everest\everest.h" /> | 
|  | 251 | <ClInclude Include="..\..\3rdparty\everest\include\everest\Hacl_Curve25519.h" /> | 
|  | 252 | <ClInclude Include="..\..\3rdparty\everest\include\everest\kremlib.h" /> | 
|  | 253 | <ClInclude Include="..\..\3rdparty\everest\include\everest\x25519.h" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 254 | </ItemGroup> | 
|  | 255 | <ItemGroup> | 
|  | 256 | <ClCompile Include="..\..\library\aes.c" /> | 
|  | 257 | <ClCompile Include="..\..\library\aesni.c" /> | 
|  | 258 | <ClCompile Include="..\..\library\arc4.c" /> | 
| Manuel Pégourié-Gonnard | 707e962 | 2018-05-09 10:57:04 +0200 | [diff] [blame] | 259 | <ClCompile Include="..\..\library\aria.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 260 | <ClCompile Include="..\..\library\asn1parse.c" /> | 
|  | 261 | <ClCompile Include="..\..\library\asn1write.c" /> | 
|  | 262 | <ClCompile Include="..\..\library\base64.c" /> | 
|  | 263 | <ClCompile Include="..\..\library\bignum.c" /> | 
|  | 264 | <ClCompile Include="..\..\library\blowfish.c" /> | 
|  | 265 | <ClCompile Include="..\..\library\camellia.c" /> | 
|  | 266 | <ClCompile Include="..\..\library\ccm.c" /> | 
|  | 267 | <ClCompile Include="..\..\library\certs.c" /> | 
| Manuel Pégourié-Gonnard | f30dbdc | 2018-06-07 13:04:35 +0200 | [diff] [blame] | 268 | <ClCompile Include="..\..\library\chacha20.c" /> | 
|  | 269 | <ClCompile Include="..\..\library\chachapoly.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 270 | <ClCompile Include="..\..\library\cipher.c" /> | 
|  | 271 | <ClCompile Include="..\..\library\cipher_wrap.c" /> | 
| Simon Butcher | 16c54ee | 2016-10-16 19:34:39 +0100 | [diff] [blame] | 272 | <ClCompile Include="..\..\library\cmac.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 273 | <ClCompile Include="..\..\library\ctr_drbg.c" /> | 
|  | 274 | <ClCompile Include="..\..\library\debug.c" /> | 
|  | 275 | <ClCompile Include="..\..\library\des.c" /> | 
|  | 276 | <ClCompile Include="..\..\library\dhm.c" /> | 
|  | 277 | <ClCompile Include="..\..\library\ecdh.c" /> | 
|  | 278 | <ClCompile Include="..\..\library\ecdsa.c" /> | 
| Simon Butcher | 8254ed2 | 2015-11-04 11:04:00 +0000 | [diff] [blame] | 279 | <ClCompile Include="..\..\library\ecjpake.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 280 | <ClCompile Include="..\..\library\ecp.c" /> | 
|  | 281 | <ClCompile Include="..\..\library\ecp_curves.c" /> | 
|  | 282 | <ClCompile Include="..\..\library\entropy.c" /> | 
|  | 283 | <ClCompile Include="..\..\library\entropy_poll.c" /> | 
|  | 284 | <ClCompile Include="..\..\library\error.c" /> | 
|  | 285 | <ClCompile Include="..\..\library\gcm.c" /> | 
|  | 286 | <ClCompile Include="..\..\library\havege.c" /> | 
| Thomas Fossati | 656864b | 2016-07-17 08:51:22 +0100 | [diff] [blame] | 287 | <ClCompile Include="..\..\library\hkdf.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 288 | <ClCompile Include="..\..\library\hmac_drbg.c" /> | 
|  | 289 | <ClCompile Include="..\..\library\md.c" /> | 
|  | 290 | <ClCompile Include="..\..\library\md2.c" /> | 
|  | 291 | <ClCompile Include="..\..\library\md4.c" /> | 
|  | 292 | <ClCompile Include="..\..\library\md5.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 293 | <ClCompile Include="..\..\library\memory_buffer_alloc.c" /> | 
| Andres AG | 788aa4a | 2016-09-14 14:32:09 +0100 | [diff] [blame] | 294 | <ClCompile Include="..\..\library\net_sockets.c" /> | 
| Ron Eldor | cb349ac | 2018-07-15 09:29:47 +0300 | [diff] [blame] | 295 | <ClCompile Include="..\..\library\nist_kw.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 296 | <ClCompile Include="..\..\library\oid.c" /> | 
|  | 297 | <ClCompile Include="..\..\library\padlock.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 298 | <ClCompile Include="..\..\library\pem.c" /> | 
|  | 299 | <ClCompile Include="..\..\library\pk.c" /> | 
|  | 300 | <ClCompile Include="..\..\library\pk_wrap.c" /> | 
|  | 301 | <ClCompile Include="..\..\library\pkcs11.c" /> | 
|  | 302 | <ClCompile Include="..\..\library\pkcs12.c" /> | 
|  | 303 | <ClCompile Include="..\..\library\pkcs5.c" /> | 
|  | 304 | <ClCompile Include="..\..\library\pkparse.c" /> | 
|  | 305 | <ClCompile Include="..\..\library\pkwrite.c" /> | 
|  | 306 | <ClCompile Include="..\..\library\platform.c" /> | 
| Andres Amaya Garcia | 9644983 | 2018-04-17 10:03:44 -0500 | [diff] [blame] | 307 | <ClCompile Include="..\..\library\platform_util.c" /> | 
| Manuel Pégourié-Gonnard | f30dbdc | 2018-06-07 13:04:35 +0200 | [diff] [blame] | 308 | <ClCompile Include="..\..\library\poly1305.c" /> | 
| Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 309 | <ClCompile Include="..\..\library\psa_crypto.c" /> | 
| Gilles Peskine | a899a72 | 2019-06-24 14:06:43 +0200 | [diff] [blame] | 310 | <ClCompile Include="..\..\library\psa_crypto_se.c" /> | 
| Gilles Peskine | 961849f | 2018-11-30 18:54:54 +0100 | [diff] [blame] | 311 | <ClCompile Include="..\..\library\psa_crypto_slot_management.c" /> | 
| Darryl Green | db2b8db | 2018-06-15 13:06:04 +0100 | [diff] [blame] | 312 | <ClCompile Include="..\..\library\psa_crypto_storage.c" /> | 
| Gilles Peskine | 6194dc2 | 2018-11-16 22:24:15 +0100 | [diff] [blame] | 313 | <ClCompile Include="..\..\library\psa_its_file.c" /> | 
| Darryl Green | 1692363 | 2018-07-20 13:29:25 +0100 | [diff] [blame] | 314 | <ClCompile Include="..\..\library\ripemd160.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 315 | <ClCompile Include="..\..\library\rsa.c" /> | 
| Hanno Becker | adb0b2e | 2018-01-10 10:35:11 +0000 | [diff] [blame] | 316 | <ClCompile Include="..\..\library\rsa_internal.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 317 | <ClCompile Include="..\..\library\sha1.c" /> | 
|  | 318 | <ClCompile Include="..\..\library\sha256.c" /> | 
|  | 319 | <ClCompile Include="..\..\library\sha512.c" /> | 
|  | 320 | <ClCompile Include="..\..\library\ssl_cache.c" /> | 
|  | 321 | <ClCompile Include="..\..\library\ssl_ciphersuites.c" /> | 
|  | 322 | <ClCompile Include="..\..\library\ssl_cli.c" /> | 
|  | 323 | <ClCompile Include="..\..\library\ssl_cookie.c" /> | 
| Hanno Becker | abd9cef | 2020-02-05 11:30:37 +0000 | [diff] [blame] | 324 | <ClCompile Include="..\..\library\ssl_msg.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 325 | <ClCompile Include="..\..\library\ssl_srv.c" /> | 
| Manuel Pégourié-Gonnard | f7c42d8 | 2015-06-25 11:29:35 +0200 | [diff] [blame] | 326 | <ClCompile Include="..\..\library\ssl_ticket.c" /> | 
| Hanno Becker | 471c0c9 | 2020-02-05 11:32:03 +0000 | [diff] [blame] | 327 | <ClCompile Include="..\..\library\ssl_tls.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 328 | <ClCompile Include="..\..\library\threading.c" /> | 
|  | 329 | <ClCompile Include="..\..\library\timing.c" /> | 
|  | 330 | <ClCompile Include="..\..\library\version.c" /> | 
|  | 331 | <ClCompile Include="..\..\library\version_features.c" /> | 
|  | 332 | <ClCompile Include="..\..\library\x509.c" /> | 
|  | 333 | <ClCompile Include="..\..\library\x509_create.c" /> | 
|  | 334 | <ClCompile Include="..\..\library\x509_crl.c" /> | 
|  | 335 | <ClCompile Include="..\..\library\x509_crt.c" /> | 
|  | 336 | <ClCompile Include="..\..\library\x509_csr.c" /> | 
|  | 337 | <ClCompile Include="..\..\library\x509write_crt.c" /> | 
|  | 338 | <ClCompile Include="..\..\library\x509write_csr.c" /> | 
|  | 339 | <ClCompile Include="..\..\library\xtea.c" /> | 
| Christoph M. Wintersteiger | 48d26c2 | 2018-12-06 18:59:19 +0000 | [diff] [blame] | 340 | <ClCompile Include="..\..\3rdparty\everest\library\everest.c" /> | 
| Christoph M. Wintersteiger | f8d4c88 | 2019-04-12 18:01:08 +0100 | [diff] [blame] | 341 | <ClCompile Include="..\..\3rdparty\everest\library\Hacl_Curve25519_joined.c" /> | 
| Christoph M. Wintersteiger | 48d26c2 | 2018-12-06 18:59:19 +0000 | [diff] [blame] | 342 | <ClCompile Include="..\..\3rdparty\everest\library\x25519.c" /> | 
| Christoph M. Wintersteiger | 48d26c2 | 2018-12-06 18:59:19 +0000 | [diff] [blame] | 343 | <ClCompile Include="..\..\3rdparty\everest\library\kremlib\FStar_UInt128_extracted.c" /> | 
|  | 344 | <ClCompile Include="..\..\3rdparty\everest\library\kremlib\FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c" /> | 
| Christoph M. Wintersteiger | 6ea2dea1 | 2019-01-21 17:26:19 +0000 | [diff] [blame] | 345 | <ClCompile Include="..\..\3rdparty\everest\library\legacy\Hacl_Curve25519.c" /> | 
| Manuel Pégourié-Gonnard | 2a0718d | 2015-01-29 11:29:12 +0000 | [diff] [blame] | 346 | </ItemGroup> | 
|  | 347 | <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" /> | 
|  | 348 | <ImportGroup Label="ExtensionTargets"> | 
|  | 349 | </ImportGroup> | 
|  | 350 | </Project> |