blob: 884f3084f43d3a6530981c666af7d0211e5610c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
<?xml version="1.0" encoding="utf-8"?>
<VisualStudioProject>
<XEN ProjectType="Local"
SchemaVersion="1.0"
Name="SMTLib"
ProjectGuid="13c3a68c-462a-4cda-a480-738046e37c5a"
>
<Build>
<Settings ApplicationIcon=""
AssemblyName="Provers.SMTLib"
OutputType="Library"
RootNamespace="Microsoft.Boogie.SMTLib"
StartupObject=""
StandardLibraryLocation=""
TargetPlatform="v2"
TargetPlatformLocation=""
ShadowedAssembly=""
NoStandardLibraries="False"
>
<Config Name="Debug"
AllowUnsafeBlocks="False"
BaseAddress="285212672"
CheckForOverflowUnderflow="False"
ConfigurationOverrideFile=""
DefineConstants="DEBUG;TRACE"
DocumentationFile=""
DebugSymbols="True"
FileAlignment="4096"
IncrementalBuild="True"
Optimize="False"
OutputPath="bin\debug"
RegisterForComInterop="False"
RemoveIntegerChecks="false"
TreatWarningsAsErrors="False"
WarningLevel="4"
CheckContractAdmissibility="True"
CheckPurity="False"
/>
<Config Name="Release"
AllowUnsafeBlocks="false"
BaseAddress="285212672"
CheckForOverflowUnderflow="false"
ConfigurationOverrideFile=""
DefineConstants="TRACE"
DocumentationFile=""
DebugSymbols="false"
FileAlignment="4096"
IncrementalBuild="false"
Optimize="true"
OutputPath="bin\release"
RegisterForComInterop="false"
RemoveIntegerChecks="false"
TreatWarningsAsErrors="false"
WarningLevel="4"
CheckContractAdmissibility="True"
CheckPurity="False"
/>
</Settings>
<References>
<Reference Name="System"
AssemblyName="System"
Private="false"
/>
<Reference Name="System.Data"
AssemblyName="System.Data"
Private="false"
/>
<Reference Name="System.Xml"
AssemblyName="System.Xml"
Private="false"
/>
<Reference Name="Basetypes"
Project="{0C692837-77EC-415F-BF04-395E3ED06E9A}"
Private="true"
/>
<Reference Name="Core"
Project="{47BC34F1-A173-40BE-84C2-9332B4418387}"
Private="true"
/>
<Reference Name="VCExpr"
Project="{CF42B700-10AA-4DA9-8992-48A800251C11}"
Private="true"
/>
<Reference Name="VCGeneration"
Project="{F65666DE-FB56-457C-8782-09BE243450FC}"
Private="true"
/>
<Reference Name="Mscorlib.Contracts"
AssemblyName="Mscorlib.Contracts"
Private="false"
HintPath="../../../Binaries/Mscorlib.Contracts.dll"
/>
<Reference Name="Simplify"
Project="{F75666DE-FB56-457C-8782-09BE243450FC}"
Private="true"
/>
</References>
</Build>
<Files>
<Include>
<File BuildAction="Compile"
SubType="Code"
RelPath="ProverInterface.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="SMTLibLineariser.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="TypeDeclCollector.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="AssemblyInfo.ssc"
/>
</Include>
</Files>
</XEN>
</VisualStudioProject>
|