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>
24    <RootNamespace>mbedTLS</RootNamespace>
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>
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>
67    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
68  </PropertyGroup>
69  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
70    <LinkIncremental>true</LinkIncremental>
71    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
72  </PropertyGroup>
73  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
74    <LinkIncremental>false</LinkIncremental>
75    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
76  </PropertyGroup>
77  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
78    <LinkIncremental>false</LinkIncremental>
79    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
80  </PropertyGroup>
81  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
82    <ClCompile>
83      <WarningLevel>Level3</WarningLevel>
84      <Optimization>Disabled</Optimization>
85      <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
86      <AdditionalIncludeDirectories>
87../../library;../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib;../../tests/include      </AdditionalIncludeDirectories>
88      <CompileAs>CompileAsC</CompileAs>
89    </ClCompile>
90    <Link>
91      <SubSystem>Windows</SubSystem>
92      <GenerateDebugInformation>true</GenerateDebugInformation>
93    </Link>
94  </ItemDefinitionGroup>
95  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
96    <ClCompile>
97      <WarningLevel>Level3</WarningLevel>
98      <Optimization>Disabled</Optimization>
99      <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
100      <AdditionalIncludeDirectories>
101../../library;../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib;../../tests/include      </AdditionalIncludeDirectories>
102      <CompileAs>CompileAsC</CompileAs>
103    </ClCompile>
104    <Link>
105      <SubSystem>Windows</SubSystem>
106      <GenerateDebugInformation>true</GenerateDebugInformation>
107    </Link>
108  </ItemDefinitionGroup>
109  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
110    <ClCompile>
111      <WarningLevel>Level3</WarningLevel>
112      <Optimization>MaxSpeed</Optimization>
113      <FunctionLevelLinking>true</FunctionLevelLinking>
114      <IntrinsicFunctions>true</IntrinsicFunctions>
115      <PreprocessorDefinitions>NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
116      <AdditionalIncludeDirectories>
117../../library;../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib;../../tests/include      </AdditionalIncludeDirectories>
118    </ClCompile>
119    <Link>
120      <SubSystem>Windows</SubSystem>
121      <GenerateDebugInformation>true</GenerateDebugInformation>
122      <EnableCOMDATFolding>true</EnableCOMDATFolding>
123      <OptimizeReferences>true</OptimizeReferences>
124    </Link>
125  </ItemDefinitionGroup>
126  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
127    <ClCompile>
128      <WarningLevel>Level3</WarningLevel>
129      <Optimization>MaxSpeed</Optimization>
130      <FunctionLevelLinking>true</FunctionLevelLinking>
131      <IntrinsicFunctions>true</IntrinsicFunctions>
132      <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
133      <AdditionalIncludeDirectories>
134../../library;../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib;../../tests/include      </AdditionalIncludeDirectories>
135    </ClCompile>
136    <Link>
137      <SubSystem>Windows</SubSystem>
138      <GenerateDebugInformation>true</GenerateDebugInformation>
139      <EnableCOMDATFolding>true</EnableCOMDATFolding>
140      <OptimizeReferences>true</OptimizeReferences>
141    </Link>
142  </ItemDefinitionGroup>
143  <ItemGroup>
144    <ClInclude Include="..\..\include\mbedtls\aes.h" />
145    <ClInclude Include="..\..\include\mbedtls\aria.h" />
146    <ClInclude Include="..\..\include\mbedtls\asn1.h" />
147    <ClInclude Include="..\..\include\mbedtls\asn1write.h" />
148    <ClInclude Include="..\..\include\mbedtls\base64.h" />
149    <ClInclude Include="..\..\include\mbedtls\bignum.h" />
150    <ClInclude Include="..\..\include\mbedtls\build_info.h" />
151    <ClInclude Include="..\..\include\mbedtls\camellia.h" />
152    <ClInclude Include="..\..\include\mbedtls\ccm.h" />
153    <ClInclude Include="..\..\include\mbedtls\chacha20.h" />
154    <ClInclude Include="..\..\include\mbedtls\chachapoly.h" />
155    <ClInclude Include="..\..\include\mbedtls\check_config.h" />
156    <ClInclude Include="..\..\include\mbedtls\cipher.h" />
157    <ClInclude Include="..\..\include\mbedtls\cmac.h" />
158    <ClInclude Include="..\..\include\mbedtls\compat-2.x.h" />
159    <ClInclude Include="..\..\include\mbedtls\config_psa.h" />
160    <ClInclude Include="..\..\include\mbedtls\constant_time.h" />
161    <ClInclude Include="..\..\include\mbedtls\ctr_drbg.h" />
162    <ClInclude Include="..\..\include\mbedtls\debug.h" />
163    <ClInclude Include="..\..\include\mbedtls\des.h" />
164    <ClInclude Include="..\..\include\mbedtls\dhm.h" />
165    <ClInclude Include="..\..\include\mbedtls\ecdh.h" />
166    <ClInclude Include="..\..\include\mbedtls\ecdsa.h" />
167    <ClInclude Include="..\..\include\mbedtls\ecjpake.h" />
168    <ClInclude Include="..\..\include\mbedtls\ecp.h" />
169    <ClInclude Include="..\..\include\mbedtls\entropy.h" />
170    <ClInclude Include="..\..\include\mbedtls\error.h" />
171    <ClInclude Include="..\..\include\mbedtls\gcm.h" />
172    <ClInclude Include="..\..\include\mbedtls\hkdf.h" />
173    <ClInclude Include="..\..\include\mbedtls\hmac_drbg.h" />
174    <ClInclude Include="..\..\include\mbedtls\legacy_or_psa.h" />
175    <ClInclude Include="..\..\include\mbedtls\lms.h" />
176    <ClInclude Include="..\..\include\mbedtls\mbedtls_config.h" />
177    <ClInclude Include="..\..\include\mbedtls\md.h" />
178    <ClInclude Include="..\..\include\mbedtls\md5.h" />
179    <ClInclude Include="..\..\include\mbedtls\memory_buffer_alloc.h" />
180    <ClInclude Include="..\..\include\mbedtls\net_sockets.h" />
181    <ClInclude Include="..\..\include\mbedtls\nist_kw.h" />
182    <ClInclude Include="..\..\include\mbedtls\oid.h" />
183    <ClInclude Include="..\..\include\mbedtls\pem.h" />
184    <ClInclude Include="..\..\include\mbedtls\pk.h" />
185    <ClInclude Include="..\..\include\mbedtls\pkcs12.h" />
186    <ClInclude Include="..\..\include\mbedtls\pkcs5.h" />
187    <ClInclude Include="..\..\include\mbedtls\pkcs7.h" />
188    <ClInclude Include="..\..\include\mbedtls\platform.h" />
189    <ClInclude Include="..\..\include\mbedtls\platform_time.h" />
190    <ClInclude Include="..\..\include\mbedtls\platform_util.h" />
191    <ClInclude Include="..\..\include\mbedtls\poly1305.h" />
192    <ClInclude Include="..\..\include\mbedtls\private_access.h" />
193    <ClInclude Include="..\..\include\mbedtls\psa_util.h" />
194    <ClInclude Include="..\..\include\mbedtls\ripemd160.h" />
195    <ClInclude Include="..\..\include\mbedtls\rsa.h" />
196    <ClInclude Include="..\..\include\mbedtls\sha1.h" />
197    <ClInclude Include="..\..\include\mbedtls\sha256.h" />
198    <ClInclude Include="..\..\include\mbedtls\sha512.h" />
199    <ClInclude Include="..\..\include\mbedtls\ssl.h" />
200    <ClInclude Include="..\..\include\mbedtls\ssl_cache.h" />
201    <ClInclude Include="..\..\include\mbedtls\ssl_ciphersuites.h" />
202    <ClInclude Include="..\..\include\mbedtls\ssl_cookie.h" />
203    <ClInclude Include="..\..\include\mbedtls\ssl_ticket.h" />
204    <ClInclude Include="..\..\include\mbedtls\threading.h" />
205    <ClInclude Include="..\..\include\mbedtls\timing.h" />
206    <ClInclude Include="..\..\include\mbedtls\version.h" />
207    <ClInclude Include="..\..\include\mbedtls\x509.h" />
208    <ClInclude Include="..\..\include\mbedtls\x509_crl.h" />
209    <ClInclude Include="..\..\include\mbedtls\x509_crt.h" />
210    <ClInclude Include="..\..\include\mbedtls\x509_csr.h" />
211    <ClInclude Include="..\..\include\psa\crypto.h" />
212    <ClInclude Include="..\..\include\psa\crypto_builtin_composites.h" />
213    <ClInclude Include="..\..\include\psa\crypto_builtin_primitives.h" />
214    <ClInclude Include="..\..\include\psa\crypto_compat.h" />
215    <ClInclude Include="..\..\include\psa\crypto_config.h" />
216    <ClInclude Include="..\..\include\psa\crypto_driver_common.h" />
217    <ClInclude Include="..\..\include\psa\crypto_driver_contexts_composites.h" />
218    <ClInclude Include="..\..\include\psa\crypto_driver_contexts_primitives.h" />
219    <ClInclude Include="..\..\include\psa\crypto_extra.h" />
220    <ClInclude Include="..\..\include\psa\crypto_platform.h" />
221    <ClInclude Include="..\..\include\psa\crypto_se_driver.h" />
222    <ClInclude Include="..\..\include\psa\crypto_sizes.h" />
223    <ClInclude Include="..\..\include\psa\crypto_struct.h" />
224    <ClInclude Include="..\..\include\psa\crypto_types.h" />
225    <ClInclude Include="..\..\include\psa\crypto_values.h" />
226    <ClInclude Include="..\..\tests\include\test\asn1_helpers.h" />
227    <ClInclude Include="..\..\tests\include\test\certs.h" />
228    <ClInclude Include="..\..\tests\include\test\constant_flow.h" />
229    <ClInclude Include="..\..\tests\include\test\fake_external_rng_for_test.h" />
230    <ClInclude Include="..\..\tests\include\test\helpers.h" />
231    <ClInclude Include="..\..\tests\include\test\macros.h" />
232    <ClInclude Include="..\..\tests\include\test\psa_crypto_helpers.h" />
233    <ClInclude Include="..\..\tests\include\test\psa_exercise_key.h" />
234    <ClInclude Include="..\..\tests\include\test\psa_helpers.h" />
235    <ClInclude Include="..\..\tests\include\test\random.h" />
236    <ClInclude Include="..\..\tests\include\test\drivers\aead.h" />
237    <ClInclude Include="..\..\tests\include\test\drivers\asymmetric_encryption.h" />
238    <ClInclude Include="..\..\tests\include\test\drivers\cipher.h" />
239    <ClInclude Include="..\..\tests\include\test\drivers\config_test_driver.h" />
240    <ClInclude Include="..\..\tests\include\test\drivers\crypto_config_test_driver_extension.h" />
241    <ClInclude Include="..\..\tests\include\test\drivers\hash.h" />
242    <ClInclude Include="..\..\tests\include\test\drivers\key_agreement.h" />
243    <ClInclude Include="..\..\tests\include\test\drivers\key_management.h" />
244    <ClInclude Include="..\..\tests\include\test\drivers\mac.h" />
245    <ClInclude Include="..\..\tests\include\test\drivers\signature.h" />
246    <ClInclude Include="..\..\tests\include\test\drivers\test_driver.h" />
247    <ClInclude Include="..\..\library\aesni.h" />
248    <ClInclude Include="..\..\library\bignum_core.h" />
249    <ClInclude Include="..\..\library\bignum_mod.h" />
250    <ClInclude Include="..\..\library\bignum_mod_raw.h" />
251    <ClInclude Include="..\..\library\bn_mul.h" />
252    <ClInclude Include="..\..\library\check_crypto_config.h" />
253    <ClInclude Include="..\..\library\cipher_wrap.h" />
254    <ClInclude Include="..\..\library\common.h" />
255    <ClInclude Include="..\..\library\constant_time_internal.h" />
256    <ClInclude Include="..\..\library\constant_time_invasive.h" />
257    <ClInclude Include="..\..\library\ecp_internal_alt.h" />
258    <ClInclude Include="..\..\library\ecp_invasive.h" />
259    <ClInclude Include="..\..\library\entropy_poll.h" />
260    <ClInclude Include="..\..\library\hash_info.h" />
261    <ClInclude Include="..\..\library\lmots.h" />
262    <ClInclude Include="..\..\library\md_wrap.h" />
263    <ClInclude Include="..\..\library\mps_common.h" />
264    <ClInclude Include="..\..\library\mps_error.h" />
265    <ClInclude Include="..\..\library\mps_reader.h" />
266    <ClInclude Include="..\..\library\mps_trace.h" />
267    <ClInclude Include="..\..\library\padlock.h" />
268    <ClInclude Include="..\..\library\pk_wrap.h" />
269    <ClInclude Include="..\..\library\pkwrite.h" />
270    <ClInclude Include="..\..\library\psa_crypto_aead.h" />
271    <ClInclude Include="..\..\library\psa_crypto_cipher.h" />
272    <ClInclude Include="..\..\library\psa_crypto_core.h" />
273    <ClInclude Include="..\..\library\psa_crypto_driver_wrappers.h" />
274    <ClInclude Include="..\..\library\psa_crypto_ecp.h" />
275    <ClInclude Include="..\..\library\psa_crypto_hash.h" />
276    <ClInclude Include="..\..\library\psa_crypto_invasive.h" />
277    <ClInclude Include="..\..\library\psa_crypto_its.h" />
278    <ClInclude Include="..\..\library\psa_crypto_mac.h" />
279    <ClInclude Include="..\..\library\psa_crypto_random_impl.h" />
280    <ClInclude Include="..\..\library\psa_crypto_rsa.h" />
281    <ClInclude Include="..\..\library\psa_crypto_se.h" />
282    <ClInclude Include="..\..\library\psa_crypto_slot_management.h" />
283    <ClInclude Include="..\..\library\psa_crypto_storage.h" />
284    <ClInclude Include="..\..\library\rsa_alt_helpers.h" />
285    <ClInclude Include="..\..\library\ssl_client.h" />
286    <ClInclude Include="..\..\library\ssl_debug_helpers.h" />
287    <ClInclude Include="..\..\library\ssl_misc.h" />
288    <ClInclude Include="..\..\library\ssl_tls13_invasive.h" />
289    <ClInclude Include="..\..\library\ssl_tls13_keys.h" />
290    <ClInclude Include="..\..\3rdparty\everest\include\everest\everest.h" />
291    <ClInclude Include="..\..\3rdparty\everest\include\everest\Hacl_Curve25519.h" />
292    <ClInclude Include="..\..\3rdparty\everest\include\everest\kremlib.h" />
293    <ClInclude Include="..\..\3rdparty\everest\include\everest\x25519.h" />
294  </ItemGroup>
295  <ItemGroup>
296    <ClCompile Include="..\..\library\aes.c" />
297    <ClCompile Include="..\..\library\aesni.c" />
298    <ClCompile Include="..\..\library\aria.c" />
299    <ClCompile Include="..\..\library\asn1parse.c" />
300    <ClCompile Include="..\..\library\asn1write.c" />
301    <ClCompile Include="..\..\library\base64.c" />
302    <ClCompile Include="..\..\library\bignum.c" />
303    <ClCompile Include="..\..\library\bignum_core.c" />
304    <ClCompile Include="..\..\library\bignum_mod.c" />
305    <ClCompile Include="..\..\library\bignum_mod_raw.c" />
306    <ClCompile Include="..\..\library\camellia.c" />
307    <ClCompile Include="..\..\library\ccm.c" />
308    <ClCompile Include="..\..\library\chacha20.c" />
309    <ClCompile Include="..\..\library\chachapoly.c" />
310    <ClCompile Include="..\..\library\cipher.c" />
311    <ClCompile Include="..\..\library\cipher_wrap.c" />
312    <ClCompile Include="..\..\library\cmac.c" />
313    <ClCompile Include="..\..\library\constant_time.c" />
314    <ClCompile Include="..\..\library\ctr_drbg.c" />
315    <ClCompile Include="..\..\library\debug.c" />
316    <ClCompile Include="..\..\library\des.c" />
317    <ClCompile Include="..\..\library\dhm.c" />
318    <ClCompile Include="..\..\library\ecdh.c" />
319    <ClCompile Include="..\..\library\ecdsa.c" />
320    <ClCompile Include="..\..\library\ecjpake.c" />
321    <ClCompile Include="..\..\library\ecp.c" />
322    <ClCompile Include="..\..\library\ecp_curves.c" />
323    <ClCompile Include="..\..\library\entropy.c" />
324    <ClCompile Include="..\..\library\entropy_poll.c" />
325    <ClCompile Include="..\..\library\error.c" />
326    <ClCompile Include="..\..\library\gcm.c" />
327    <ClCompile Include="..\..\library\hash_info.c" />
328    <ClCompile Include="..\..\library\hkdf.c" />
329    <ClCompile Include="..\..\library\hmac_drbg.c" />
330    <ClCompile Include="..\..\library\lmots.c" />
331    <ClCompile Include="..\..\library\lms.c" />
332    <ClCompile Include="..\..\library\md.c" />
333    <ClCompile Include="..\..\library\md5.c" />
334    <ClCompile Include="..\..\library\memory_buffer_alloc.c" />
335    <ClCompile Include="..\..\library\mps_reader.c" />
336    <ClCompile Include="..\..\library\mps_trace.c" />
337    <ClCompile Include="..\..\library\net_sockets.c" />
338    <ClCompile Include="..\..\library\nist_kw.c" />
339    <ClCompile Include="..\..\library\oid.c" />
340    <ClCompile Include="..\..\library\padlock.c" />
341    <ClCompile Include="..\..\library\pem.c" />
342    <ClCompile Include="..\..\library\pk.c" />
343    <ClCompile Include="..\..\library\pk_wrap.c" />
344    <ClCompile Include="..\..\library\pkcs12.c" />
345    <ClCompile Include="..\..\library\pkcs5.c" />
346    <ClCompile Include="..\..\library\pkcs7.c" />
347    <ClCompile Include="..\..\library\pkparse.c" />
348    <ClCompile Include="..\..\library\pkwrite.c" />
349    <ClCompile Include="..\..\library\platform.c" />
350    <ClCompile Include="..\..\library\platform_util.c" />
351    <ClCompile Include="..\..\library\poly1305.c" />
352    <ClCompile Include="..\..\library\psa_crypto.c" />
353    <ClCompile Include="..\..\library\psa_crypto_aead.c" />
354    <ClCompile Include="..\..\library\psa_crypto_cipher.c" />
355    <ClCompile Include="..\..\library\psa_crypto_client.c" />
356    <ClCompile Include="..\..\library\psa_crypto_driver_wrappers.c" />
357    <ClCompile Include="..\..\library\psa_crypto_ecp.c" />
358    <ClCompile Include="..\..\library\psa_crypto_hash.c" />
359    <ClCompile Include="..\..\library\psa_crypto_mac.c" />
360    <ClCompile Include="..\..\library\psa_crypto_pake.c" />
361    <ClCompile Include="..\..\library\psa_crypto_rsa.c" />
362    <ClCompile Include="..\..\library\psa_crypto_se.c" />
363    <ClCompile Include="..\..\library\psa_crypto_slot_management.c" />
364    <ClCompile Include="..\..\library\psa_crypto_storage.c" />
365    <ClCompile Include="..\..\library\psa_its_file.c" />
366    <ClCompile Include="..\..\library\ripemd160.c" />
367    <ClCompile Include="..\..\library\rsa.c" />
368    <ClCompile Include="..\..\library\rsa_alt_helpers.c" />
369    <ClCompile Include="..\..\library\sha1.c" />
370    <ClCompile Include="..\..\library\sha256.c" />
371    <ClCompile Include="..\..\library\sha512.c" />
372    <ClCompile Include="..\..\library\ssl_cache.c" />
373    <ClCompile Include="..\..\library\ssl_ciphersuites.c" />
374    <ClCompile Include="..\..\library\ssl_client.c" />
375    <ClCompile Include="..\..\library\ssl_cookie.c" />
376    <ClCompile Include="..\..\library\ssl_debug_helpers_generated.c" />
377    <ClCompile Include="..\..\library\ssl_msg.c" />
378    <ClCompile Include="..\..\library\ssl_ticket.c" />
379    <ClCompile Include="..\..\library\ssl_tls.c" />
380    <ClCompile Include="..\..\library\ssl_tls12_client.c" />
381    <ClCompile Include="..\..\library\ssl_tls12_server.c" />
382    <ClCompile Include="..\..\library\ssl_tls13_client.c" />
383    <ClCompile Include="..\..\library\ssl_tls13_generic.c" />
384    <ClCompile Include="..\..\library\ssl_tls13_keys.c" />
385    <ClCompile Include="..\..\library\ssl_tls13_server.c" />
386    <ClCompile Include="..\..\library\threading.c" />
387    <ClCompile Include="..\..\library\timing.c" />
388    <ClCompile Include="..\..\library\version.c" />
389    <ClCompile Include="..\..\library\version_features.c" />
390    <ClCompile Include="..\..\library\x509.c" />
391    <ClCompile Include="..\..\library\x509_create.c" />
392    <ClCompile Include="..\..\library\x509_crl.c" />
393    <ClCompile Include="..\..\library\x509_crt.c" />
394    <ClCompile Include="..\..\library\x509_csr.c" />
395    <ClCompile Include="..\..\library\x509write_crt.c" />
396    <ClCompile Include="..\..\library\x509write_csr.c" />
397    <ClCompile Include="..\..\tests\src\asn1_helpers.c" />
398    <ClCompile Include="..\..\tests\src\certs.c" />
399    <ClCompile Include="..\..\tests\src\fake_external_rng_for_test.c" />
400    <ClCompile Include="..\..\tests\src\helpers.c" />
401    <ClCompile Include="..\..\tests\src\psa_crypto_helpers.c" />
402    <ClCompile Include="..\..\tests\src\psa_exercise_key.c" />
403    <ClCompile Include="..\..\tests\src\random.c" />
404    <ClCompile Include="..\..\tests\src\threading_helpers.c" />
405    <ClCompile Include="..\..\tests\src\drivers\hash.c" />
406    <ClCompile Include="..\..\tests\src\drivers\platform_builtin_keys.c" />
407    <ClCompile Include="..\..\tests\src\drivers\test_driver_aead.c" />
408    <ClCompile Include="..\..\tests\src\drivers\test_driver_asymmetric_encryption.c" />
409    <ClCompile Include="..\..\tests\src\drivers\test_driver_cipher.c" />
410    <ClCompile Include="..\..\tests\src\drivers\test_driver_key_agreement.c" />
411    <ClCompile Include="..\..\tests\src\drivers\test_driver_key_management.c" />
412    <ClCompile Include="..\..\tests\src\drivers\test_driver_mac.c" />
413    <ClCompile Include="..\..\tests\src\drivers\test_driver_signature.c" />
414    <ClCompile Include="..\..\3rdparty\everest\library\everest.c" />
415    <ClCompile Include="..\..\3rdparty\everest\library\Hacl_Curve25519_joined.c" />
416    <ClCompile Include="..\..\3rdparty\everest\library\x25519.c" />
417    <ClCompile Include="..\..\3rdparty\everest\library\kremlib\FStar_UInt128_extracted.c" />
418    <ClCompile Include="..\..\3rdparty\everest\library\kremlib\FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c" />
419    <ClCompile Include="..\..\3rdparty\everest\library\legacy\Hacl_Curve25519.c" />
420  </ItemGroup>
421  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
422  <ImportGroup Label="ExtensionTargets">
423  </ImportGroup>
424</Project>
425