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