Debug AnyCPU 9.0.30729 2.0 {FE44674A-1633-4917-99F4-57635E6FA740} Library Properties DafnyPipeline DafnyPipeline v3.5 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 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 pdbonly true bin\Release\ TRACE prompt 4 AllRules.ruleset False ..\..\Binaries\AIFramework.dll False ..\..\Binaries\Basetypes.dll False ..\..\Binaries\Core.dll False ..\..\Binaries\FSharp.Core.dll False ..\..\Binaries\FSharp.PowerPack.dll False ..\..\Binaries\Microsoft.Contracts.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