ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs ironclad-apps/tools/NuBuild/NuBuild/Program.cs ironclad-apps/tools/NuBuild2/NuBuild/Program.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs ironclad-apps/tools/NuBuild/NuBuild/Repository.cs ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs ironclad-apps/tools/NuBuild/AzureManager/Program.cs ironclad-apps/tools/NuBuild2/AzureManager/Program.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs ironclad-apps/tools/NuBuild/NuBuild/Job.cs ironclad-apps/tools/NuBuild2/NuBuild/Job.cs ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs ironclad-apps/tools/NuBuild/NuBuild/Presentater.cs ironclad-apps/tools/NuBuild2/NuBuild/Presentater.cs ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs ironclad-apps/tools/NuBuild/NuBuild/ProcessInvokeAsyncWorker.cs ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvokeAsyncWorker.cs ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionEngine.cs ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionEngine.cs ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs ironclad-apps/tools/NuBuild/NuBuild/Presentation.cs ironclad-apps/tools/NuBuild2/NuBuild/Presentation.cs ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs ironclad-apps/tools/NuBuild/NuBuild/WaitIndex.cs ironclad-apps/tools/NuBuild2/NuBuild/WaitIndex.cs ironclad-apps/tools/NuBuild/NuBuild/ProcessInvoker.cs ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvoker.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs ironclad-apps/tools/NuBuild/NuBuild/Verb.cs ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs ironclad-apps/tools/NuBuild/NuBuild/BuildEngine.cs ironclad-apps/tools/NuBuild2/NuBuild/BuildEngine.cs ironclad-apps/tools/NuBuild/NuBuild/LinkerVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/LinkerVerb.cs ironclad-apps/tools/NuBuild/NuBuild/BeatVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/BeatVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs ironclad-apps/tools/NuBuild/NuBuild/CloudSubmitter.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudSubmitter.cs ironclad-apps/tools/NuBuild/NuBuild/Disposition.cs ironclad-apps/tools/NuBuild2/NuBuild/Disposition.cs ironclad-apps/tools/NuBuild/NuBuild/Util.cs ironclad-apps/tools/NuBuild2/NuBuild/Util.cs ironclad-apps/tools/NuBuild/NuBuild/PathNormalizer.cs ironclad-apps/tools/NuBuild2/NuBuild/PathNormalizer.cs ironclad-apps/tools/NuBuild/CloudQueueTool/Program.cs ironclad-apps/tools/NuBuild2/CloudQueueTool/Program.cs ironclad-apps/tools/NuBuild/NuBuild/BeatIncludes.cs ironclad-apps/tools/NuBuild2/NuBuild/BeatIncludes.cs ironclad-apps/tools/NuBuild/NuBuild/NMakeVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/NMakeVerb.cs ironclad-apps/tools/NuBuild/NuBuild/WinLinkerVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/WinLinkerVerb.cs ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs ironclad-apps/tools/NuBuild/NuBuild/SourcePathIncludeContext.cs ironclad-apps/tools/NuBuild2/NuBuild/SourcePathIncludeContext.cs ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyIncludes.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyIncludes.cs ironclad-apps/tools/NuBuild/NuBuild/AnnotationScanner.cs ironclad-apps/tools/NuBuild2/NuBuild/AnnotationScanner.cs ironclad-apps/tools/NuBuild/NuBuildExecutionService/NuBuildExecutionService.ccproj ironclad-apps/tools/NuBuild2/NuBuildExecutionService/NuBuildExecutionService.ccproj ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs ironclad-apps/tools/NuBuild/NuBuild/PresentationBuilder.cs ironclad-apps/tools/NuBuild2/NuBuild/PresentationBuilder.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffExtractVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffExtractVerb.cs ironclad-apps/tools/NuBuild/NuBuild/MasmVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/MasmVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DafnySpecVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnySpecVerb.cs ironclad-apps/tools/NuBuild/NuBuild/OrderPreservingSet.cs ironclad-apps/tools/NuBuild2/NuBuild/OrderPreservingSet.cs ironclad-apps/tools/NuBuild/NuBuild/AsmRewriterVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/AsmRewriterVerb.cs ironclad-apps/tools/NuBuild/ItemCacheTool/CacheState.cs ironclad-apps/tools/NuBuild2/ItemCacheTool/CacheState.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffCombineVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffCombineVerb.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs ironclad-apps/tools/NuBuild/NuBuild/AbstractId.cs ironclad-apps/tools/NuBuild2/NuBuild/AbstractId.cs ironclad-apps/tools/NuBuild/NuBuild/IItemCache.cs ironclad-apps/tools/NuBuild2/NuBuild/IItemCache.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerificationObligationListVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerificationObligationListVerb.cs ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmWorkerBase.cs ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmWorkerBase.cs ironclad-apps/tools/NuBuild/NuBuild/ContextGeneratingVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/ContextGeneratingVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeConfigVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeConfigVerb.cs ironclad-apps/tools/NuBuild/NuBuild/PoundDefines.cs ironclad-apps/tools/NuBuild2/NuBuild/PoundDefines.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffInferVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffInferVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyOneVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyOneVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerbToposorter.cs ironclad-apps/tools/NuBuild2/NuBuild/VerbToposorter.cs ironclad-apps/tools/NuBuild/NuBuild/CachedHash.cs ironclad-apps/tools/NuBuild2/NuBuild/CachedHash.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationObligationList.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationObligationList.cs ironclad-apps/tools/NuBuild/NuBuild/SourcePath.cs ironclad-apps/tools/NuBuild2/NuBuild/SourcePath.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeVerb.cs ironclad-apps/tools/NuBuild/NuBuild/CustomManifestParser.cs ironclad-apps/tools/NuBuild2/NuBuild/CustomManifestParser.cs ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContext.cs ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContext.cs ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DependencyCache.cs ironclad-apps/tools/NuBuild2/NuBuild/DependencyCache.cs ironclad-apps/tools/NuBuild/NuBuild/BuildObjectValuePointer.cs ironclad-apps/tools/NuBuild2/NuBuild/BuildObjectValuePointer.cs ironclad-apps/tools/NuBuild/NuBuild/VSSolutionParser.cs ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionParser.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationRequest.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationRequest.cs ironclad-apps/tools/NuBuild/NuBuild/ConcatContextVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/ConcatContextVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationMessage.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationMessage.cs ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContextVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContextVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmLinkVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmLinkVerb.cs ironclad-apps/tools/NuBuild/NuBuild/WorkingDirectory.cs ironclad-apps/tools/NuBuild2/NuBuild/WorkingDirectory.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs ironclad-apps/tools/NuBuild/NuBuild/Hasher.cs ironclad-apps/tools/NuBuild2/NuBuild/Hasher.cs ironclad-apps/tools/NuBuild/NuBuild/BasmObligationIncludes.cs ironclad-apps/tools/NuBuild2/NuBuild/BasmObligationIncludes.cs ironclad-apps/tools/NuBuild/NuBuild/ConcatContext.cs ironclad-apps/tools/NuBuild2/NuBuild/ConcatContext.cs ironclad-apps/tools/NuBuild/NuBuild/StaticContextVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/StaticContextVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DbgVerbCounter.cs ironclad-apps/tools/NuBuild2/NuBuild/DbgVerbCounter.cs ironclad-apps/tools/NuBuild/NuBuild/DbgFileCopySpeedTest.cs ironclad-apps/tools/NuBuild2/NuBuild/DbgFileCopySpeedTest.cs ironclad-apps/tools/NuBuild/NuBuild/VerbSyncWorker.cs ironclad-apps/tools/NuBuild2/NuBuild/VerbSyncWorker.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionWaiter.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionWaiter.cs ironclad-apps/tools/NuBuild/NuBuild/BasmTransitiveDepsVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/BasmTransitiveDepsVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyExtensions.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyExtensions.cs ironclad-apps/tools/NuBuild/NuBuild/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild2/NuBuild/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs ironclad-apps/tools/NuBuild/NuBuild/Logger.cs ironclad-apps/tools/NuBuild2/NuBuild/Logger.cs ironclad-apps/tools/NuBuild/AzureManager/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild2/AzureManager/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild/CloudExecutionWorker/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild2/CloudExecutionWorker/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild/CloudQueueTool/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild2/CloudQueueTool/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild/CloudExecutionEngine/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild2/CloudExecutionEngine/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild/NuBuild/IVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/IVerb.cs ironclad-apps/tools/NuBuild/ItemCacheTool/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild2/ItemCacheTool/Properties/AssemblyInfo.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffEngine.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffEngine.cs ironclad-apps/tools/NuBuild/NuBuild/DependencyDisposition.cs ironclad-apps/tools/NuBuild2/NuBuild/DependencyDisposition.cs ironclad-apps/tools/NuBuild/NuBuild/IVerbWorker.cs ironclad-apps/tools/NuBuild2/NuBuild/IVerbWorker.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs ironclad-apps/tools/NuBuild/CloudExecutionWorker/WorkerRole.cs ironclad-apps/tools/NuBuild2/CloudExecutionWorker/WorkerRole.cs ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsContents.cs ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsContents.cs ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyTransitiveDepsVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransitiveDepsVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DbgHashSpeedTest.cs ironclad-apps/tools/NuBuild2/NuBuild/DbgHashSpeedTest.cs ironclad-apps/tools/NuBuild/NuBuild/ContextContents.cs ironclad-apps/tools/NuBuild2/NuBuild/ContextContents.cs ironclad-apps/tools/NuBuild/NuBuild/IncludePathContext.cs ironclad-apps/tools/NuBuild2/NuBuild/IncludePathContext.cs ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs ironclad-apps/tools/NuBuild/NuBuild/IVerificationResultParser.cs ironclad-apps/tools/NuBuild2/NuBuild/IVerificationResultParser.cs ironclad-apps/tools/NuBuild/NuBuild/IronRootDirectory.cs ironclad-apps/tools/NuBuild2/NuBuild/IronRootDirectory.cs ironclad-apps/tools/NuBuild/NuBuild/IProcessInvoker.cs ironclad-apps/tools/NuBuild2/NuBuild/IProcessInvoker.cs ironclad-apps/tools/NuBuild/NuBuild/IContextGeneratingVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/IContextGeneratingVerb.cs ironclad-apps/tools/NuBuild/NuBuild/ObjectMissingFromCacheException.cs ironclad-apps/tools/NuBuild2/NuBuild/ObjectMissingFromCacheException.cs ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VirtualBuildObject.cs ironclad-apps/tools/NuBuild2/NuBuild/VirtualBuildObject.cs ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs