blob: 38ff86463d980eee5888c3f563f06123923b82e5 (
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
|
<?xml version="1.0" encoding="utf-8"?>
<VisualStudioProject>
<XEN ProjectType="Local"
SchemaVersion="1.0"
Name="Dafny"
ProjectGuid="dead83c6-1510-4af9-8f7d-c837ddbb2632"
>
<Build>
<Settings ApplicationIcon=""
AssemblyName="DafnyPipeline"
OutputType="Library"
RootNamespace="DafnyPipeline"
StartupObject=""
StandardLibraryLocation=""
TargetPlatform="v2"
TargetPlatformLocation=""
>
<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="Core"
AssemblyName="Core"
Private="false"
HintPath="../Core/bin/Debug/Core.dll"
/>
</References>
</Build>
<Files>
<Include>
<File RelPath="DafnyAst.ssc"
SubType="Code"
BuildAction="Compile"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="Scanner.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="Parser.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="DafnyMain.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="Printer.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="Resolver.ssc"
/>
<File BuildAction="None"
SubType="Content"
RelPath="Dafny.atg"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="Translator.ssc"
/>
<File BuildAction="Compile"
SubType="Code"
RelPath="..\version.ssc"
/>
</Include>
</Files>
</XEN>
</VisualStudioProject>
|
