Debug
AnyCPU
9.0.30729
2.0
{FE44674A-1633-4917-99F4-57635E6FA740}
Library
Properties
DafnyPipeline
DafnyPipeline
v4.0
512
0
true
..\InterimKey.snk
3.5
publish\
true
Disk
false
Foreground
7
Days
false
false
true
0
1.0.0.%2a
false
false
true
Client
true
full
false
bin\Debug\
DEBUG;TRACE
prompt
4
False
False
True
False
False
False
False
False
False
False
False
True
False
False
False
Full
Build
AllRules.ruleset
False
False
False
0
pdbonly
true
bin\Release\
TRACE
prompt
4
AllRules.ruleset
true
bin\Checked\
DEBUG;TRACE
full
AnyCPU
prompt
AllRules.ruleset
true
true
false
True
False
True
False
False
False
False
False
False
False
False
True
False
False
False
False
Full
Build
0
False
..\..\..\boogie\Binaries\Basetypes.dll
False
..\..\..\boogie\Binaries\Core.dll
..\..\..\boogie\Binaries\ParserHelper.dll
3.5
False
.NET Framework 3.5 SP1 Client Profile
false
False
.NET Framework 3.5 SP1
true
False
Windows Installer 3.1
true