Download Spec#

SpecSharp/Binaries/CodeContractsExtender.dll
SpecSharp/Binaries/CodeContractsExtender.pdb
SpecSharp/Binaries/Makefile/*from   w  w w .j ava  2  s.  co  m*/
SpecSharp/Binaries/Microsoft.Contracts.dll
SpecSharp/Binaries/ParserHelper.dll
SpecSharp/Binaries/ParserHelper.pdb
SpecSharp/Binaries/readme.txt
SpecSharp/Microsoft.SpecSharp/AdmissibilityChecker.cs
SpecSharp/Microsoft.SpecSharp/Analyzer.cs
SpecSharp/Microsoft.SpecSharp/AssemblyInfo.cs
SpecSharp/Microsoft.SpecSharp/Checker.cs
SpecSharp/Microsoft.SpecSharp/Checkin Tests/AsmMeta.exe
SpecSharp/Microsoft.SpecSharp/Checkin Tests/Bug.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/CSharpConformance.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/Checkin Tests.vcproj
SpecSharp/Microsoft.SpecSharp/Checkin Tests/Checkin Tests.vcxproj
SpecSharp/Microsoft.SpecSharp/Checkin Tests/GCollections.cs
SpecSharp/Microsoft.SpecSharp/Checkin Tests/GCollections.dll
SpecSharp/Microsoft.SpecSharp/Checkin Tests/Generics.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/GetRuntimeAttribute.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/GetRuntimeAttributeTest1.cs
SpecSharp/Microsoft.SpecSharp/Checkin Tests/GetRuntimeAttributeTest2.cs
SpecSharp/Microsoft.SpecSharp/Checkin Tests/IncrementalCompilationSuite.txt
SpecSharp/Microsoft.SpecSharp/Checkin Tests/Multithreading.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/Runtests.bat
SpecSharp/Microsoft.SpecSharp/Checkin Tests/SpecSharpCollectionsConformance.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/SpecSharpConformance.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/SpecSharpConformanceDefiniteAssignment.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/SpecSharpConformanceInheritance.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/SpecSharpConformanceNonNull.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/ZConformanceWithContracts.suite
SpecSharp/Microsoft.SpecSharp/Checkin Tests/bug.cs
SpecSharp/Microsoft.SpecSharp/Checkin Tests/bug.ssc
SpecSharp/Microsoft.SpecSharp/Checkin Tests/diff.exe
SpecSharp/Microsoft.SpecSharp/CommandLineCompiler/AssemblyInfo.cs
SpecSharp/Microsoft.SpecSharp/CommandLineCompiler/Messages.resx
SpecSharp/Microsoft.SpecSharp/CommandLineCompiler/main.cs
SpecSharp/Microsoft.SpecSharp/CommandLineCompiler/ssc.csproj
SpecSharp/Microsoft.SpecSharp/Compiler.cs
SpecSharp/Microsoft.SpecSharp/CustomChecker.cs
SpecSharp/Microsoft.SpecSharp/DebugTools.cs
SpecSharp/Microsoft.SpecSharp/Debugger.cs
SpecSharp/Microsoft.SpecSharp/Declarer.cs
SpecSharp/Microsoft.SpecSharp/DummyRuntime.cs
SpecSharp/Microsoft.SpecSharp/Duplicator.cs
SpecSharp/Microsoft.SpecSharp/Error.cs
SpecSharp/Microsoft.SpecSharp/ErrorMessages.resx
SpecSharp/Microsoft.SpecSharp/Folders.bmp
SpecSharp/Microsoft.SpecSharp/IncrementalCompilationTests/IncrementalCompilationTests.csproj
SpecSharp/Microsoft.SpecSharp/IncrementalCompilationTests/main.cs
SpecSharp/Microsoft.SpecSharp/Install.rgs
SpecSharp/Microsoft.SpecSharp/Install7.rgs
SpecSharp/Microsoft.SpecSharp/LanguageService.cs
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/1033/Microsoft.SpecSharp.Resources.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/1033/PropertyPageUI.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/1033/PropertyPageUI.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/1033/TaskManagerUI.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/1033/TaskManagerUI.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/AIFramework.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/AIFramework.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/AbsInt.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/AbsInt.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Basetypes.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Basetypes.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Boogie.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Boogie.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/BoogiePlugin.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/BoogiePlugin.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/BytecodeTranslation.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/BytecodeTranslation.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Clean.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/CodeContractsExtender.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/CodeContractsExtender.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/ContractsPropertyPane.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/ContractsPropertyPane.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Core.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Core.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/DriverHelper.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/DriverHelper.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/FSharp.Core.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/FSharp.Core.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/FSharp.PowerPack.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Graph.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Graph.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/IPropertyPane.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/IPropertyPane.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/ITaskManager.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/ITaskManager.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/LastKnownGood.vcxproj
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.SpecSharp.Runtime.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.SpecSharp.Runtime.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.SpecSharp.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.SpecSharp.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.SpecSharp.targets
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.VisualStudio.Designer.Interfaces.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.VisualStudio.IntegrationHelper.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.VisualStudio.IntegrationHelper.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.VisualStudio.Package.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.VisualStudio.Package.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.VisualStudio.Shell.Interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Microsoft.VisualStudio.TextManager.Interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Model.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Model.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Mscorlib.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Mscorlib.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/PRELUDE.bpl
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/ParserHelper.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/ParserHelper.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Prelude.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Prelude.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/PresentationCore.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/PresentationFramework.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/PropertyPage.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/PropertyPage.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Provers.SMTLib.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Provers.SMTLib.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Provers.Simplify.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Provers.Simplify.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Provers.Z3.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Provers.Z3.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/Register.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/RegisterLKG.ccnet.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/RegisterLKG.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/SscBoogie.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/SscBoogie.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.Framework.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.Framework.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.Framework.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.Framework.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.Runtime.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.Runtime.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Compiler.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Xml.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/System.Xml.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/TaskManager.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/TaskManager.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/TypedUnivBackPred2.sx
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/UnivBackPred2.smt
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/UnivBackPred2.sx
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/UpdateLKG.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/VCExpr.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/VCExpr.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/VCGeneration.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/VCGeneration.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/microsoft.visualstudio.ole.interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/ssc.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood10/ssc.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/1033/Microsoft.SpecSharp.Resources.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/1033/PropertyPageUI.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/1033/PropertyPageUI.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/1033/TaskManagerUI.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/1033/TaskManagerUI.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/AIFramework.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/AIFramework.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/AbsInt.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/AbsInt.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Basetypes.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Basetypes.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Boogie.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Boogie.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/BoogiePlugin.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/BoogiePlugin.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/BytecodeTranslation.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/BytecodeTranslation.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Clean.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/CodeContractsExtender.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/CodeContractsExtender.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/ContractsPropertyPane.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/ContractsPropertyPane.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Core.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Core.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/DriverHelper.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/DriverHelper.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/FSharp.Core.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/FSharp.Core.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/FSharp.PowerPack.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Graph.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Graph.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/IPropertyPane.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/IPropertyPane.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/ITaskManager.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/ITaskManager.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/LastKnownGood.vcxproj
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.SpecSharp.Runtime.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.SpecSharp.Runtime.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.SpecSharp.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.SpecSharp.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.SpecSharp.targets
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.VisualStudio.Designer.Interfaces.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.VisualStudio.IntegrationHelper.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.VisualStudio.IntegrationHelper.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.VisualStudio.Package.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.VisualStudio.Package.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.VisualStudio.Shell.Interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Microsoft.VisualStudio.TextManager.Interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Model.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Model.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Mscorlib.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Mscorlib.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/PRELUDE.bpl
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/ParserHelper.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/ParserHelper.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Prelude.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Prelude.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/PresentationCore.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/PresentationFramework.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/PropertyPage.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/PropertyPage.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Provers.SMTLib.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Provers.SMTLib.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Provers.Simplify.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Provers.Simplify.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Provers.Z3.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Provers.Z3.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/Register.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/RegisterLKG.ccnet.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/RegisterLKG.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/SscBoogie.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/SscBoogie.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.Framework.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.Framework.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.Framework.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.Framework.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.Runtime.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.Runtime.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Compiler.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Xml.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/System.Xml.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/TaskManager.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/TaskManager.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/TypedUnivBackPred2.sx
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/UnivBackPred2.smt
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/UnivBackPred2.sx
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/UpdateLKG.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/VCExpr.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/VCExpr.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/VCGeneration.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/VCGeneration.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/microsoft.visualstudio.ole.interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/ssc.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood11/ssc.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/1033/Microsoft.SpecSharp.Resources.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/1033/PropertyPageUI.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/1033/TaskManagerUI.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/AIFramework.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/AIFramework.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/AbsInt.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/AbsInt.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Basetypes.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Basetypes.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Boogie.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Boogie.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/BoogiePlugin.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/BoogiePlugin.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/BytecodeTranslation.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/BytecodeTranslation.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Clean.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/ContractsPropertyPane.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/ContractsPropertyPane.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Core.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Core.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Dafny.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/DafnyPipeline.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/DafnyPipeline.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/DafnyPrelude.bpl
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/DriverHelper.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/DriverHelper.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/FSharp.Core.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/FSharp.Core.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Graph.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Graph.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/IPropertyPane.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/IPropertyPane.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/ITaskManager.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/ITaskManager.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/LastKnownGood.vcproj
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.Build.Utilities.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.SpecSharp.Runtime.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.SpecSharp.Runtime.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.SpecSharp.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.SpecSharp.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.SpecSharp.resources.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.SpecSharp.targets
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.VisualStudio.Designer.Interfaces.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.VisualStudio.IntegrationHelper.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.VisualStudio.IntegrationHelper.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.VisualStudio.Package.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.VisualStudio.Package.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.VisualStudio.Shell.Interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Microsoft.VisualStudio.TextManager.Interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Mscorlib.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Mscorlib.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/PRELUDE.bpl
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Prelude.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Prelude.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/PresentationCore.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/PresentationFramework.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/PropertyPage.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/PropertyPage.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/PropertyPageUI.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Provers.ContractInference.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Provers.Simplify.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Provers.Z3.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/Register.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/RegisterLKG.ccnet.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/RegisterLKG.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/SscBoogie.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/SscBoogie.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Framework.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Framework.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Framework.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Framework.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Framework.xml
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Runtime.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.Runtime.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Compiler.xml
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Xml.Contracts.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/System.Xml.Contracts.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/TaskManager.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/TaskManager.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/TaskManagerUI.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/TypedUnivBackPred.sx
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/TypedUnivBackPred2.sx
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/UnivBackPred.sx
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/UnivBackPred2.sx
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/UpdateLKG.cmd
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/VCExpr.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/VCExpr.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/VCGeneration.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/VCGeneration.pdb
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/dafny.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/microsoft.visualstudio.ole.interop.dll
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/ssc.exe
SpecSharp/Microsoft.SpecSharp/LastKnownGood9/ssc.pdb
SpecSharp/Microsoft.SpecSharp/Looker.cs
SpecSharp/Microsoft.SpecSharp/Microsoft.SpecSharp.csproj
SpecSharp/Microsoft.SpecSharp/Microsoft.SpecSharp.targets
SpecSharp/Microsoft.SpecSharp/MsBuildTask.cs
SpecSharp/Microsoft.SpecSharp/Nodes.cs
SpecSharp/Microsoft.SpecSharp/Normalizer.cs
SpecSharp/Microsoft.SpecSharp/Parser.cs
SpecSharp/Microsoft.SpecSharp/Partitioner.cs
SpecSharp/Microsoft.SpecSharp/Passer.cs
SpecSharp/Microsoft.SpecSharp/Registration/Clean.cmd
SpecSharp/Microsoft.SpecSharp/Registration/CopyBitsFromTemp.cmd
SpecSharp/Microsoft.SpecSharp/Registration/CopyBitsToTemp.cmd
SpecSharp/Microsoft.SpecSharp/Registration/ExportClean.cmd
SpecSharp/Microsoft.SpecSharp/Registration/ExportRegister.cmd
SpecSharp/Microsoft.SpecSharp/Registration/InstallBitsFromTemp.cmd
SpecSharp/Microsoft.SpecSharp/Registration/RegisterCurrent.cmd
SpecSharp/Microsoft.SpecSharp/Registration/makefile8
SpecSharp/Microsoft.SpecSharp/Resolver.cs
SpecSharp/Microsoft.SpecSharp/Resources/AssemblyInfo.cs
SpecSharp/Microsoft.SpecSharp/Resources/IconsReadme.txt
SpecSharp/Microsoft.SpecSharp/Resources/Resources.vcproj
SpecSharp/Microsoft.SpecSharp/Resources/Resources.vcxproj
SpecSharp/Microsoft.SpecSharp/Resources/SpecSharp.bmp
SpecSharp/Microsoft.SpecSharp/Resources/SpecSharp.ico
SpecSharp/Microsoft.SpecSharp/Resources/SpecSharpBanner.ai
SpecSharp/Microsoft.SpecSharp/Resources/SpecSharpDocument.ai
SpecSharp/Microsoft.SpecSharp/Resources/SpecSharpProject.ai
SpecSharp/Microsoft.SpecSharp/Resources/SpecSharpProject.ico
SpecSharp/Microsoft.SpecSharp/Resources/SpecSharpUI.ctc
SpecSharp/Microsoft.SpecSharp/Resources/makefile
SpecSharp/Microsoft.SpecSharp/Resources/makefile8
SpecSharp/Microsoft.SpecSharp/Resources/pkgicmd.h
SpecSharp/Microsoft.SpecSharp/Resources/resource.h
SpecSharp/Microsoft.SpecSharp/Resources/resources.rc
SpecSharp/Microsoft.SpecSharp/Resources/resources.res
SpecSharp/Microsoft.SpecSharp/Runtime.cs
SpecSharp/Microsoft.SpecSharp/Runtime/AssemblyInfo.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Class1.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Classes.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Collections.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Dictionary.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/LinkedList.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Map.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Microsoft.SpecSharp.Runtime.sscproj
SpecSharp/Microsoft.SpecSharp/Runtime/Pair.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/RedBlackTree.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Reductions.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Seq.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Set.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/Vector.ssc
SpecSharp/Microsoft.SpecSharp/Runtime/makefile
SpecSharp/Microsoft.SpecSharp/Samples/ArrayList/ArrayList.sln
SpecSharp/Microsoft.SpecSharp/Samples/ArrayList/ArrayList.ssc
SpecSharp/Microsoft.SpecSharp/Samples/ArrayList/ArrayList.sscproj
SpecSharp/Microsoft.SpecSharp/Samples/ArrayList/ArrayList.suo
SpecSharp/Microsoft.SpecSharp/Samples/Bag.ssc
SpecSharp/Microsoft.SpecSharp/Samples/Bag/Bag.sscproj
SpecSharp/Microsoft.SpecSharp/Samples/Bag/BagBroken.ssc
SpecSharp/Microsoft.SpecSharp/Samples/Bag/BagFixed.ssc
SpecSharp/Microsoft.SpecSharp/Samples/Bag2.ssc
SpecSharp/Microsoft.SpecSharp/Samples/Bag3.ssc
SpecSharp/Microsoft.SpecSharp/Samples/Bag4.ssc
SpecSharp/Microsoft.SpecSharp/Samples/Bag5.ssc
SpecSharp/Microsoft.SpecSharp/Samples/Bag6.ssc
SpecSharp/Microsoft.SpecSharp/Samples/CommandLine/Makefile
SpecSharp/Microsoft.SpecSharp/Samples/CommandLine/main.ssc
SpecSharp/Microsoft.SpecSharp/Samples/SubclassWithInvariant/AssemblyInfo.ssc
SpecSharp/Microsoft.SpecSharp/Samples/SubclassWithInvariant/SubclassWithInvariant.sln
SpecSharp/Microsoft.SpecSharp/Samples/SubclassWithInvariant/SubclassWithInvariant.sscproj
SpecSharp/Microsoft.SpecSharp/Samples/SubclassWithInvariant/main.ssc
SpecSharp/Microsoft.SpecSharp/Samples/UseMscorlibContracts/Program.ssc
SpecSharp/Microsoft.SpecSharp/Samples/UseMscorlibContracts/UseMscorlibContracts.sln
SpecSharp/Microsoft.SpecSharp/Samples/UseMscorlibContracts/UseMscorlibContracts.sscproj
SpecSharp/Microsoft.SpecSharp/Samples/WindowsCard.ssc
SpecSharp/Microsoft.SpecSharp/Samples/ifaceprop01.ssc
SpecSharp/Microsoft.SpecSharp/Samples/ifaceprop02.ssc
SpecSharp/Microsoft.SpecSharp/Samples/samples.htm
SpecSharp/Microsoft.SpecSharp/Scanner.cs
SpecSharp/Microsoft.SpecSharp/Scoper.cs
SpecSharp/Microsoft.SpecSharp/Serializer.cs
SpecSharp/Microsoft.SpecSharp/SourceContextWriter.cs
SpecSharp/Microsoft.SpecSharp/Specializer.cs
SpecSharp/Microsoft.SpecSharp/Templates/ProjectItems/file.ssc
SpecSharp/Microsoft.SpecSharp/Templates/Projects/AssemblyInfo.ssc
SpecSharp/Microsoft.SpecSharp/Templates/Projects/Class Library.sscproj
SpecSharp/Microsoft.SpecSharp/Templates/Projects/Class1.ssc
SpecSharp/Microsoft.SpecSharp/Templates/Projects/Console Application.sscproj
SpecSharp/Microsoft.SpecSharp/Templates/Projects/Form.ssc
SpecSharp/Microsoft.SpecSharp/Templates/Projects/Program.ssc
SpecSharp/Microsoft.SpecSharp/Templates/Projects/Windows Application.sscproj
SpecSharp/Microsoft.SpecSharp/TypeSystem.cs
SpecSharp/Microsoft.SpecSharp/Validation.cs
SpecSharp/Microsoft.SpecSharp/VisualStudioIntegration.cs
SpecSharp/Microsoft.SpecSharp/demos/Bag/Bag.sln
SpecSharp/Microsoft.SpecSharp/demos/Bag/Bag.sscproj
SpecSharp/Microsoft.SpecSharp/demos/Bag/Class1.ssc
SpecSharp/Microsoft.SpecSharp/demos/NonNullTypes/NonNull.ssc
SpecSharp/Microsoft.SpecSharp/demos/NonNullTypes/NonNull.ssc.after
SpecSharp/Microsoft.SpecSharp/demos/NonNullTypes/NonNull.ssc.before
SpecSharp/Microsoft.SpecSharp/demos/NonNullTypes/NonNullDemo.ppt
SpecSharp/Microsoft.SpecSharp/demos/NonNullTypes/NonNullScript.txt
SpecSharp/Microsoft.SpecSharp/demos/NonNullTypes/NonNullTypes.sln
SpecSharp/Microsoft.SpecSharp/demos/NonNullTypes/NonNullTypes.sscproj
SpecSharp/Microsoft.SpecSharp/demos/Precondition/Precondition Demo.ppt
SpecSharp/Microsoft.SpecSharp/demos/Precondition/Precondition.sln
SpecSharp/Microsoft.SpecSharp/demos/Precondition/Precondition.sscproj
SpecSharp/Microsoft.SpecSharp/demos/Precondition/PreconditionScript.txt
SpecSharp/Microsoft.SpecSharp/demos/Precondition/main.ssc
SpecSharp/Microsoft.SpecSharp/demos/Precondition/main.ssc.after
SpecSharp/Microsoft.SpecSharp/demos/Precondition/main.ssc.before
SpecSharp/Microsoft.SpecSharp/makespecsharp.bat
SpecSharp/Microsoft.VisualStudio.CodeTools/CodeTools.FxCop
SpecSharp/Microsoft.VisualStudio.CodeTools/CodeTools.ndoc
SpecSharp/Microsoft.VisualStudio.CodeTools/CodeTools.sln
SpecSharp/Microsoft.VisualStudio.CodeTools/ContractsPropertyPane/ContractsPropertyPane.csproj
SpecSharp/Microsoft.VisualStudio.CodeTools/ContractsPropertyPane/ContractsPropertyPane.snk
SpecSharp/Microsoft.VisualStudio.CodeTools/ContractsPropertyPane/Properties/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/ContractsPropertyPane/PropertyPane.Designer.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/ContractsPropertyPane/PropertyPane.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/ContractsPropertyPane/PropertyPane.resx
SpecSharp/Microsoft.VisualStudio.CodeTools/IPropertyPane/IPropertyPane.snk
SpecSharp/Microsoft.VisualStudio.CodeTools/IPropertyPane/Interface.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/IPropertyPane/Microsoft.VisualStudio.CodeTools.IPropertyPane.csproj
SpecSharp/Microsoft.VisualStudio.CodeTools/IPropertyPane/Properties/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/ITaskManager/ITaskManager.snk
SpecSharp/Microsoft.VisualStudio.CodeTools/ITaskManager/Interface.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/ITaskManager/Microsoft.VisualStudio.CodeTools.ITaskManager.csproj
SpecSharp/Microsoft.VisualStudio.CodeTools/ITaskManager/Properties/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPage/Common.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPage/Properties/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPage/PropertyPage.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPage/PropertyPage.csproj
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPage/PropertyPage.snk
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPage/PropertyPanes.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPage/package.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPageUI/PropertyPageUI.rc
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPageUI/PropertyPageUI.vcproj
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPageUI/PropertyPageUI.vcxproj
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPageUI/guids.h
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPageUI/pkgcmd.ctc
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPageUI/pkgcmdid.h
SpecSharp/Microsoft.VisualStudio.CodeTools/PropertyPageUI/resource.h
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Banner.bmp
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Complete.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Custom.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Dialog.bmp
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Exclam.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Info.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/License.rtf
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/New.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Remove.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Repair.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Typical.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Binary/Up.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Contracts.wxs
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Custom/AddBuildTargets.cpp
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Custom/AddBuildTargets.def
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Makefile
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Makefile.nmake
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/Microsoft.Contracts.targets
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/SpecSharp.makefile
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/SpecSharp.wxs
SpecSharp/Microsoft.VisualStudio.CodeTools/Setup/UI.wxs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/Common.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/Location.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/Package.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/Task.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/TaskManager.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/TaskManager.csproj
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/TaskManager.snk
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/TaskMenu.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManager/Tool.cs
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/TaskManagerUI.rc
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/TaskManagerUi.vcproj
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/TaskManagerUi.vcxproj
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/guids.h
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/images.bmp
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/package.ico
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/pkgcmd.ctc
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/pkgcmdid.h
SpecSharp/Microsoft.VisualStudio.CodeTools/TaskManagerUI/resource.h
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/Debugger/DebuggerHelpers.cs
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/Debugger/DebuggerInterop.cs
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/Debugger/Nodes.cs
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/Debugger/Symbol.cs
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/Debugger/Values.cs
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/Helpers.cs
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/Helpers8.cs
SpecSharp/Microsoft.VisualStudio.IntegrationHelper/Microsoft.VisualStudio.IntegrationHelper.csproj
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/CodeWindowManager.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Colorizer.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/DocumentProperties.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/DocumentTask.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/EditorFactory.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/EditorView.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/ExpansionProvider.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/LanguageService.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Microsoft.VisualStudio.Package.LanguageService.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Microsoft.VisualStudio.Package.LanguageService.csproj
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Microsoft.VisualStudio.Package.LanguageService.resx
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Preferences.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Resources/completionset.bmp
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Scanner.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Source.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Tracing.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/Utilities.cs
SpecSharp/Microsoft.VisualStudio.Package.LanguageService/ViewFilter.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/AssemblyCache.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/Automation.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/ConfigProvider.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/DataObject.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/Hierarchy.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/HierarchyItem.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/IDEBuildLogger.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/Microsoft.VisualStudio.Package.Project.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/Microsoft.VisualStudio.Package.Project.csproj
SpecSharp/Microsoft.VisualStudio.Package.Project/Microsoft.VisualStudio.Package.Project.resx
SpecSharp/Microsoft.VisualStudio.Package.Project/Project.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/ProjectConfig.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/ProjectFactory.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/PropertyPages.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/RTLAwareMessageBox.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/Resources/Folders.bmp
SpecSharp/Microsoft.VisualStudio.Package.Project/Selection.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/Tracing.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/Utilities.cs
SpecSharp/Microsoft.VisualStudio.Package.Project/VsCommands.cs
SpecSharp/Microsoft.VisualStudio.Package/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.Package/DebugTools.cs
SpecSharp/Microsoft.VisualStudio.Package/LanguageService/CodeWindowManager.cs
SpecSharp/Microsoft.VisualStudio.Package/LanguageService/Colorizer.cs
SpecSharp/Microsoft.VisualStudio.Package/LanguageService/EditorView.cs
SpecSharp/Microsoft.VisualStudio.Package/LanguageService/LanguageService.cs
SpecSharp/Microsoft.VisualStudio.Package/LanguageService/Scanner.cs
SpecSharp/Microsoft.VisualStudio.Package/LanguageService/Source.cs
SpecSharp/Microsoft.VisualStudio.Package/LanguageService/ViewFilter.cs
SpecSharp/Microsoft.VisualStudio.Package/LanguageService/completionset.bmp
SpecSharp/Microsoft.VisualStudio.Package/Microsoft.VisualStudio.Package.csproj
SpecSharp/Microsoft.VisualStudio.Package/Project/Automation.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/DataObject.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/EditorFactory.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/Hierarchy.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/ImageList.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/InstallDebugger.rgs
SpecSharp/Microsoft.VisualStudio.Package/Project/InstallEditor.rgs
SpecSharp/Microsoft.VisualStudio.Package/Project/InstallLanguage.rgs
SpecSharp/Microsoft.VisualStudio.Package/Project/InstallPackage.rgs
SpecSharp/Microsoft.VisualStudio.Package/Project/InstallProject.rgs
SpecSharp/Microsoft.VisualStudio.Package/Project/InstallVSIPLicense.rgs
SpecSharp/Microsoft.VisualStudio.Package/Project/Package.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/Project.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/ProjectConfig.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/ProjectFactory.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/PropertyPages.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/PropertySheet.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/PropertySheet.resx
SpecSharp/Microsoft.VisualStudio.Package/Project/Registration.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/RgsParser.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/TaskItem.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/UIStrings.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/UIStrings.resx
SpecSharp/Microsoft.VisualStudio.Package/Project/Utilities.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/VsCommands.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/configprovider.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/folders.bmp
SpecSharp/Microsoft.VisualStudio.Package/Project/hierarchyitem.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/selection.cs
SpecSharp/Microsoft.VisualStudio.Package/Project/tracing.cs
SpecSharp/Microsoft.VisualStudio.Shell/AssemblyEnumerationService.cs
SpecSharp/Microsoft.VisualStudio.Shell/AssemblyInfo.cs
SpecSharp/Microsoft.VisualStudio.Shell/DefaultRegistryRootAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/DialogPage.cs
SpecSharp/Microsoft.VisualStudio.Shell/EventSinkCollection.cs
SpecSharp/Microsoft.VisualStudio.Shell/ExternDll.cs
SpecSharp/Microsoft.VisualStudio.Shell/HelpService.cs
SpecSharp/Microsoft.VisualStudio.Shell/IConfigureToolboxItem.cs
SpecSharp/Microsoft.VisualStudio.Shell/IProfileManager.cs
SpecSharp/Microsoft.VisualStudio.Shell/InstalledProductRegistrationAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/LogicalView.cs
SpecSharp/Microsoft.VisualStudio.Shell/MenuCommandService.cs
SpecSharp/Microsoft.VisualStudio.Shell/Microsoft.VisualStudio.Shell.csproj
SpecSharp/Microsoft.VisualStudio.Shell/MsiComponentIdAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/MsiTokenAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/NativeMethods.cs
SpecSharp/Microsoft.VisualStudio.Shell/OleMenuCommand.cs
SpecSharp/Microsoft.VisualStudio.Shell/OleMenuCommandService.cs
SpecSharp/Microsoft.VisualStudio.Shell/Package.cs
SpecSharp/Microsoft.VisualStudio.Shell/Private/PackageRegistrationAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideAssemblyFilterAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideAutomationAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideEditorFactoryAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideKeyBindingTableAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideMenuResourceAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideObjectAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideOptionPageAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideProfileAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideProjectFactoryAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideServiceAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideToolWindowAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideToolWindowVisibilityAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideToolboxFormatAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideToolboxItemConfigurationAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideToolboxItemsAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideToolboxPageAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ProvideViewAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/RegisterAutoLoadAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/RegisterEditorExtensionAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/RegisterEditorLogicalViewAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/RegisterExtenderAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/RegisterLanguageExtensionAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/RegisterLoadKeyAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/RegisterProjectItem.cs
SpecSharp/Microsoft.VisualStudio.Shell/RegistrationAttribute.cs
SpecSharp/Microsoft.VisualStudio.Shell/ResourceStrings.resx
SpecSharp/Microsoft.VisualStudio.Shell/Resources.cs
SpecSharp/Microsoft.VisualStudio.Shell/Resources.resx
SpecSharp/Microsoft.VisualStudio.Shell/SafeNativeMethods.cs
SpecSharp/Microsoft.VisualStudio.Shell/SelectionContainer.cs
SpecSharp/Microsoft.VisualStudio.Shell/ServiceProvider.cs
SpecSharp/Microsoft.VisualStudio.Shell/ServiceProviderHierarchy.cs
SpecSharp/Microsoft.VisualStudio.Shell/Task.cs
SpecSharp/Microsoft.VisualStudio.Shell/TaskCategory.cs
SpecSharp/Microsoft.VisualStudio.Shell/TaskPriority.cs
SpecSharp/Microsoft.VisualStudio.Shell/TaskProvider.cs
SpecSharp/Microsoft.VisualStudio.Shell/ToolWindowPane.cs
SpecSharp/Microsoft.VisualStudio.Shell/UnsafeNativeMethods.cs
SpecSharp/Microsoft.VisualStudio.Shell/WindowPane.cs
SpecSharp/Microsoft.VisualStudio.Shell/makefile
SpecSharp/Samples/OutOfBandContracts/Mscorlib/Microsoft.Win32.RegistryKey.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/Mscorlib.Contracts.sscproj
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Activator.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.AppDomain.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.ArgumentException.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.ArgumentOutOfRangeException.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Array.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Attribute.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.BitConverter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Boolean.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Char.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.ArrayList.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.BitArray.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.CaseInsensitiveComparer.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.CaseInsensitiveHashCodeProvider.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.CollectionBase.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Comparer.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.DictionaryEntry.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Generic.Dictionary.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Generic.ICollection.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Generic.IDictionary.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Generic.IEnumerable.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Generic.IEnumerator.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Generic.List.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Generic.Stack.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Hashtable.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.ICollection.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.IComparer.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.IDictionary.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.IEnumerable.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.IEnumerator.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.IEqualityComparer.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.IList.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.ObjectModel.ReadOnlyCollection.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Queue.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.SortedList.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Collections.Stack.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Console.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Convert.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.DateTime.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Decimal.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Delegate.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Diagnostics.StackTrace.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Enum.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Environment.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Exception.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.GC.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.Calendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.CompareInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.CultureInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.DateTimeFormatInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.GregorianCalendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.HebrewCalendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.HijriCalendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.JapaneseCalendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.JulianCalendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.KoreanCalendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.NumberFormatInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.RegionInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.SortKey.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.StringInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.TaiwanCalendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.TextInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Globalization.ThaiBuddhistCalendar.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Guid.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.ICloneable.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IComparable.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IConvertible.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IDisposable.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IEquatable.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.BinaryReader.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.BinaryWriter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.BufferedStream.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.Directory.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.DirectoryInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.File.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.FileInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.FileStream.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.FileSystemInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.IsolatedStorage.IsolatedStorageFile.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.IsolatedStorage.IsolatedStorageFileStream.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.MemoryStream.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.Path.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.Stream.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.StreamReader.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.StreamWriter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.StringReader.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.StringWriter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.TextReader.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IO.TextWriter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Int32.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Int64.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.IntPtr.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Math.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.MissingMemberException.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.NotFiniteNumberException.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Nullable.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Object.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.OperatingSystem.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Random.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Assembly.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.AssemblyFileVersionAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.AssemblyName.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.ConstructorInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.AssemblyBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.ConstructorBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.EventBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.FieldBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.ILGenerator.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.MethodBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.MethodRental.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.ModuleBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.ParameterBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.PropertyBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.SignatureHelper.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.TypeBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Emit.UnmanagedMarshal.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.MemberInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.MethodBase.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Module.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.ParameterInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.ParameterModifier.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.Pointer.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.PropertyInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.ReflectionTypeLoadException.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.StrongNameKeyPair.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Reflection.TypeDelegator.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Resources.NeutralResourcesLanguageAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Resources.ResourceManager.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Resources.ResourceReader.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Resources.ResourceSet.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Resources.ResourceWriter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Resources.SatelliteContractVersionAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.InteropServices.Marshal.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.InteropServices.RegistrationServices.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.InteropServices.TypeLibConverter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.ActivatedClientTypeEntry.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.ActivatedServiceTypeEntry.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Activation.UrlAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Contexts.Context.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Contexts.ContextAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Contexts.SynchronizationAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Messaging.LogicalCallContext.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Messaging.MethodResponse.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Messaging.RemotingSurrogateSelector.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Messaging.ReturnMessage.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.ObjRef.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.Proxies.ProxyAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.RemotingServices.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.WellKnownClientTypeEntry.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Remoting.WellKnownServiceTypeEntry.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Serialization.FormatterConverter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Serialization.FormatterServices.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Serialization.Formatters.InternalST.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Serialization.ObjectIDGenerator.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Serialization.ObjectManager.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Serialization.SerializationInfo.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Runtime.Serialization.SurrogateSelector.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.RuntimeFieldHandle.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.RuntimeMethodHandle.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.RuntimeTypeHandle.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.CodeAccessPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.AsymmetricSignatureDeformatter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.AsymmetricSignatureFormatter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.CryptoAPITransform.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.CryptoConfig.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.CryptoStream.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.DES.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.DSA.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.DSACryptoServiceProvider.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.DSASignatureDeformatter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.DSASignatureFormatter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.FromBase64Transform.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.HashAlgorithm.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.MACTripleDES.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.PasswordDeriveBytes.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.RC2.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.RNGCryptoServiceProvider.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.RSA.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.RSACryptoServiceProvider.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.RSAPKCS1SignatureDeformatter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.RSAPKCS1SignatureFormatter.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.SignatureDescription.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.SymmetricAlgorithm.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.ToBase64Transform.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Cryptography.TripleDES.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.PermissionSet.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.EnvironmentPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.FileDialogPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.FileIOPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.IsolatedStoragePermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.PrincipalPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.PublisherIdentityPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.ReflectionPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.RegistryPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.SecurityPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.SiteIdentityPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.StrongNameIdentityPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.StrongNamePublicKeyBlob.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.UIPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.UrlIdentityPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Permissions.ZoneIdentityPermission.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.AllMembershipCondition.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.ApplicationDirectory.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.ApplicationDirectoryMembershipCondition.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.CodeGroup.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.FileCodeGroup.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.FirstMatchCodeGroup.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.Hash.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.HashMembershipCondition.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.NetCodeGroup.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.PolicyLevel.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.PolicyStatement.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.Publisher.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.PublisherMembershipCondition.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.Site.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.SiteMembershipCondition.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.StrongName.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.StrongNameMembershipCondition.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.UnionCodeGroup.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.Url.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.UrlMembershipCondition.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.Zone.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Policy.ZoneMembershipCondition.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Principal.GenericIdentity.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Principal.GenericPrincipal.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.Principal.WindowsPrincipal.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.SecurityElement.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.SecurityException.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Security.SecurityManager.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.String.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Text.ASCIIEncoding.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Text.Encoding.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Text.StringBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Text.UTF7Encoding.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Text.UTF8Encoding.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Text.UnicodeEncoding.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Threading.Monitor.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Threading.Overlapped.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Threading.Thread.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Threading.ThreadPool.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Threading.Timer.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Threading.WaitHandle.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Type.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.TypeLoadException.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.TypedReference.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.UInt32.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.UIntPtr.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.Version.ssc
SpecSharp/Samples/OutOfBandContracts/Mscorlib/System.WeakReference.ssc
SpecSharp/Samples/OutOfBandContracts/System.Compiler.Framework/System.Compiler.Framework.Contracts.sscproj
SpecSharp/Samples/OutOfBandContracts/System.Compiler.Framework/System.Compiler.Framework.ssc
SpecSharp/Samples/OutOfBandContracts/System.Compiler/System.Compiler.Contracts.sscproj
SpecSharp/Samples/OutOfBandContracts/System.Compiler/System.Compiler.ssc
SpecSharp/Samples/OutOfBandContracts/System.Xml/System.Xml.Contracts.sscproj
SpecSharp/Samples/OutOfBandContracts/System.Xml/System.Xml.XmlWriter.ssc
SpecSharp/Samples/OutOfBandContracts/System/Microsoft.Win32.SystemEvents.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeAttributeArgumentCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeAttributeDeclarationCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeCatchClauseCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeCommentStatementCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeExpressionCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeNamespaceCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeNamespaceImportCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeParameterDeclarationExpressionCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeStatementCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeTypeDeclarationCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeTypeMemberCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.CodeTypeReferenceCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.Compiler.CompilerErrorCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.Compiler.CompilerParameters.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.Compiler.CompilerResults.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.CodeDom.Compiler.TempFileCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Collections.Generic.Stack.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Collections.Specialized.BitVector32.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Collections.Specialized.HybridDictionary.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Collections.Specialized.ListDictionary.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Collections.Specialized.NameObjectCollectionBase.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Collections.Specialized.StringCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.ArrayConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.BaseNumberConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.BrowsableAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.CollectionConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.ComponentResourceManager.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.CultureInfoConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.DecimalConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.DefaultValueAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.DescriptionAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.Design.DesignerVerbCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.Design.Serialization.ContextStack.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.Design.ServiceContainer.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.DesignerSerializationVisibility.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.DesignerSerializationVisibilityAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.EditorAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.EnumConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.GuidConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.NotifyParentPropertyAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.PropertyDescriptor.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.PropertyTabAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.PropertyTabScope.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.RecommendedAsConfigurableAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.ReferenceConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.TimeSpanConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.TypeConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.TypeConverterAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.TypeDescriptor.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.TypeListConverter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.ComponentModel.Win32Exception.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Configuration.AppSettingsReader.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Configuration.ConfigurationSettings.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Contracts.sscproj
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.CounterCreationDataCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.Debug.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.EventLog.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.EventLogPermission.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.EventLogPermissionEntryCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.InstanceDataCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.InstanceDataCollectionCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.MonitoringDescriptionAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.PerformanceCounter.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.PerformanceCounterCategory.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.PerformanceCounterPermission.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.PerformanceCounterPermissionAttribute.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.PerformanceCounterPermissionEntry.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.PerformanceCounterPermissionEntryCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.Process.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.ProcessModule.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.ProcessStartInfo.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.TextWriterTraceListener.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.TraceLevel.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.TraceListener.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.TraceListenerCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Diagnostics.TraceSwitch.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.IO.FileSystemWatcher.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.AuthenticationManager.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Cookie.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.CookieCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.CookieContainer.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.CredentialCache.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Dns.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.DnsPermission.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.FileWebRequest.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.HttpWebRequest.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.IPAddress.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.IPEndPoint.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.SecurityProtocolType.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.ServicePoint.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.ServicePointManager.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.SocketAddress.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.SocketPermission.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.AddressFamily.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.IPv6MulticastOption.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.MulticastOption.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.NetworkStream.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.Socket.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.SocketOptionLevel.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.SocketOptionName.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.TcpClient.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.TcpListener.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.Sockets.UdpClient.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.WebPermission.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Net.WebRequest.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Security.Cryptography.X509Certificates.X509CertificateCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Security.Permissions.ResourcePermissionBaseEntry.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Text.RegularExpressions.CaptureCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Text.RegularExpressions.Group.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Text.RegularExpressions.GroupCollection.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Text.RegularExpressions.Match.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Text.RegularExpressions.Regex.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Text.RegularExpressions.RegexCompilationInfo.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Text.RegularExpressions.RegexOptions.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Timers.Timer.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Uri.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.UriBuilder.ssc
SpecSharp/Samples/OutOfBandContracts/System/System.Web.AspNetHostingPermission.ssc
SpecSharp/SpecSharp.sln
SpecSharp/SpecSharp10.sln
SpecSharp/SpecSharp9.sln
SpecSharp/System.Compiler.Framework/Analysis/Analyzer.cs
SpecSharp/System.Compiler.Framework/Analysis/CFG.cs
SpecSharp/System.Compiler.Framework/Analysis/CFGanalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/CciUtils.cs
SpecSharp/System.Compiler.Framework/Analysis/CodeFlattener.cs
SpecSharp/System.Compiler.Framework/Analysis/CodePrinter.cs
SpecSharp/System.Compiler.Framework/Analysis/ControlFlow.cs
SpecSharp/System.Compiler.Framework/Analysis/DataStructUtils.cs
SpecSharp/System.Compiler.Framework/Analysis/DefiniteAssignmentAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/EGraph.cs
SpecSharp/System.Compiler.Framework/Analysis/EmptyVisitor.cs
SpecSharp/System.Compiler.Framework/Analysis/ExposureAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/InstructionVisitor.cs
SpecSharp/System.Compiler.Framework/Analysis/NonNullAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/ObjectConsistencyAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/ObjectExposureAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/PointsTo/CallGraph.cs
SpecSharp/System.Compiler.Framework/Analysis/PointsTo/PTGraph.cs
SpecSharp/System.Compiler.Framework/Analysis/PointsTo/PointsToAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/PointsTo/PointsToAndEffectsAnnotations.cs
SpecSharp/System.Compiler.Framework/Analysis/PointsTo/Set.cs
SpecSharp/System.Compiler.Framework/Analysis/PurityAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/ReentrancyAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/StackDepthAnalysis.cs
SpecSharp/System.Compiler.Framework/Analysis/StronglyConnectedComps.cs
SpecSharp/System.Compiler.Framework/AssemblyInfo.cs
SpecSharp/System.Compiler.Framework/Compiler/Checker.cs
SpecSharp/System.Compiler.Framework/Compiler/CodeDom.cs
SpecSharp/System.Compiler.Framework/Compiler/Compiler.cs
SpecSharp/System.Compiler.Framework/Compiler/Declarer.cs
SpecSharp/System.Compiler.Framework/Compiler/Error.cs
SpecSharp/System.Compiler.Framework/Compiler/ErrorMessages.ResX
SpecSharp/System.Compiler.Framework/Compiler/Evaluator.cs
SpecSharp/System.Compiler.Framework/Compiler/Finders.cs
SpecSharp/System.Compiler.Framework/Compiler/GuardedFieldAccessInstrumenter.cs
SpecSharp/System.Compiler.Framework/Compiler/Looker.cs
SpecSharp/System.Compiler.Framework/Compiler/Normalizer.cs
SpecSharp/System.Compiler.Framework/Compiler/Optimizer.cs
SpecSharp/System.Compiler.Framework/Compiler/Partitioner.cs
SpecSharp/System.Compiler.Framework/Compiler/Passer.cs
SpecSharp/System.Compiler.Framework/Compiler/PathWrapper.cs
SpecSharp/System.Compiler.Framework/Compiler/Resolver.cs
SpecSharp/System.Compiler.Framework/Compiler/Runtime.cs
SpecSharp/System.Compiler.Framework/Compiler/Scoper.cs
SpecSharp/System.Compiler.Framework/Compiler/TypeSystem.cs
SpecSharp/System.Compiler.Framework/Compiler/Verifier.cs
SpecSharp/System.Compiler.Framework/Debugger/Debugger.cs
SpecSharp/System.Compiler.Framework/Debugger/ExpressionEval.cs
SpecSharp/System.Compiler.Framework/InstallDebugger.rgs
SpecSharp/System.Compiler.Framework/InstallEditor.rgs
SpecSharp/System.Compiler.Framework/InstallLanguage.rgs
SpecSharp/System.Compiler.Framework/InstallPackage.rgs
SpecSharp/System.Compiler.Framework/InstallProject.rgs
SpecSharp/System.Compiler.Framework/LanguageService/CodeWindowManager.cs
SpecSharp/System.Compiler.Framework/LanguageService/Colorizer.cs
SpecSharp/System.Compiler.Framework/LanguageService/EditorFactory.cs
SpecSharp/System.Compiler.Framework/LanguageService/EditorView.cs
SpecSharp/System.Compiler.Framework/LanguageService/IntellisenseHost.cs
SpecSharp/System.Compiler.Framework/LanguageService/LanguageService.cs
SpecSharp/System.Compiler.Framework/LanguageService/Package.cs
SpecSharp/System.Compiler.Framework/LanguageService/Parser.cs
SpecSharp/System.Compiler.Framework/LanguageService/PropertySheet.cs
SpecSharp/System.Compiler.Framework/LanguageService/PropertySheet.resx
SpecSharp/System.Compiler.Framework/LanguageService/Scanner.cs
SpecSharp/System.Compiler.Framework/LanguageService/Source.cs
SpecSharp/System.Compiler.Framework/LanguageService/Utilities.cs
SpecSharp/System.Compiler.Framework/LanguageService/ViewFilter.cs
SpecSharp/System.Compiler.Framework/LanguageService/VsCommands.cs
SpecSharp/System.Compiler.Framework/LanguageService/completionset.bmp
SpecSharp/System.Compiler.Framework/Project/AssemblyCache.cs
SpecSharp/System.Compiler.Framework/Project/Automation.cs
SpecSharp/System.Compiler.Framework/Project/DataObject.cs
SpecSharp/System.Compiler.Framework/Project/EditorFactory.cs
SpecSharp/System.Compiler.Framework/Project/Hierarchy.cs
SpecSharp/System.Compiler.Framework/Project/ImageList.cs
SpecSharp/System.Compiler.Framework/Project/InstallDebugger.rgs
SpecSharp/System.Compiler.Framework/Project/InstallEditor.rgs
SpecSharp/System.Compiler.Framework/Project/InstallLanguage.rgs
SpecSharp/System.Compiler.Framework/Project/InstallPackage.rgs
SpecSharp/System.Compiler.Framework/Project/InstallProject.rgs
SpecSharp/System.Compiler.Framework/Project/InstallVSIPLicense.rgs
SpecSharp/System.Compiler.Framework/Project/Package.cs
SpecSharp/System.Compiler.Framework/Project/Project.cs
SpecSharp/System.Compiler.Framework/Project/ProjectConfig.cs
SpecSharp/System.Compiler.Framework/Project/ProjectFactory.cs
SpecSharp/System.Compiler.Framework/Project/PropertyPages.cs
SpecSharp/System.Compiler.Framework/Project/PropertySheet.cs
SpecSharp/System.Compiler.Framework/Project/PropertySheet.resx
SpecSharp/System.Compiler.Framework/Project/Registration.cs
SpecSharp/System.Compiler.Framework/Project/RgsParser.cs
SpecSharp/System.Compiler.Framework/Project/TaskItem.cs
SpecSharp/System.Compiler.Framework/Project/UIStrings.cs
SpecSharp/System.Compiler.Framework/Project/UIStrings.resx
SpecSharp/System.Compiler.Framework/Project/Utilities.cs
SpecSharp/System.Compiler.Framework/Project/VsCommands.cs
SpecSharp/System.Compiler.Framework/Project/configprovider.cs
SpecSharp/System.Compiler.Framework/Project/folders.bmp
SpecSharp/System.Compiler.Framework/Project/helpers.cs
SpecSharp/System.Compiler.Framework/Project/hierarchyitem.cs
SpecSharp/System.Compiler.Framework/Project/projectfact.cs
SpecSharp/System.Compiler.Framework/Project/selection.cs
SpecSharp/System.Compiler.Framework/Project/tracing.cs
SpecSharp/System.Compiler.Framework/Query/QueryComposer.cs
SpecSharp/System.Compiler.Framework/Query/Runtime.cs
SpecSharp/System.Compiler.Framework/Query/TypeSystem.cs
SpecSharp/System.Compiler.Framework/Query/XmlHelper.cs
SpecSharp/System.Compiler.Framework/Registration.cs
SpecSharp/System.Compiler.Framework/Serializer/Deserializer.atg
SpecSharp/System.Compiler.Framework/Serializer/Deserializer.makefile
SpecSharp/System.Compiler.Framework/Serializer/DeserializerParser.cs
SpecSharp/System.Compiler.Framework/Serializer/DeserializerScanner.cs
SpecSharp/System.Compiler.Framework/Serializer/Makefile
SpecSharp/System.Compiler.Framework/Serializer/Serializer.cs
SpecSharp/System.Compiler.Framework/System.Compiler.Framework.csproj
SpecSharp/System.Compiler.Framework/UIStrings.cs
SpecSharp/System.Compiler.Framework/UIStrings.resx
SpecSharp/System.Compiler.Framework/UIStrings.xsl
SpecSharp/System.Compiler.Runtime/AssemblyInfo.cs
SpecSharp/System.Compiler.Runtime/Classes.cs
SpecSharp/System.Compiler.Runtime/Foxtrot.cs
SpecSharp/System.Compiler.Runtime/Makefile
SpecSharp/System.Compiler.Runtime/System.Compiler.Runtime.csproj
SpecSharp/System.Compiler/AssemblyCache.cs
SpecSharp/System.Compiler/AssemblyInfo.cs
SpecSharp/System.Compiler/Comparer.cs
SpecSharp/System.Compiler/Diagrams/Assembly Cache.cd
SpecSharp/System.Compiler/Diagrams/Assembly Cache.emf
SpecSharp/System.Compiler/Diagrams/Expressions.cd
SpecSharp/System.Compiler/Diagrams/Expressions.emf
SpecSharp/System.Compiler/Diagrams/Fast File IO.cd
SpecSharp/System.Compiler/Diagrams/Fast File IO.emf
SpecSharp/System.Compiler/Diagrams/IL Reader.cd
SpecSharp/System.Compiler/Diagrams/IL Reader.emf
SpecSharp/System.Compiler/Diagrams/Memory File.cd
SpecSharp/System.Compiler/Diagrams/Memory File.emf
SpecSharp/System.Compiler/Diagrams/Metadata Reader.cd
SpecSharp/System.Compiler/Diagrams/Metadata Reader.emf
SpecSharp/System.Compiler/Diagrams/Modules and Compilations.cd
SpecSharp/System.Compiler/Diagrams/Modules and Compilations.emf
SpecSharp/System.Compiler/Diagrams/Node Source Context.cd
SpecSharp/System.Compiler/Diagrams/Node Source Context.emf
SpecSharp/System.Compiler/Diagrams/Readme.txt
SpecSharp/System.Compiler/Diagrams/Statements.cd
SpecSharp/System.Compiler/Diagrams/Statements.emf
SpecSharp/System.Compiler/Diagrams/Types and Members.cd
SpecSharp/System.Compiler/Diagrams/Types and Members.emf
SpecSharp/System.Compiler/Diagrams/Utility Nodes.cd
SpecSharp/System.Compiler/Diagrams/Utility Nodes.emf
SpecSharp/System.Compiler/Diagrams/Visitors.cd
SpecSharp/System.Compiler/Diagrams/Visitors.emf
SpecSharp/System.Compiler/DoubleVisitor.cs
SpecSharp/System.Compiler/Duplicator.cs
SpecSharp/System.Compiler/ExceptionStrings.cs
SpecSharp/System.Compiler/ExceptionStrings.resx
SpecSharp/System.Compiler/FastFileIO.cs
SpecSharp/System.Compiler/ILGenerator.cs
SpecSharp/System.Compiler/ListTemplate.cs
SpecSharp/System.Compiler/MemoryMappedFile.cs
SpecSharp/System.Compiler/Metadata.cs
SpecSharp/System.Compiler/Nodes.cs
SpecSharp/System.Compiler/OpCode.cs
SpecSharp/System.Compiler/PDBreaderWriter/BitAccess.cs
SpecSharp/System.Compiler/PDBreaderWriter/BitSet.cs
SpecSharp/System.Compiler/PDBreaderWriter/CvInfo.cs
SpecSharp/System.Compiler/PDBreaderWriter/DataStream.cs
SpecSharp/System.Compiler/PDBreaderWriter/DbiDbgHdr.cs
SpecSharp/System.Compiler/PDBreaderWriter/DbiHeader.cs
SpecSharp/System.Compiler/PDBreaderWriter/DbiModuleInfo.cs
SpecSharp/System.Compiler/PDBreaderWriter/DbiSecCon.cs
SpecSharp/System.Compiler/PDBreaderWriter/DumpMisc.cs
SpecSharp/System.Compiler/PDBreaderWriter/IntHashTable.cs
SpecSharp/System.Compiler/PDBreaderWriter/LineInfo.cs
SpecSharp/System.Compiler/PDBreaderWriter/MsfDirectory.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbDebugException.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbException.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbFile.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbFileHeader.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbFunction.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbLine.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbLines.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbReader.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbScope.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbSlot.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbSource.cs
SpecSharp/System.Compiler/PDBreaderWriter/PdbWriter.cs
SpecSharp/System.Compiler/Reader.cs
SpecSharp/System.Compiler/Specializer.cs
SpecSharp/System.Compiler/StandardIds.cs
SpecSharp/System.Compiler/StandardVisitor.cs
SpecSharp/System.Compiler/System.Compiler.FxCop
SpecSharp/System.Compiler/System.Compiler.csproj
SpecSharp/System.Compiler/SystemTypes.cs
SpecSharp/System.Compiler/Unstacker.cs
SpecSharp/System.Compiler/Updater.cs
SpecSharp/System.Compiler/Writer.cs
SpecSharp/common/Include/EnvSdkVersion.ver
SpecSharp/common/Include/msobtnid.h
SpecSharp/common/Include/stdidcmd.h
SpecSharp/common/Include/version.cs
SpecSharp/common/Include/vsshlids.h
SpecSharp/common/InterimKey.snk
SpecSharp/common/bin/Microsoft.VisualStudio.Designer.Interfaces.dll
SpecSharp/common/bin/Microsoft.VisualStudio.Shell.Interop.dll
SpecSharp/common/bin/Microsoft.VisualStudio.TextManager.Interop.dll
SpecSharp/common/bin/ctc.exe
SpecSharp/common/bin/microsoft.visualstudio.ole.interop.dll
SpecSharp2/SpecSharp.sln
SpecSharp2/SpecSharp/CompilerOptions.cs
SpecSharp2/SpecSharp/Error.cs
SpecSharp2/SpecSharp/ErrorMessages.resx
SpecSharp2/SpecSharp/ObjectModel/Core.cs
SpecSharp2/SpecSharp/ObjectModel/MemberDeclarations.cs
SpecSharp2/SpecSharp/ObjectModel/Miscellaneous.cs
SpecSharp2/SpecSharp/ObjectModel/NamespaceDeclarations.cs
SpecSharp2/SpecSharp/ObjectModel/Namespaces.cs
SpecSharp2/SpecSharp/ObjectModel/Options.cs
SpecSharp2/SpecSharp/ObjectModel/TypeDeclarations.cs
SpecSharp2/SpecSharp/ObjectModel/Units.cs
SpecSharp2/SpecSharp/Parser/Parser.cs
SpecSharp2/SpecSharp/Parser/Preprocessor.cs
SpecSharp2/SpecSharp/Parser/Scanner.cs
SpecSharp2/SpecSharp/Parser/XmlScanner.cs
SpecSharp2/SpecSharp/Properties/AssemblyInfo.cs
SpecSharp2/SpecSharp/SpecSharp.csproj
SpecSharp2/SpecSharpCommandLineHost/Program.cs
SpecSharp2/SpecSharpCommandLineHost/Properties/AssemblyInfo.cs
SpecSharp2/SpecSharpCommandLineHost/SpecSharpCommandLineHost.csproj
SpecSharp2/SpecSharpTests/MSBuildCompiler.cs
SpecSharp2/SpecSharpTests/Properties/AssemblyInfo.cs
SpecSharp2/SpecSharpTests/SourceTraverserTest.cs
SpecSharp2/SpecSharpTests/SpecSharpTests.csproj
SpecSharp2/SpecSharpTests/UnitTest1.cs
SpecSharp2/SpecSharpTests/suite
SpecSharp2/SpecSharpTests/system.more
SpecSharp2/SpecSharpTests/t.bat
SpecSharp2/SpecSharpTests/test.cs
SscBoogie/Binaries/AIFramework.dll
SscBoogie/Binaries/AIFramework.pdb
SscBoogie/Binaries/AbsInt.dll
SscBoogie/Binaries/AbsInt.pdb
SscBoogie/Binaries/Basetypes.dll
SscBoogie/Binaries/Basetypes.pdb
SscBoogie/Binaries/Boogie.exe
SscBoogie/Binaries/Boogie.pdb
SscBoogie/Binaries/CodeContractsExtender.dll
SscBoogie/Binaries/CodeContractsExtender.pdb
SscBoogie/Binaries/Core.dll
SscBoogie/Binaries/Core.pdb
SscBoogie/Binaries/FSharp.Core.dll
SscBoogie/Binaries/FSharp.PowerPack.dll
SscBoogie/Binaries/Graph.dll
SscBoogie/Binaries/Graph.pdb
SscBoogie/Binaries/Makefile
SscBoogie/Binaries/Microsoft.Contracts.dll
SscBoogie/Binaries/Model.dll
SscBoogie/Binaries/Model.pdb
SscBoogie/Binaries/PRELUDE.bpl
SscBoogie/Binaries/ParserHelper.dll
SscBoogie/Binaries/ParserHelper.pdb
SscBoogie/Binaries/PrepareSpecSharpZip.bat
SscBoogie/Binaries/Provers.SMTLib.dll
SscBoogie/Binaries/Provers.SMTLib.pdb
SscBoogie/Binaries/Provers.Simplify.dll
SscBoogie/Binaries/Provers.Simplify.pdb
SscBoogie/Binaries/Provers.Z3.dll
SscBoogie/Binaries/Provers.Z3.pdb
SscBoogie/Binaries/TypedUnivBackPred2.sx
SscBoogie/Binaries/UnivBackPred2.smt
SscBoogie/Binaries/UnivBackPred2.sx
SscBoogie/Binaries/VCExpr.dll
SscBoogie/Binaries/VCExpr.pdb
SscBoogie/Binaries/VCGeneration.dll
SscBoogie/Binaries/VCGeneration.pdb
SscBoogie/Binaries/readme.txt
SscBoogie/Source/BytecodeTranslation/BytecodeTranslation.sscproj
SscBoogie/Source/BytecodeTranslation/CilTranslator.ssc
SscBoogie/Source/BytecodeTranslation/CmdArgs.ssc
SscBoogie/Source/BytecodeTranslation/ExperimentalOwnershipModel.ssc
SscBoogie/Source/BytecodeTranslation/ExpressionTranslator.ssc
SscBoogie/Source/BytecodeTranslation/FrameConditions.ssc
SscBoogie/Source/BytecodeTranslation/InstructionTranslator.ssc
SscBoogie/Source/BytecodeTranslation/InstructionTranslatorHelpers.ssc
SscBoogie/Source/BytecodeTranslation/MethodRepository.ssc
SscBoogie/Source/BytecodeTranslation/MethodSignature.ssc
SscBoogie/Source/BytecodeTranslation/OwnershipModel.ssc
SscBoogie/Source/BytecodeTranslation/ParameterConditions.ssc
SscBoogie/Source/BytecodeTranslation/PreTranslation.ssc
SscBoogie/Source/BytecodeTranslation/Quantifiers.ssc
SscBoogie/Source/BytecodeTranslation/Sink.ssc
SscBoogie/Source/BytecodeTranslation/SscBoogieOptions.ssc
SscBoogie/Source/BytecodeTranslation/StandardOwnershipModel.ssc
SscBoogie/Source/BytecodeTranslation/StringBank.ssc
SscBoogie/Source/BytecodeTranslation/Translate.ssc
SscBoogie/Source/BytecodeTranslation/Translator.ssc
SscBoogie/Source/BytecodeTranslation/TrivialOwnershipModel.ssc
SscBoogie/Source/BytecodeTranslation/TypeAssignment.ssc
SscBoogie/Source/CompilerPlugin/CompilerPlugin.sscproj
SscBoogie/Source/CompilerPlugin/Plugin.ssc
SscBoogie/Source/DriverHelper/DriverHelper.sscproj
SscBoogie/Source/DriverHelper/ErrorReporting.ssc
SscBoogie/Source/Prelude/Prelude.ssc
SscBoogie/Source/Prelude/Prelude.sscproj
SscBoogie/Source/SscBoogie.sln
SscBoogie/Source/SscBoogie/Main.ssc
SscBoogie/Source/SscBoogie/SscBoogie.sscproj
SscBoogie/Source/SscBoogie10.sln
SscBoogie/Source/SscBoogie9.sln
SscBoogie/Source/version.ssc
SscBoogie/Test/Bag/Answer
SscBoogie/Test/Bag/Bag.sln
SscBoogie/Test/Bag/Bag.ssc
SscBoogie/Test/Bag/Bag.sscproj
SscBoogie/Test/Bag/Bag0.ssc
SscBoogie/Test/Bag/Bag1.ssc
SscBoogie/Test/Bag/Bag2.ssc
SscBoogie/Test/Bag/Bag3.ssc
SscBoogie/Test/Bag/Bag4.ssc
SscBoogie/Test/Bag/Bag5.ssc
SscBoogie/Test/Bag/Bag6.ssc
SscBoogie/Test/Bag/Bag7.ssc
SscBoogie/Test/Bag/Bag8.sln
SscBoogie/Test/Bag/Bag8.ssc
SscBoogie/Test/Bag/Bag9.ssc
SscBoogie/Test/Bag/runtest.bat
SscBoogie/Test/BoundedStack/Answer
SscBoogie/Test/BoundedStack/BoundedStack.ssc
SscBoogie/Test/BoundedStack/runtest.bat
SscBoogie/Test/CollectBenchmarks.py
SscBoogie/Test/CompareAll
SscBoogie/Test/PrettySx/Answer
SscBoogie/Test/PrettySx/PrettySx.ssc
SscBoogie/Test/PrettySx/runtest.bat
SscBoogie/Test/WindowsCard/Answer
SscBoogie/Test/WindowsCard/WindowsCard.ssc
SscBoogie/Test/WindowsCard/runtest.bat
SscBoogie/Test/aitest9/ForLoop0.ssc
SscBoogie/Test/aitest9/Recursion0.ssc
SscBoogie/Test/aitest9/SimpleAssignments0.ssc
SscBoogie/Test/aitest9/SimpleAssignments1.ssc
SscBoogie/Test/aitest9/SimpleAssignments2.ssc
SscBoogie/Test/aitest9/SimpleAssignments3.ssc
SscBoogie/Test/aitest9/SimpleAssignments4.ssc
SscBoogie/Test/aitest9/SimpleWhile0.ssc
SscBoogie/Test/aitest9/SimpleWhile1.ssc
SscBoogie/Test/aitest9/SimpleWhile2.ssc
SscBoogie/Test/aitest9/SimpleWhile3.ssc
SscBoogie/Test/aitest9/SimpleWhile4.ssc
SscBoogie/Test/aitest9/SimpleWhile5.ssc
SscBoogie/Test/aitest9/answer
SscBoogie/Test/aitest9/runtest.bat
SscBoogie/Test/alltests.txt
SscBoogie/Test/bob/AllocHavoc.ssc
SscBoogie/Test/bob/Answer
SscBoogie/Test/bob/Bug163.ssc
SscBoogie/Test/bob/Change769.ssc
SscBoogie/Test/bob/Change773.ssc
SscBoogie/Test/bob/Change774.ssc
SscBoogie/Test/bob/Change775.ssc
SscBoogie/Test/bob/IndexerInExpr.ssc
SscBoogie/Test/bob/IntToString.ssc
SscBoogie/Test/bob/Literals.ssc
SscBoogie/Test/bob/NonNullAssumeOnIs.ssc
SscBoogie/Test/bob/StaticField.ssc
SscBoogie/Test/bob/loopinv0-nonnull.ssc
SscBoogie/Test/bob/runtest.bat
SscBoogie/Test/ccnet.runtestall.bat
SscBoogie/Test/chunker/Answer
SscBoogie/Test/chunker/Chunker.sln
SscBoogie/Test/chunker/Chunker.ssc
SscBoogie/Test/chunker/Chunker.sscproj
SscBoogie/Test/chunker/Chunker0.ssc
SscBoogie/Test/chunker/Chunker1.ssc
SscBoogie/Test/chunker/Chunker10-old.ssc
SscBoogie/Test/chunker/Chunker10.ssc
SscBoogie/Test/chunker/Chunker11-AdditiveExpose.ssc
SscBoogie/Test/chunker/Chunker11.ssc
SscBoogie/Test/chunker/Chunker11a.ssc
SscBoogie/Test/chunker/Chunker11b.ssc
SscBoogie/Test/chunker/Chunker11c.ssc
SscBoogie/Test/chunker/Chunker2.ssc
SscBoogie/Test/chunker/Chunker3.ssc
SscBoogie/Test/chunker/Chunker4.ssc
SscBoogie/Test/chunker/Chunker5.ssc
SscBoogie/Test/chunker/Chunker6.ssc
SscBoogie/Test/chunker/Chunker7.ssc
SscBoogie/Test/chunker/Chunker8.ssc
SscBoogie/Test/chunker/Chunker9.ssc
SscBoogie/Test/chunker/ChunkerAssume.ssc
SscBoogie/Test/chunker/ChunkerRep.ssc
SscBoogie/Test/chunker/runtest.bat
SscBoogie/Test/chunker/script.txt
SscBoogie/Test/filter.pl
SscBoogie/Test/framecond/Answer
SscBoogie/Test/framecond/Bad.ssc
SscBoogie/Test/framecond/Good.ssc
SscBoogie/Test/framecond/runtest.bat
SscBoogie/Test/iterators/Answer
SscBoogie/Test/iterators/AutoRange.ssc
SscBoogie/Test/iterators/ManualRange1.ssc
SscBoogie/Test/iterators/ManualRange2.ssc
SscBoogie/Test/iterators/runtest.bat
SscBoogie/Test/objinv/Answer
SscBoogie/Test/objinv/BasicMethodology.ssc
SscBoogie/Test/objinv/ExposelessUpdates.ssc
SscBoogie/Test/objinv/Interval.ssc
SscBoogie/Test/objinv/NotCommitted.ssc
SscBoogie/Test/objinv/Pack.ssc
SscBoogie/Test/objinv/ValidAndPrevalid.ssc
SscBoogie/Test/objinv/runtest.bat
SscBoogie/Test/quanttest/Answer
SscBoogie/Test/quanttest/quant0.ssc
SscBoogie/Test/quanttest/quant1.ssc
SscBoogie/Test/quanttest/quant2.ssc
SscBoogie/Test/quanttest/runtest.bat
SscBoogie/Test/rtest
SscBoogie/Test/rtestall
SscBoogie/Test/runtest.bat
SscBoogie/Test/runtestall.bat
SscBoogie/Test/test10/Answer
SscBoogie/Test/test10/AssignToNonInvariantField.ssc
SscBoogie/Test/test10/AssignToRepField.ssc
SscBoogie/Test/test10/Assumptions.ssc
SscBoogie/Test/test10/Capture.ssc
SscBoogie/Test/test10/PeerFields.ssc
SscBoogie/Test/test10/RepAssign.ssc
SscBoogie/Test/test10/runtest.bat
SscBoogie/Test/test11/AdditiveMethods.ssc
SscBoogie/Test/test11/Answer
SscBoogie/Test/test11/ArrayInit.ssc
SscBoogie/Test/test11/Boxes.ssc
SscBoogie/Test/test11/Branching.ssc
SscBoogie/Test/test11/CheckingConsistency.ssc
SscBoogie/Test/test11/CommittedOblivious.ssc
SscBoogie/Test/test11/DeferringConstructor.ssc
SscBoogie/Test/test11/ExplicitExposeVersionHavoc.ssc
SscBoogie/Test/test11/ExposeVersion.ssc
SscBoogie/Test/test11/LocalExpose.ssc
SscBoogie/Test/test11/ModelfieldTest.ssc
SscBoogie/Test/test11/Modifies.ssc
SscBoogie/Test/test11/Modifies2.ssc
SscBoogie/Test/test11/MustOverride.ssc
SscBoogie/Test/test11/PureAxioms.ssc
SscBoogie/Test/test11/PureMethodOverriding.ssc
SscBoogie/Test/test11/PureReceiverMightBeCommitted.ssc
SscBoogie/Test/test11/PureStaticMethods.ssc
SscBoogie/Test/test11/QuantifierVisibilityInvariant.ssc
SscBoogie/Test/test11/ResultNotNewlyAllocated.ssc
SscBoogie/Test/test11/SiblingConstructors.ssc
SscBoogie/Test/test11/Stack_issue10111.ssc
SscBoogie/Test/test11/StrictReadOnly.ssc
SscBoogie/Test/test11/StructTests.ssc
SscBoogie/Test/test11/Switch.ssc
SscBoogie/Test/test11/WhereClause.ssc
SscBoogie/Test/test11/runtest.bat
SscBoogie/Test/test12/Answer
SscBoogie/Test/test12/List.ssc
SscBoogie/Test/test12/List2.ssc
SscBoogie/Test/test12/List3.ssc
SscBoogie/Test/test12/Spouse.ssc
SscBoogie/Test/test12/VisibilityBasedInvariants.ssc
SscBoogie/Test/test12/runtest.bat
SscBoogie/Test/test13/Answer
SscBoogie/Test/test13/ArgList.ssc
SscBoogie/Test/test13/ArrayCopy.ssc
SscBoogie/Test/test13/DelayedPreconditions.ssc
SscBoogie/Test/test13/Enums.ssc
SscBoogie/Test/test13/ErrorTraceTestDefaultLoopInvViolation.ssc
SscBoogie/Test/test13/ErrorTraceTestLoopInvViolation.ssc
SscBoogie/Test/test13/ExistsUnique.ssc
SscBoogie/Test/test13/GenericOwnership.ssc
SscBoogie/Test/test13/ImplicitInterfaceImplementation.ssc
SscBoogie/Test/test13/IntArrayRanges.ssc
SscBoogie/Test/test13/LoopInvariantForQuantifiers.ssc
SscBoogie/Test/test13/OwnershipTest.ssc
SscBoogie/Test/test13/Param.ssc
SscBoogie/Test/test13/PeerElementsAndCapture.ssc
SscBoogie/Test/test13/PreviousErrorRelated.ssc
SscBoogie/Test/test13/Product.ssc
SscBoogie/Test/test13/Summations.ssc
SscBoogie/Test/test13/Test1.ssc
SscBoogie/Test/test13/TwoTypes.ssc
SscBoogie/Test/test13/UseAssertInitialized.ssc
SscBoogie/Test/test13/runtest.bat
SscBoogie/Test/test14/Answer
SscBoogie/Test/test14/runtest.bat
SscBoogie/Test/test15/Answer
SscBoogie/Test/test15/ArrayIndexOutOfBounds.ssc
SscBoogie/Test/test15/BagAdding.ssc
SscBoogie/Test/test15/BinarySearch.ssc
SscBoogie/Test/test15/BoundedLinearSearch.ssc
SscBoogie/Test/test15/CapturedParameter.ssc
SscBoogie/Test/test15/ChunkerInv.ssc
SscBoogie/Test/test15/DivisionByZero.ssc
SscBoogie/Test/test15/Factorial0.ssc
SscBoogie/Test/test15/Factorial1.ssc
SscBoogie/Test/test15/HiddenConstructor.ssc
SscBoogie/Test/test15/MissingPeerDec.ssc
SscBoogie/Test/test15/ModifiesMoreThanAllowed.ssc
SscBoogie/Test/test15/ModifiesOrderAssignmentMethod.ssc
SscBoogie/Test/test15/ModifiesSubsetMethodCall.ssc
SscBoogie/Test/test15/ModifiesSubsetMethodCall1.ssc
SscBoogie/Test/test15/ObjectInv.ssc
SscBoogie/Test/test15/OldInQuantifier.ssc
SscBoogie/Test/test15/Rectangle.ssc
SscBoogie/Test/test15/SumZeroToN0.ssc
SscBoogie/Test/test15/SumZeroToN1.ssc
SscBoogie/Test/test15/SumZeroToN2.ssc
SscBoogie/Test/test15/Summation.ssc
SscBoogie/Test/test15/SummationToN.ssc
SscBoogie/Test/test15/runtest.bat
SscBoogie/Test/test16/Answer
SscBoogie/Test/test16/Chunker.ssc
SscBoogie/Test/test16/FoxtrotChecking.ssc
SscBoogie/Test/test16/FoxtrotLoops1.ssc
SscBoogie/Test/test16/FoxtrotLoops5.ssc
SscBoogie/Test/test16/runtest.bat
SscBoogie/Test/test18/Answer
SscBoogie/Test/test18/BagDataRefinement.ssc
SscBoogie/Test/test18/ConstructorInContract.ssc
SscBoogie/Test/test18/PureIsBaseCall.ssc
SscBoogie/Test/test18/runtest.bat
SscBoogie/Test/test22/Answer
SscBoogie/Test/test22/DrawingEngine.ssc
SscBoogie/Test/test22/runtest.bat
SscBoogie/Test/test3/AddMethod.ssc
SscBoogie/Test/test3/AdvancedTypes.ssc
SscBoogie/Test/test3/Alloc.ssc
SscBoogie/Test/test3/Answer
SscBoogie/Test/test3/Array.ssc
SscBoogie/Test/test3/Array2.ssc
SscBoogie/Test/test3/AssertFalse.ssc
SscBoogie/Test/test3/B.ssc
SscBoogie/Test/test3/BClient.ssc
SscBoogie/Test/test3/Call.ssc
SscBoogie/Test/test3/ConstructorVisibility.ssc
SscBoogie/Test/test3/DynamicTypes.ssc
SscBoogie/Test/test3/EnsuresFalse.ssc
SscBoogie/Test/test3/ExactTypes.ssc
SscBoogie/Test/test3/Generic.ssc
SscBoogie/Test/test3/Global.ssc
SscBoogie/Test/test3/Iff.ssc
SscBoogie/Test/test3/Immutable.ssc
SscBoogie/Test/test3/Main.ssc
SscBoogie/Test/test3/Operators.ssc
SscBoogie/Test/test3/ParamInAssert.ssc
SscBoogie/Test/test3/Strengthen.ssc
SscBoogie/Test/test3/Strings.ssc
SscBoogie/Test/test3/Subclass.ssc
SscBoogie/Test/test3/Typeof.ssc
SscBoogie/Test/test3/Types.ssc
SscBoogie/Test/test3/runtest.bat
SscBoogie/Test/test5/AndNumbers.ssc
SscBoogie/Test/test5/Answer
SscBoogie/Test/test5/BoxedInt.ssc
SscBoogie/Test/test5/Cast.ssc
SscBoogie/Test/test5/DefinedExpressions.ssc
SscBoogie/Test/test5/DoWhileBad.ssc
SscBoogie/Test/test5/DoWhileGood.ssc
SscBoogie/Test/test5/Ensures.ssc
SscBoogie/Test/test5/Finally.ssc
SscBoogie/Test/test5/InitObj.ssc
SscBoogie/Test/test5/InitialValuesBad.ssc
SscBoogie/Test/test5/InitialValuesGood.ssc
SscBoogie/Test/test5/ModifiesClauses.ssc
SscBoogie/Test/test5/Parameters.ssc
SscBoogie/Test/test5/ParametersBad.ssc
SscBoogie/Test/test5/PeerModifiesClauses.ssc
SscBoogie/Test/test5/PureCall.ssc
SscBoogie/Test/test5/Search.ssc
SscBoogie/Test/test5/StaticFields.ssc
SscBoogie/Test/test5/TypeReconstruction.ssc
SscBoogie/Test/test5/Unsigned.ssc
SscBoogie/Test/test5/WhereMotivation.ssc
SscBoogie/Test/test5/WhileBad.ssc
SscBoogie/Test/test5/WhileGood.ssc
SscBoogie/Test/test5/runtest.bat
SscBoogie/Test/test6/AllocBeforeLoop.ssc
SscBoogie/Test/test6/Answer
SscBoogie/Test/test6/CallLoop.ssc
SscBoogie/Test/test6/DefaultLoopInv0.ssc
SscBoogie/Test/test6/Factory.ssc
SscBoogie/Test/test6/FieldUpdateLoop.ssc
SscBoogie/Test/test6/Irreducible.ssc
SscBoogie/Test/test6/ModifyOther.ssc
SscBoogie/Test/test6/PeerConsistentLoop.ssc
SscBoogie/Test/test6/WhileTrueLoop.ssc
SscBoogie/Test/test6/runtest.bat
SscBoogie/Test/test8/Answer
SscBoogie/Test/test8/Delegate.ssc
SscBoogie/Test/test8/runtest.bat
SscBoogie/Test/test9/Answer
SscBoogie/Test/test9/MethodCallInContracts.ssc
SscBoogie/Test/test9/ParamOut.ssc
SscBoogie/Test/test9/RoadblockDup.ssc
SscBoogie/Test/test9/runtest.bat
SscBoogie/Test/textbook/Answer
SscBoogie/Test/textbook/BinarySearch.ssc
SscBoogie/Test/textbook/BinarySearchTree.ssc
SscBoogie/Test/textbook/BoundedLinearSearch.ssc
SscBoogie/Test/textbook/BubbleSort.ssc
SscBoogie/Test/textbook/CircularQueue.ssc
SscBoogie/Test/textbook/CoincidenceCount.ssc
SscBoogie/Test/textbook/CoincidenceCountAlterInvariant.ssc
SscBoogie/Test/textbook/CoincidenceCountEfficient.ssc
SscBoogie/Test/textbook/CoincidenceCountEfficient1.ssc
SscBoogie/Test/textbook/CoincidenceCountEfficient2.ssc
SscBoogie/Test/textbook/CountNonNulls.ssc
SscBoogie/Test/textbook/CountQuantifier.ssc
SscBoogie/Test/textbook/Cubes.ssc
SscBoogie/Test/textbook/DutchNationalFlag.ssc
SscBoogie/Test/textbook/Factorial.ssc
SscBoogie/Test/textbook/Factorial_rec.ssc
SscBoogie/Test/textbook/Fibonacci.ssc
SscBoogie/Test/textbook/InsertionSort.ssc
SscBoogie/Test/textbook/MaxMinClass.ssc
SscBoogie/Test/textbook/MinimalSegmentSum.ssc
SscBoogie/Test/textbook/Multiply.ssc
SscBoogie/Test/textbook/Quadruple.ssc
SscBoogie/Test/textbook/Queue.ssc
SscBoogie/Test/textbook/SegmentSum.ssc
SscBoogie/Test/textbook/Sqrt.ssc
SscBoogie/Test/textbook/Square.ssc
SscBoogie/Test/textbook/Stack.ssc
SscBoogie/Test/textbook/Sum.ssc
SscBoogie/Test/textbook/SumClass.ssc
SscBoogie/Test/textbook/SumEven.ssc
SscBoogie/Test/textbook/SumEvenClassPure.ssc
SscBoogie/Test/textbook/SumEvenClassPure1.ssc
SscBoogie/Test/textbook/SumEvenFilters.ssc
SscBoogie/Test/textbook/Sum_2DArray.ssc
SscBoogie/Test/textbook/Sum_x_values.ssc
SscBoogie/Test/textbook/double.ssc
SscBoogie/Test/textbook/min_max_xy.ssc
SscBoogie/Test/textbook/runtest.bat
SscBoogie/Test/tutorial/Answer
SscBoogie/Test/tutorial/Fig0-NonNull.ssc
SscBoogie/Test/tutorial/Fig1-ISqrt.ssc
SscBoogie/Test/tutorial/Fig10-Controller.ssc
SscBoogie/Test/tutorial/Fig11-Dictionary.ssc
SscBoogie/Test/tutorial/Fig12-Collection.ssc
SscBoogie/Test/tutorial/Fig13-NonNullElements.ssc
SscBoogie/Test/tutorial/Fig14-DrawingEngine-Array.ssc
SscBoogie/Test/tutorial/Fig15-DrawingEngine-Generic.ssc
SscBoogie/Test/tutorial/Fig16-Band.ssc
SscBoogie/Test/tutorial/Fig17-Iterator.ssc
SscBoogie/Test/tutorial/Fig18-Counter.ssc
SscBoogie/Test/tutorial/Fig19-Counter.ssc
SscBoogie/Test/tutorial/Fig2-Counter.ssc
SscBoogie/Test/tutorial/Fig20-Counter.ssc
SscBoogie/Test/tutorial/Fig3-LinearSearch.ssc
SscBoogie/Test/tutorial/Fig4-BinarySearch.ssc
SscBoogie/Test/tutorial/Fig5-Rectangle.ssc
SscBoogie/Test/tutorial/Fig6-Swap.ssc
SscBoogie/Test/tutorial/Fig7-Override.ssc
SscBoogie/Test/tutorial/Fig8-Band.ssc
SscBoogie/Test/tutorial/Output
SscBoogie/Test/tutorial/Sec1.4-ContrivedModification.ssc
SscBoogie/Test/tutorial/Sec2.1-Visibility.ssc
SscBoogie/Test/tutorial/Sec2.2-Additive.ssc
SscBoogie/Test/tutorial/Sec2.3-BaseCall.ssc
SscBoogie/Test/tutorial/Sec2.3-Delayed.ssc
SscBoogie/Test/tutorial/Sec3.1-Inside.ssc
SscBoogie/Test/tutorial/Sec3.1-PeerConsistency.ssc
SscBoogie/Test/tutorial/Sec4.0-CovariantArrays.ssc
SscBoogie/Test/tutorial/Sec7.0-AdditiveCounter.ssc
SscBoogie/Test/tutorial/Sec7.0-SealedCounter.ssc
SscBoogie/Test/tutorial/Sec7.2-Dependencies.ssc
SscBoogie/Test/tutorial/Sec7.2-Determinism.ssc
SscBoogie/Test/tutorial/Sec7.2-Feasibility.ssc
SscBoogie/Test/tutorial/Sec7.2-Recursion.ssc
SscBoogie/Test/tutorial/runtest.bat
_admin/README.TXT
_admin/SpecSharp/aste/summary.log
_admin/SscBoogie/aste/summary.log