Debug Win32 Debug x64 Release Win32 Release x64 {46CF2D25-6A36-4189-B59C-E4815388E554} Win32Proj mbedTLS StaticLibrary true Unicode v141 StaticLibrary true Unicode v141 StaticLibrary false true Unicode v141 StaticLibrary false true Unicode v141 true $(Configuration)\$(TargetName)\ true $(Configuration)\$(TargetName)\ false $(Configuration)\$(TargetName)\ false $(Configuration)\$(TargetName)\ Level3 Disabled _USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions) ../../library;../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2013;../../3rdparty/everest/include/everest/kremlib;../../tests/include CompileAsC Windows true bcrypt.lib;%(AdditionalDependencies) Level3 Disabled _USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions) ../../library;../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2013;../../3rdparty/everest/include/everest/kremlib;../../tests/include CompileAsC Windows true bcrypt.lib;%(AdditionalDependencies) Level3 MaxSpeed true true NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions) ../../library;../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2013;../../3rdparty/everest/include/everest/kremlib;../../tests/include Windows true true true bcrypt.lib;%(AdditionalDependencies) Level3 MaxSpeed true true WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions) ../../library;../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2013;../../3rdparty/everest/include/everest/kremlib;../../tests/include Windows true true true