blob: d0efb8609d936e02ec97776e475fab4614a3fbb1 (
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
121
122
123
124
|
<?xml version="1.0" encoding="utf-8"?>
<VisualStudioProject>
<XEN ProjectType="Local"
SchemaVersion="1.0"
Name="AbsInt"
ProjectGuid="11d06232-2039-4bca-853b-c596e2a4edb0"
>
<Build>
<Settings ApplicationIcon=""
AssemblyName="AbsInt"
OutputType="Library"
RootNamespace="AbsInt"
StartupObject=""
TargetPlatform="v2"
TargetPlatformLocation=""
ShadowedAssembly=""
StandardLibraryLocation=""
>
<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"
RunProgramVerifier="False"
ProgramVerifierCommandLineOptions=""
ReferenceTypesAreNonNullByDefault="False"
RunProgramVerifierWhileEditing="False"
AllowPointersToManagedStructures="False"
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="True"
WarningLevel="4"
/>
</Settings>
<References>
<Reference Name="Mscorlib.Contracts"
AssemblyName="Mscorlib.Contracts"
Private="false"
HintPath="../../Binaries/Mscorlib.Contracts.dll"
/>
<Reference Name="System"
AssemblyName="System"
Private="false"
/>
<Reference Name="System.Compiler"
AssemblyName="System.Compiler"
Private="false"
HintPath="../../Binaries/System.Compiler.dll"
/>
<Reference Name="System.Compiler.Framework"
AssemblyName="System.Compiler.Framework"
Private="false"
HintPath="../../Binaries/System.Compiler.Framework.dll"
/>
<Reference Name="AIFramework"
Project="{24B55172-AD8B-47D1-8952-5A95CFDB9B31}"
Private="true"
/>
<Reference Name="Core"
Project="{47BC34F1-A173-40BE-84C2-9332B4418387}"
Private="true"
/>
<Reference Name="Basetypes"
Project="{0C692837-77EC-415F-BF04-395E3ED06E9A}"
Private="true"
/>
</References>
</Build>
<Files>
<Include>
<File BuildAction="Compile"
SubType="Code"
RelPath="Traverse.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="AbstractInterpretation.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="ExprFactories.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="..\version.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="LoopInvariantsOnDemand.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="AssemblyInfo.ssc"
/>
</Include>
</Files>
</XEN>
</VisualStudioProject>
|
