diff --git a/Microsoft.Z3/Microsoft.Z3.csproj b/Microsoft.Z3/Microsoft.Z3.csproj
index 2b82ee89f..9ca28df75 100644
--- a/Microsoft.Z3/Microsoft.Z3.csproj
+++ b/Microsoft.Z3/Microsoft.Z3.csproj
@@ -207,75 +207,6 @@
;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
true
-
- ..\x64\external_64\
- true
- ..\x64\external_64\Microsoft.Z3.xml
- true
- pdbonly
- AnyCPU
- bin\Release\Microsoft.Z3.dll.CodeAnalysisLog.xml
- true
- GlobalSuppressions.cs
- prompt
- MinimumRecommendedRules.ruleset
- ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
- true
- ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
- true
- false
-
-
- ..\x64\external_64\
- true
- ..\x64\external_64\Microsoft.Z3.xml
- true
- pdbonly
- x64
- bin\Release\Microsoft.Z3.dll.CodeAnalysisLog.xml
- true
- GlobalSuppressions.cs
- prompt
- MinimumRecommendedRules.ruleset
- ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
- true
- ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
- true
- false
- True
- False
- True
- False
- False
- False
- False
- False
- False
- False
- False
- False
- False
- False
- False
- False
- True
- False
- False
- True
- False
- False
- False
-
-
-
-
-
-
- False
- Full
- %28none%29
- 0
-
true
diff --git a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
index bdf4c5229..ac99eef86 100644
--- a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
+++ b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
@@ -1,14 +1,6 @@
-
+
-
- bench
- Win32
-
-
- bench
- x64
-
commercial
Win32
@@ -17,14 +9,6 @@
commercial
x64
-
- debug_opt
- Win32
-
-
- debug_opt
- x64
-
Debug
Win32
@@ -33,38 +17,6 @@
Debug
x64
-
- external_64
- Win32
-
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -73,54 +25,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
- x64
-
-
- Release_delaysign
- Win32
-
-
- Release_delaysign
- x64
-
release_mt
Win32
@@ -129,14 +33,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -145,14 +41,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
Trace
Win32
@@ -169,76 +57,6 @@
Microsoft.Z3V3
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
DynamicLibrary
Unicode
@@ -257,18 +75,6 @@
true
true
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
DynamicLibrary
Unicode
@@ -286,69 +92,6 @@
Unicode
true
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- Application
-
-
- DynamicLibrary
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- Application
-
DynamicLibrary
Unicode
@@ -364,18 +107,6 @@
Application
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
DynamicLibrary
Unicode
@@ -396,42 +127,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -441,12 +136,6 @@
-
-
-
-
-
-
@@ -456,42 +145,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -501,12 +154,6 @@
-
-
-
-
-
-
@@ -537,18 +184,6 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
@@ -566,114 +201,13 @@
$(Platform)\$(Configuration)\
false
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -686,66 +220,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -894,106 +380,6 @@
sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
- Disabled
- false
- D:\tvm\src\zofty\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;Z3DEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- /LTCG %(AdditionalOptions)
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- Disabled
- false
- D:\tvm\src\zofty\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- /LTCG %(AdditionalOptions)
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
false
@@ -1116,535 +502,6 @@
sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- Disabled
- WIN32;_DEBUG;Z3DEBUG;_WINDOWS;_TRACE;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- Disabled
- WIN32;_DEBUG;Z3DEBUG;_WINDOWS;_TRACE;_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
- Create
- Level3
- ProgramDatabase
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- true
- false
-
-
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
- Create
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
- Create
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- MultiThreadedDLL
-
-
- $(OutDir)Microsoft.Z3V3.dll
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- Disabled
- WIN32;_DEBUG;Z3DEBUG;_WINDOWS;_TRACE;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_BUILD_PARALLEL_SMT;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
- Create
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;DELAYSIGN;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;DELAYSIGN;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"
-
-
-
-
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
diff --git a/README b/README
index ab68e4911..390c81702 100644
--- a/README
+++ b/README
@@ -9,15 +9,15 @@ Z3 can be built using Visual Studio Command Prompt, Visual Studio and make/gcc.
- For building all components, execute
msbuild z3-prover.sln /p:configuration=external
- All components will be located at /external
+ All components will be located at \external
- For building all components (64-bit), execute
- msbuild z3-prover.sln /p:configuration=external_64 /p:platform=x64
- All components will be located at /external_64
+ msbuild z3-prover.sln /p:configuration=external /p:platform=x64
+ All components will be located at \x64\external
- For building all components (in debug mode), execute
msbuild z3-prover.sln
- All components will be located at /debug
+ All components will be located at \Debug
2) Building Z3 using g++/make
Your machine must also have the following commands to be able to build Z3:
diff --git a/dll/dll.vcxproj b/dll/dll.vcxproj
index 7da34f583..a38f94287 100644
--- a/dll/dll.vcxproj
+++ b/dll/dll.vcxproj
@@ -25,30 +25,6 @@
external_64
x64
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -57,38 +33,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
release_mt
Win32
@@ -97,14 +41,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -113,14 +49,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
trace
Win32
@@ -141,54 +69,11 @@
Unicode
true
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
DynamicLibrary
Unicode
true
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
-
-
- DynamicLibrary
- Unicode
- true
-
DynamicLibrary
Unicode
@@ -218,51 +103,11 @@
Unicode
true
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
DynamicLibrary
Unicode
true
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- Application
-
-
- DynamicLibrary
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
-
-
- DynamicLibrary
- Unicode
- true
-
DynamicLibrary
Unicode
@@ -293,36 +138,9 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -341,36 +159,9 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -419,62 +210,12 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
@@ -493,24 +234,6 @@
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -523,54 +246,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -581,33 +268,15 @@
z3_dbg
z3
z3
- z3
- z3
- z3
z3
z3
- z3_dbg
- z3
- z3_dbg
- z3
z3
- z3
z3
- z3
z3
- z3_dbg
- z3
- z3
z3
z3
- z3_dbg
- z3
- z3_dbg
- z3
z3
- z3
z3
- z3
z3
@@ -755,7 +424,7 @@
X64
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
+ _AMD64_;WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
MultiThreadedDLL
@@ -844,287 +513,6 @@
MachineX64
-
-
- WIN32;NDEBUG;Z3DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;Z3DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- MachineX64
-
-
-
-
- Disabled
- WIN32;_DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- false
-
-
- MachineX86
-
-
-
-
- Disabled
- WIN32;_DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- false
-
-
- MachineX64
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;ASYNC_COMMANDS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX64
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- Disabled
- WIN32;_DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- EditAndContinue
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- false
-
-
- MachineX86
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- MachineX64
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- MachineX64
-
-
WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
@@ -1171,104 +559,6 @@
MachineX64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- MachineX64
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX64
-
-
WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
diff --git a/lib/lib.vcxproj b/lib/lib.vcxproj
index 75e3faa24..e919ed609 100644
--- a/lib/lib.vcxproj
+++ b/lib/lib.vcxproj
@@ -1,14 +1,6 @@
-
+
-
- bench
- Win32
-
-
- bench
- x64
-
commercial
Win32
@@ -17,14 +9,6 @@
commercial
x64
-
- debug_opt
- Win32
-
-
- debug_opt
- x64
-
Debug
Win32
@@ -33,38 +17,6 @@
Debug
x64
-
- external_64
- Win32
-
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -73,46 +25,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
- x64
-
release_mt
Win32
@@ -121,14 +33,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -137,14 +41,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
Trace
Win32
@@ -160,59 +56,6 @@
Win32Proj
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
StaticLibrary
Unicode
@@ -228,16 +71,6 @@
Unicode
true
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
StaticLibrary
Unicode
@@ -252,54 +85,6 @@
StaticLibrary
Unicode
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- Application
-
-
- StaticLibrary
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
-
-
- StaticLibrary
- Unicode
- true
-
-
- Application
-
StaticLibrary
Unicode
@@ -313,16 +98,6 @@
Application
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
StaticLibrary
Unicode
@@ -340,39 +115,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -382,12 +124,6 @@
-
-
-
-
-
-
@@ -397,39 +133,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -439,12 +142,6 @@
-
-
-
-
-
-
@@ -469,14 +166,6 @@
$(Configuration)\
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
$(SolutionDir)$(Configuration)\
$(Configuration)\
$(SolutionDir)$(Platform)\$(Configuration)\
@@ -489,89 +178,12 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -584,60 +196,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -646,41 +216,15 @@
z3lib
z3lib
- z3lib
- z3lib
- z3lib
- z3_dbg
- z3lib
- z3lib
z3lib
z3lib
- z3lib
- z3lib
- z3lib
- z3lib
- z3lib
z3lib
- z3lib
z3lib
- z3lib
z3lib
- z3lib
- z3lib
- z3lib
- z3_dbg
- z3lib
- z3lib
z3lib
z3lib
- z3lib
- z3lib
- z3lib
- z3lib
- z3lib
z3lib
- z3lib
z3lib
- z3lib
z3lib
@@ -785,75 +329,6 @@
ProgramDatabase
-
-
- /INCLUDE:compile_term %(AdditionalOptions)
- false
- WIN32;Z3DEBUG;_LIB;_WINDOWS;_TRACE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
-
-
- X64
-
-
- /INCLUDE:compile_term %(AdditionalOptions)
- false
- WIN32;_DEBUG;Z3DEBUG;_LIB;_WINDOWS;_TRACE;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- true
- Speed
- true
- WIN32;NDEBUG;_LIB;_WINDOWS;%(PreprocessorDefinitions)
-
-
- MultiThreadedDLL
- false
- StreamingSIMDExtensions2
- Fast
-
-
- Level3
- ProgramDatabase
-
-
-
-
- X64
-
-
- Full
- true
- Speed
- true
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
-
-
- MultiThreadedDLL
- false
- StreamingSIMDExtensions2
- Fast
-
-
- Level3
- ProgramDatabase
-
-
Full
@@ -911,7 +386,7 @@
MaxSpeed
false
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
+ _AMD64_;WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
MultiThreadedDLL
@@ -934,325 +409,6 @@
ProgramDatabase
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
-
-
- Full
- false
- WIN32;NDEBUG;Z3DEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3_dbg.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3_dbg.lib
-
-
-
-
- Disabled
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_LIB;_TRACE;ASYNC_COMMANDS;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3lib.lib
- %(AdditionalLibraryDirectories)
-
-
-
-
- Disabled
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_LIB;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_AMD64_;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3lib.lib
- %(AdditionalLibraryDirectories)
-
-
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;ASYNC_COMMANDS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3$(ProjectName).lib
-
-
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
-
-
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
- Level3
- ProgramDatabase
-
-
-
-
- Disabled
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_LIB;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3lib.lib
- %(AdditionalLibraryDirectories)
-
-
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;SMTCOMP;%(PreprocessorDefinitions)
- MultiThreadedDLL
- false
-
-
- Level4
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3lib.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreaded
- false
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3lib.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3lib.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3lib.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
-
-
- X64
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
false
diff --git a/maxsat/maxsat.vcxproj b/maxsat/maxsat.vcxproj
index 5f1651506..4858316d4 100644
--- a/maxsat/maxsat.vcxproj
+++ b/maxsat/maxsat.vcxproj
@@ -1,26 +1,38 @@
-
- commercial_64
- Win32
-
commercial
Win32
+
+ commercial
+ x64
+
Debug
Win32
+
+ Debug
+ x64
+
external
Win32
+
+ external
+ x64
+
Release
Win32
+
+ Release
+ x64
+
{7C154132-AAAB-4F60-B652-F8C51A63D244}
@@ -33,19 +45,30 @@
true
Unicode
+
+ Application
+ true
+ Unicode
+
Application
false
true
Unicode
+
+ Application
+ false
+ true
+ Unicode
+
Application
false
true
Unicode
-
+
Application
false
true
@@ -57,40 +80,64 @@
true
Unicode
+
+ Application
+ false
+ true
+ Unicode
+
+
+
+
+
+
+
-
+
+
+
+
true
+
+ true
+
false
+
+ false
+
false
-
+
false
false
+
+ false
+
@@ -106,6 +153,21 @@
false
+
+
+
+
+ Level3
+ Disabled
+ WIN32;_DEBUG;_CONSOLE;%(PreprocessorDefinitions)
+ ..\lib
+
+
+ Console
+ true
+ false
+
+
Level3
@@ -124,6 +186,24 @@
true
+
+
+ Level3
+
+
+ MaxSpeed
+ true
+ true
+ WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions)
+ ..\lib
+
+
+ Console
+ true
+ true
+ true
+
+
Level3
@@ -142,7 +222,25 @@
true
-
+
+
+ Level3
+
+
+ MaxSpeed
+ true
+ true
+ _AMD64_;WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions)
+ ..\lib
+
+
+ Console
+ true
+ true
+ true
+
+
+
Level3
@@ -160,7 +258,7 @@
true
-
+
Level3
diff --git a/shell/main.cpp b/shell/main.cpp
index b426f2885..b5485e35d 100644
--- a/shell/main.cpp
+++ b/shell/main.cpp
@@ -56,7 +56,11 @@ void error(const char * msg) {
}
void display_usage() {
- std::cout << "Z3 [version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "]. (C) Copyright 2006 Microsoft Corp.\n";
+#ifdef _AMD64_
+ std::cout << "Z3 [version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << " - 64 bit]. (C) Copyright 2006 Microsoft Corp.\n";
+#else
+ std::cout << "Z3 [version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << " - 32 bit]. (C) Copyright 2006 Microsoft Corp.\n";
+#endif
std::cout << "Usage: z3 [options] [" << OPT << "file:]file\n";
std::cout << "\nInput format:\n";
std::cout << " " << OPT << "smt use parser for SMT input format.\n";
diff --git a/shell/shell.vcxproj b/shell/shell.vcxproj
index 35c11a5da..f39027d06 100644
--- a/shell/shell.vcxproj
+++ b/shell/shell.vcxproj
@@ -1,14 +1,6 @@
-
+
-
- bench
- Win32
-
-
- bench
- x64
-
commercial
Win32
@@ -33,38 +25,6 @@
Debug
x64
-
- external_64
- Win32
-
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -73,46 +33,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
- x64
-
release_mt
Win32
@@ -121,14 +41,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -137,14 +49,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
Trace
Win32
@@ -160,59 +64,6 @@
Win32Proj
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -228,11 +79,6 @@
Unicode
true
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -252,49 +98,6 @@
Application
Unicode
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
-
Application
Unicode
@@ -308,11 +111,6 @@
Application
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -335,39 +133,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -377,9 +142,6 @@
-
-
-
@@ -392,39 +154,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -434,9 +163,6 @@
-
-
-
@@ -476,12 +202,6 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
@@ -497,68 +217,6 @@
$(Platform)\$(Configuration)\
false
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -571,30 +229,6 @@
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -607,60 +241,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -670,40 +262,16 @@
z3
z3
z3
- z3
z3
- z3
- z3
- z3
- z3
z3
z3
- z3
- z3
- z3
- z3
- z3
z3
- z3
- z3
z3
- z3
z3
- z3
- z3
- z3
- z3
z3
z3
- z3
- z3
- z3
- z3
- z3
z3
- z3
z3
- z3
z3
@@ -915,74 +483,6 @@
$(OutDir)z3shell.lib
-
-
- Full
- true
- Speed
- true
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
-
-
- MultiThreadedDLL
- false
- StreamingSIMDExtensions2
- Fast
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- Full
- true
- Speed
- true
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
-
-
- MultiThreadedDLL
- false
- StreamingSIMDExtensions2
- Fast
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
false
@@ -1068,7 +568,7 @@
false
..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
+ _AMD64_;WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
MultiThreadedDLL
@@ -1113,495 +613,6 @@
$(OutDir)z3shell.lib
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;Z3DEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Lib\i386;%(AdditionalLibraryDirectories)
- %(DelayLoadDLLs)
- true
- Console
- 8388608
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;Z3DEBUG;_DEBUG;_CONSOLE;_Z3_BUILD_PARALLEL_SMT;_TRACE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- true
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- %(AdditionalLibraryDirectories)
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;msmpi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Lib\i386;%(AdditionalLibraryDirectories)
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- ..\lib;C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- psapi.lib;msmpi.lib;%(AdditionalDependencies)
- $(OutDir)z3shell.lib
-
-
-
-
- Disabled
- ..\lib;C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
-
-
- psapi.lib;msmpi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Lib\i386;%(AdditionalLibraryDirectories)
- %(DelayLoadDLLs)
- true
- Console
- 8388608
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;SMTCOMP;%(PreprocessorDefinitions)
- MultiThreadedDLL
- false
-
-
- Level4
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;ASYNC_COMMANDS;%(PreprocessorDefinitions)
- MultiThreaded
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 33554432
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- %(AdditionalLibraryDirectories)
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- MachineX64
- $(OutDir)z3shell.lib
-
-
diff --git a/test/test.vcxproj b/test/test.vcxproj
index ea2ce4e97..8ba191476 100644
--- a/test/test.vcxproj
+++ b/test/test.vcxproj
@@ -1,22 +1,6 @@
-
+
-
- bench
- Win32
-
-
- bench
- x64
-
-
- commercial_64
- Win32
-
-
- commercial_64
- x64
-
commercial
Win32
@@ -25,14 +9,6 @@
commercial
x64
-
- debug_opt
- Win32
-
-
- debug_opt
- x64
-
Debug
Win32
@@ -41,38 +17,6 @@
Debug
x64
-
- external_64
- Win32
-
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -81,46 +25,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
- x64
-
release_mt
Win32
@@ -129,14 +33,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -145,14 +41,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
Trace
Win32
@@ -168,69 +56,6 @@
Win32Proj
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -246,11 +71,6 @@
Unicode
true
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -265,59 +85,6 @@
Application
Unicode
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
-
Application
Unicode
@@ -331,11 +98,6 @@
Application
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -353,45 +115,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -401,9 +124,6 @@
-
-
-
@@ -413,45 +133,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -461,9 +142,6 @@
-
-
-
@@ -494,12 +172,6 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
@@ -515,116 +187,12 @@
$(Platform)\$(Configuration)\
false
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
-
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
-
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(Configuration)\
- false
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
- AllRules.ruleset
-
-
-
-
- AllRules.ruleset
- AllRules.ruleset
-
-
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -637,60 +205,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -838,48 +364,6 @@
MachineX64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
false
@@ -953,7 +437,7 @@
false
..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
+ _AMD64_;WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
MultiThreadedDLL
@@ -990,472 +474,6 @@
MachineX64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;Z3DEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;Z3DEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
-
-
- /debug /debugtype:cv,fixup %(AdditionalOptions)
- $(OutDir)test.exe
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Lib\i386;%(AdditionalLibraryDirectories)
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;ASYNC_COMMANDS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- EditAndContinue
-
-
- /debug /debugtype:cv,fixup %(AdditionalOptions)
- $(OutDir)test.exe
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- MachineX64
-
-
-
-
- X64
-
-
- ..\lib
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
-
-
diff --git a/test_capi/test_capi.vcxproj b/test_capi/test_capi.vcxproj
index 2c0959beb..91121ab1e 100644
--- a/test_capi/test_capi.vcxproj
+++ b/test_capi/test_capi.vcxproj
@@ -1,14 +1,6 @@
-
- commercial_64
- Win32
-
-
- commercial_64
- x64
-
commercial
Win32
@@ -17,14 +9,6 @@
commercial
x64
-
- debug_opt
- Win32
-
-
- debug_opt
- x64
-
Debug
Win32
@@ -33,76 +17,12 @@
Debug
x64
-
- external_64
+
+ external
Win32
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
+
+ external
x64
@@ -113,14 +33,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -129,14 +41,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
{9E76526D-EDA2-4B88-9616-A8FC08F31071}
@@ -144,73 +48,16 @@
Win32Proj
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
Application
Unicode
true
+
+ Application
+ Unicode
+ true
+
Application
Unicode
@@ -225,65 +72,16 @@
Application
Unicode
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
Application
Unicode
true
+
+ Application
+ Unicode
+ true
+
Application
Unicode
@@ -301,48 +99,12 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
@@ -352,48 +114,12 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
@@ -419,184 +145,53 @@
$(Platform)\$(Configuration)\
false
$(SolutionDir)$(Configuration)\
+ $(SolutionDir)$(Configuration)\
$(SolutionDir)$(Configuration)\
$(Configuration)\
+ $(Configuration)\
$(Configuration)\
false
+ false
false
$(SolutionDir)$(Platform)\$(Configuration)\
+ $(SolutionDir)$(Platform)\$(Configuration)\
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
+ $(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
+ false
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(Configuration)\
- false
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
- AllRules.ruleset
-
-
-
-
- AllRules.ruleset
- AllRules.ruleset
-
-
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
+ AllRules.ruleset
AllRules.ruleset
+
+
AllRules.ruleset
+ AllRules.ruleset
AllRules.ruleset
+
+
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
@@ -711,6 +306,27 @@
MachineX86
+
+
+ ..\lib;%(AdditionalIncludeDirectories)
+ WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
+ MultiThreadedDLL
+
+
+ Level3
+ ProgramDatabase
+
+
+ true
+ Console
+ true
+ true
+ false
+
+
+ MachineX86
+
+
..\lib;%(AdditionalIncludeDirectories)
@@ -753,6 +369,27 @@
MachineX64
+
+
+ X64
+
+
+ ..\lib;%(AdditionalIncludeDirectories)
+ WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
+ MultiThreadedDLL
+
+
+ Level3
+ ProgramDatabase
+
+
+ true
+ Console
+ true
+ true
+ MachineX64
+
+
X64
@@ -774,459 +411,6 @@
MachineX64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;NDEBUG;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;NDEBUG;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;Z3DEBUG;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDLL
-
-
- Level3
- EditAndContinue
-
-
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;Z3DEBUG;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;Z3DEBUG;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- EditAndContinue
-
-
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;Z3DEBUG;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- EditAndContinue
-
-
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- MachineX64
-
-
diff --git a/z3-prover.sln b/z3-prover.sln
index 9d9812de9..051e2a3fe 100644
--- a/z3-prover.sln
+++ b/z3-prover.sln
@@ -38,26 +38,11 @@ Global
commercial|Win32 = commercial|Win32
commercial|x64 = commercial|x64
commercial|x86 = commercial|x86
- debug_opt|Any CPU = debug_opt|Any CPU
- debug_opt|Mixed Platforms = debug_opt|Mixed Platforms
- debug_opt|Win32 = debug_opt|Win32
- debug_opt|x64 = debug_opt|x64
- debug_opt|x86 = debug_opt|x86
Debug|Any CPU = Debug|Any CPU
Debug|Mixed Platforms = Debug|Mixed Platforms
Debug|Win32 = Debug|Win32
Debug|x64 = Debug|x64
Debug|x86 = Debug|x86
- external_64|Any CPU = external_64|Any CPU
- external_64|Mixed Platforms = external_64|Mixed Platforms
- external_64|Win32 = external_64|Win32
- external_64|x64 = external_64|x64
- external_64|x86 = external_64|x86
- external_dbg|Any CPU = external_dbg|Any CPU
- external_dbg|Mixed Platforms = external_dbg|Mixed Platforms
- external_dbg|Win32 = external_dbg|Win32
- external_dbg|x64 = external_dbg|x64
- external_dbg|x86 = external_dbg|x86
external|Any CPU = external|Any CPU
external|Mixed Platforms = external|Mixed Platforms
external|Win32 = external|Win32
@@ -98,13 +83,6 @@ Global
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|x64.ActiveCfg = commercial|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|x64.Build.0 = commercial|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|x86.ActiveCfg = commercial|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Any CPU.ActiveCfg = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Mixed Platforms.Build.0 = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Win32.ActiveCfg = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Win32.Build.0 = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|x64.ActiveCfg = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|x86.ActiveCfg = debug_opt|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Any CPU.ActiveCfg = Debug|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Any CPU.Build.0 = Debug|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
@@ -114,36 +92,22 @@ Global
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x64.ActiveCfg = Debug|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x64.Build.0 = Debug|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x86.ActiveCfg = Debug|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|Any CPU.ActiveCfg = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|Win32.ActiveCfg = external_64|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|x64.ActiveCfg = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|x64.Build.0 = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|x86.ActiveCfg = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Any CPU.Build.0 = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Mixed Platforms.Build.0 = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|x86.ActiveCfg = external_dbg|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Any CPU.ActiveCfg = external|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Any CPU.Build.0 = external|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Mixed Platforms.ActiveCfg = external|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Mixed Platforms.Build.0 = external|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Win32.ActiveCfg = external|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Win32.Build.0 = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|x64.ActiveCfg = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|x86.ActiveCfg = external|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|x64.ActiveCfg = external|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|x64.Build.0 = external|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|x86.ActiveCfg = external|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Any CPU.ActiveCfg = Release|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Mixed Platforms.Build.0 = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Win32.ActiveCfg = release_static|Win32
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Win32.ActiveCfg = release_mt|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|x64.ActiveCfg = Release|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|x64.Build.0 = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|x86.ActiveCfg = release_static|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|x86.ActiveCfg = release_mt|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Any CPU.Build.0 = release_mt|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
@@ -161,13 +125,13 @@ Global
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|x64.ActiveCfg = Release|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|x64.Build.0 = Release|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|x86.ActiveCfg = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Win32.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x64.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x64.Build.0 = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x86.ActiveCfg = smtcomp|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Any CPU.ActiveCfg = Trace|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Mixed Platforms.ActiveCfg = Trace|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Mixed Platforms.Build.0 = Trace|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Win32.ActiveCfg = Trace|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x64.ActiveCfg = Trace|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x64.Build.0 = Trace|x64
+ {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x86.ActiveCfg = Trace|x64
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|Any CPU.ActiveCfg = Trace|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|Mixed Platforms.ActiveCfg = Trace|Win32
{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|Mixed Platforms.Build.0 = Trace|Win32
@@ -183,13 +147,6 @@ Global
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|x64.ActiveCfg = commercial|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|x64.Build.0 = commercial|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|x86.ActiveCfg = commercial|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Any CPU.ActiveCfg = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Mixed Platforms.Build.0 = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Win32.ActiveCfg = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Win32.Build.0 = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|x64.ActiveCfg = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|x86.ActiveCfg = debug_opt|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Any CPU.ActiveCfg = Debug|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Any CPU.Build.0 = Debug|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
@@ -199,35 +156,22 @@ Global
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x64.ActiveCfg = Debug|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x64.Build.0 = Debug|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x86.ActiveCfg = Debug|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|Any CPU.ActiveCfg = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|Win32.ActiveCfg = external_64|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|x64.ActiveCfg = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|x64.Build.0 = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|x86.ActiveCfg = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Mixed Platforms.Build.0 = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|x86.ActiveCfg = external_dbg|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Any CPU.ActiveCfg = external|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Any CPU.Build.0 = external|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Mixed Platforms.ActiveCfg = external|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Mixed Platforms.Build.0 = external|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Win32.ActiveCfg = external|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Win32.Build.0 = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|x64.ActiveCfg = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|x86.ActiveCfg = external|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Any CPU.ActiveCfg = release_static|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|x64.ActiveCfg = external|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|x64.Build.0 = external|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|x86.ActiveCfg = external|Win32
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Any CPU.ActiveCfg = release_mt|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Mixed Platforms.Build.0 = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Win32.ActiveCfg = release_static|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Win32.ActiveCfg = release_mt|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|x64.ActiveCfg = Release|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|x64.Build.0 = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|x86.ActiveCfg = release_static|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|x86.ActiveCfg = release_mt|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Any CPU.Build.0 = release_mt|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
@@ -245,13 +189,13 @@ Global
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|x64.ActiveCfg = Release|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|x64.Build.0 = Release|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|x86.ActiveCfg = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Win32.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x64.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x64.Build.0 = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x86.ActiveCfg = smtcomp|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Any CPU.ActiveCfg = Trace|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Mixed Platforms.ActiveCfg = Trace|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Mixed Platforms.Build.0 = Trace|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Win32.ActiveCfg = Trace|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x64.ActiveCfg = Trace|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x64.Build.0 = Trace|x64
+ {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x86.ActiveCfg = Trace|x64
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|Any CPU.ActiveCfg = Trace|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|Mixed Platforms.ActiveCfg = Trace|Win32
{BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|Mixed Platforms.Build.0 = Trace|Win32
@@ -264,12 +208,6 @@ Global
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.commercial|Win32.ActiveCfg = commercial|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.commercial|x64.ActiveCfg = commercial|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.commercial|x86.ActiveCfg = commercial|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|Any CPU.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|Mixed Platforms.Build.0 = debug_opt|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|Win32.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|x64.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|x86.ActiveCfg = debug_opt|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Any CPU.ActiveCfg = Debug|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Any CPU.Build.0 = Debug|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
@@ -279,27 +217,17 @@ Global
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x64.ActiveCfg = Debug|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x64.Build.0 = Debug|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x86.ActiveCfg = Debug|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|Any CPU.ActiveCfg = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|Win32.ActiveCfg = external_64|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|x64.ActiveCfg = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|x86.ActiveCfg = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|x86.ActiveCfg = external_dbg|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Any CPU.ActiveCfg = external|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Mixed Platforms.ActiveCfg = external|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Win32.ActiveCfg = external|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|x64.ActiveCfg = external|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|x86.ActiveCfg = external|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|x64.ActiveCfg = external|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|x86.ActiveCfg = external|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|Any CPU.ActiveCfg = Release|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|Win32.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|x64.ActiveCfg = release_delaysign|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|x86.ActiveCfg = release_delaysign|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|x64.ActiveCfg = release_mt|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|x64.Build.0 = release_mt|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|x86.ActiveCfg = release_mt|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_mt|Win32.ActiveCfg = release_mt|Win32
@@ -313,13 +241,13 @@ Global
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|x64.ActiveCfg = Release|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|x64.Build.0 = Release|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|x86.ActiveCfg = Release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Win32.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x64.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x64.Build.0 = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x86.ActiveCfg = smtcomp|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Any CPU.ActiveCfg = Trace|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Mixed Platforms.ActiveCfg = Trace|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Mixed Platforms.Build.0 = Trace|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Win32.ActiveCfg = Trace|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x64.ActiveCfg = Trace|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x64.Build.0 = Trace|x64
+ {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x86.ActiveCfg = Trace|x64
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|Any CPU.ActiveCfg = Trace|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|Mixed Platforms.ActiveCfg = Trace|Win32
{21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|Mixed Platforms.Build.0 = Trace|Win32
@@ -332,12 +260,6 @@ Global
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.commercial|Win32.ActiveCfg = commercial|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.commercial|x64.ActiveCfg = commercial|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.commercial|x86.ActiveCfg = commercial|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|Any CPU.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|Win32.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|Win32.Build.0 = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|x64.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|x86.ActiveCfg = debug_opt|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Any CPU.ActiveCfg = Debug|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Mixed Platforms.Build.0 = Debug|Win32
@@ -346,28 +268,19 @@ Global
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x64.ActiveCfg = Debug|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x64.Build.0 = Debug|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x86.ActiveCfg = Debug|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|Any CPU.ActiveCfg = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|Win32.ActiveCfg = external_64|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|x64.ActiveCfg = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|x86.ActiveCfg = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|x86.ActiveCfg = external_dbg|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Any CPU.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Mixed Platforms.ActiveCfg = Release|Win32
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Mixed Platforms.ActiveCfg = external|Win32
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Mixed Platforms.Build.0 = external|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Win32.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|x64.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|x86.ActiveCfg = external_parallel|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|Any CPU.ActiveCfg = release_static|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|x64.ActiveCfg = external|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|x64.Build.0 = external|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|x86.ActiveCfg = Release|Win32
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|Any CPU.ActiveCfg = release_mt|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|Win32.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|x64.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|x86.ActiveCfg = release_static|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|Win32.ActiveCfg = release_mt|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|x64.ActiveCfg = release_mt|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|x64.Build.0 = release_mt|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|x86.ActiveCfg = release_mt|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_mt|Any CPU.ActiveCfg = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_mt|Win32.ActiveCfg = release_mt|Win32
@@ -378,15 +291,15 @@ Global
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Mixed Platforms.Build.0 = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Win32.ActiveCfg = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Win32.Build.0 = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x64.ActiveCfg = Release|Win32
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x64.ActiveCfg = Release|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x86.ActiveCfg = Release|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Win32.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x64.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x64.Build.0 = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x86.ActiveCfg = smtcomp|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Any CPU.ActiveCfg = Release|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Mixed Platforms.ActiveCfg = Release|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Mixed Platforms.Build.0 = Release|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Win32.ActiveCfg = Release|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x64.ActiveCfg = Release|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x64.Build.0 = Release|x64
+ {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x86.ActiveCfg = Release|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Any CPU.ActiveCfg = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Mixed Platforms.ActiveCfg = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Win32.ActiveCfg = Release|Win32
@@ -400,12 +313,6 @@ Global
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|x64.ActiveCfg = commercial|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|x64.Build.0 = commercial|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|x86.ActiveCfg = commercial|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|Any CPU.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|Mixed Platforms.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|Win32.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|Win32.Build.0 = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|x64.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|x86.ActiveCfg = Debug|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Any CPU.ActiveCfg = Debug|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Any CPU.Build.0 = Debug|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
@@ -415,35 +322,21 @@ Global
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x64.ActiveCfg = Debug|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x64.Build.0 = Debug|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x86.ActiveCfg = Debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|Any CPU.ActiveCfg = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|Win32.ActiveCfg = external_64|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|x64.ActiveCfg = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|x64.Build.0 = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|x86.ActiveCfg = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Any CPU.Build.0 = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Mixed Platforms.Build.0 = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|x86.ActiveCfg = external_dbg|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Any CPU.ActiveCfg = external|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Any CPU.Build.0 = external|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Mixed Platforms.ActiveCfg = external|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Mixed Platforms.Build.0 = external|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Win32.ActiveCfg = external|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Win32.Build.0 = external|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x64.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x86.ActiveCfg = external|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x64.ActiveCfg = external|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x64.Build.0 = external|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x86.ActiveCfg = external|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Any CPU.ActiveCfg = Release|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Win32.ActiveCfg = release_static|Win32
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Win32.ActiveCfg = release_mt|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x64.ActiveCfg = Release|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x64.Build.0 = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x86.ActiveCfg = release_static|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x86.ActiveCfg = release_mt|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Any CPU.Build.0 = release_mt|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
@@ -461,13 +354,13 @@ Global
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x64.ActiveCfg = Release|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x64.Build.0 = Release|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x86.ActiveCfg = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Win32.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x64.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x64.Build.0 = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x86.ActiveCfg = smtcomp|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Any CPU.ActiveCfg = trace|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Mixed Platforms.ActiveCfg = trace|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Mixed Platforms.Build.0 = trace|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Win32.ActiveCfg = trace|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x64.ActiveCfg = trace|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x64.Build.0 = trace|x64
+ {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x86.ActiveCfg = trace|x64
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Any CPU.ActiveCfg = Release|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Mixed Platforms.ActiveCfg = Release|Win32
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Win32.ActiveCfg = trace|Win32
@@ -482,13 +375,6 @@ Global
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|x64.ActiveCfg = commercial|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|x64.Build.0 = commercial|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|x86.ActiveCfg = commercial|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Any CPU.ActiveCfg = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Mixed Platforms.Build.0 = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Win32.ActiveCfg = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Win32.Build.0 = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|x64.ActiveCfg = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|x86.ActiveCfg = debug_opt|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Any CPU.ActiveCfg = Debug|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Any CPU.Build.0 = Debug|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
@@ -498,36 +384,22 @@ Global
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x64.ActiveCfg = Debug|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x64.Build.0 = Debug|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x86.ActiveCfg = Debug|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Any CPU.ActiveCfg = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Mixed Platforms.ActiveCfg = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Mixed Platforms.Build.0 = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Win32.ActiveCfg = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Win32.Build.0 = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|x64.ActiveCfg = external_64|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|x64.Build.0 = external_64|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|x86.ActiveCfg = external_64|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Mixed Platforms.Build.0 = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|x86.ActiveCfg = external_dbg|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Any CPU.ActiveCfg = external|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Any CPU.Build.0 = external|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Mixed Platforms.ActiveCfg = external|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Mixed Platforms.Build.0 = external|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Win32.ActiveCfg = external|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Win32.Build.0 = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x64.ActiveCfg = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x86.ActiveCfg = external|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Any CPU.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Mixed Platforms.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Mixed Platforms.Build.0 = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Win32.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x64.ActiveCfg = Release_delaysign|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x64.Build.0 = Release_delaysign|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x86.ActiveCfg = Release_delaysign|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x64.ActiveCfg = external|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x64.Build.0 = external|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x86.ActiveCfg = external|Win32
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Any CPU.ActiveCfg = release_mt|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Mixed Platforms.ActiveCfg = release_mt|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Mixed Platforms.Build.0 = release_mt|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Win32.ActiveCfg = release_mt|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x64.ActiveCfg = release_mt|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x64.Build.0 = release_mt|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x86.ActiveCfg = release_mt|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Win32.ActiveCfg = release_mt|Win32
@@ -543,13 +415,13 @@ Global
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x64.ActiveCfg = Release|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x64.Build.0 = Release|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x86.ActiveCfg = Release|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Win32.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x64.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x64.Build.0 = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x86.ActiveCfg = smtcomp|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Any CPU.ActiveCfg = Trace|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Mixed Platforms.ActiveCfg = Trace|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Mixed Platforms.Build.0 = Trace|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Win32.ActiveCfg = Trace|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x64.ActiveCfg = Trace|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x64.Build.0 = Trace|x64
+ {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x86.ActiveCfg = Trace|x64
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Any CPU.ActiveCfg = Trace|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Mixed Platforms.ActiveCfg = Trace|Win32
{F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Win32.ActiveCfg = Trace|Win32
@@ -561,41 +433,22 @@ Global
{7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|Win32.ActiveCfg = commercial|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|x64.ActiveCfg = commercial|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|x86.ActiveCfg = commercial|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Any CPU.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Mixed Platforms.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Mixed Platforms.Build.0 = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Win32.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Win32.Build.0 = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|x64.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|x86.ActiveCfg = Debug|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Any CPU.ActiveCfg = Debug|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Any CPU.Build.0 = Debug|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Mixed Platforms.Build.0 = Debug|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Win32.ActiveCfg = Debug|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Win32.Build.0 = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x64.ActiveCfg = Debug|Win32
+ {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x64.ActiveCfg = Debug|x64
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x86.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|x86.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Any CPU.ActiveCfg = external|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Any CPU.Build.0 = external|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Mixed Platforms.ActiveCfg = external|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Mixed Platforms.Build.0 = external|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Win32.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x64.ActiveCfg = Release|Win32
+ {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x64.ActiveCfg = external|x64
+ {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x64.Build.0 = external|x64
{7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x86.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Any CPU.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
@@ -613,14 +466,15 @@ Global
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Mixed Platforms.Build.0 = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Win32.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x64.ActiveCfg = Release|Win32
+ {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x64.ActiveCfg = Release|x64
+ {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x64.Build.0 = Release|x64
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x86.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Any CPU.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Mixed Platforms.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Mixed Platforms.Build.0 = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Win32.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|x64.ActiveCfg = Release|Win32
+ {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|x64.ActiveCfg = Release|x64
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|x86.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Any CPU.ActiveCfg = Release|Win32
{7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Mixed Platforms.ActiveCfg = Release|Win32
@@ -636,13 +490,6 @@ Global
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Win32.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|x64.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Any CPU.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Any CPU.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Mixed Platforms.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Win32.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|x64.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|x86.ActiveCfg = Debug|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Any CPU.Build.0 = Debug|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
@@ -652,28 +499,14 @@ Global
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x64.ActiveCfg = Debug|x64
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x64.Build.0 = Debug|x64
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x86.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|x64.ActiveCfg = external_64|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|x64.Build.0 = external_64|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|x86.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Any CPU.ActiveCfg = external|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Any CPU.Build.0 = external|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Mixed Platforms.ActiveCfg = external|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Mixed Platforms.Build.0 = external|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Win32.ActiveCfg = external|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Win32.Build.0 = external|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x64.ActiveCfg = Release|Any CPU
+ {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x64.ActiveCfg = external|x64
+ {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x64.Build.0 = external|x64
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x86.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Any CPU.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Any CPU.Build.0 = Release|Any CPU
@@ -719,13 +552,6 @@ Global
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Any CPU.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Mixed Platforms.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Mixed Platforms.Build.0 = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Win32.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x64.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x86.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x86.Build.0 = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Any CPU.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Mixed Platforms.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Mixed Platforms.Build.0 = Debug|x86
@@ -734,25 +560,11 @@ Global
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x64.Build.0 = Debug|x64
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x86.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x86.Build.0 = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x64.ActiveCfg = Release|x86
+ {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x64.ActiveCfg = Release|x64
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Any CPU.ActiveCfg = Release|x86
@@ -781,7 +593,7 @@ Global
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x64.ActiveCfg = Release|x86
+ {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x64.ActiveCfg = Release|x64
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Any CPU.ActiveCfg = Release|x86