Path	Lines of Code
ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs	92
ironclad-apps/tools/NuBuild/AzureManager/Program.cs	192
ironclad-apps/tools/NuBuild/AzureManager/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs	167
ironclad-apps/tools/NuBuild/CloudExecutionEngine/Program.cs	16
ironclad-apps/tools/NuBuild/CloudExecutionEngine/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionEngine.cs	128
ironclad-apps/tools/NuBuild/CloudExecutionWorker/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild/CloudExecutionWorker/WorkerRole.cs	28
ironclad-apps/tools/NuBuild/CloudQueueTool/Program.cs	96
ironclad-apps/tools/NuBuild/CloudQueueTool/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild/ItemCacheTool/CacheState.cs	81
ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs	457
ironclad-apps/tools/NuBuild/ItemCacheTool/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild/NuBuild/AbstractId.cs	61
ironclad-apps/tools/NuBuild/NuBuild/AnnotationScanner.cs	94
ironclad-apps/tools/NuBuild/NuBuild/AsmRewriterVerb.cs	68
ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs	144
ironclad-apps/tools/NuBuild/NuBuild/BasmObligationIncludes.cs	31
ironclad-apps/tools/NuBuild/NuBuild/BasmTransitiveDepsVerb.cs	30
ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs	109
ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs	147
ironclad-apps/tools/NuBuild/NuBuild/BeatIncludes.cs	111
ironclad-apps/tools/NuBuild/NuBuild/BeatVerb.cs	105
ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs	218
ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmLinkVerb.cs	42
ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerificationObligationListVerb.cs	64
ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs	155
ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmWorkerBase.cs	58
ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs	178
ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs	106
ironclad-apps/tools/NuBuild/NuBuild/BuildEngine.cs	123
ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs	144
ironclad-apps/tools/NuBuild/NuBuild/BuildObjectValuePointer.cs	41
ironclad-apps/tools/NuBuild/NuBuild/CachedHash.cs	51
ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs	196
ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs	260
ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs	277
ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionWaiter.cs	28
ironclad-apps/tools/NuBuild/NuBuild/CloudSubmitter.cs	96
ironclad-apps/tools/NuBuild/NuBuild/ConcatContext.cs	33
ironclad-apps/tools/NuBuild/NuBuild/ConcatContextVerb.cs	43
ironclad-apps/tools/NuBuild/NuBuild/ContextContents.cs	18
ironclad-apps/tools/NuBuild/NuBuild/ContextGeneratingVerb.cs	66
ironclad-apps/tools/NuBuild/NuBuild/CustomManifestParser.cs	59
ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs	95
ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs	137
ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs	47
ironclad-apps/tools/NuBuild/NuBuild/DafnyExtensions.cs	28
ironclad-apps/tools/NuBuild/NuBuild/DafnyIncludes.cs	100
ironclad-apps/tools/NuBuild/NuBuild/DafnySpecVerb.cs	80
ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs	215
ironclad-apps/tools/NuBuild/NuBuild/DafnyTransitiveDepsVerb.cs	21
ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyOneVerb.cs	103
ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs	84
ironclad-apps/tools/NuBuild/NuBuild/DbgFileCopySpeedTest.cs	31
ironclad-apps/tools/NuBuild/NuBuild/DbgHashSpeedTest.cs	20
ironclad-apps/tools/NuBuild/NuBuild/DbgVerbCounter.cs	35
ironclad-apps/tools/NuBuild/NuBuild/DependencyCache.cs	44
ironclad-apps/tools/NuBuild/NuBuild/DependencyDisposition.cs	26
ironclad-apps/tools/NuBuild/NuBuild/Disposition.cs	127
ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs	110
ironclad-apps/tools/NuBuild/NuBuild/Hasher.cs	32
ironclad-apps/tools/NuBuild/NuBuild/IAsmProducer.cs	9
ironclad-apps/tools/NuBuild/NuBuild/IContextGeneratingVerb.cs	12
ironclad-apps/tools/NuBuild/NuBuild/IHasher.cs	11
ironclad-apps/tools/NuBuild/NuBuild/IIncludeFactory.cs	10
ironclad-apps/tools/NuBuild/NuBuild/IIncludePathContext.cs	9
ironclad-apps/tools/NuBuild/NuBuild/IItemCache.cs	46
ironclad-apps/tools/NuBuild/NuBuild/IObligationsProducer.cs	9
ironclad-apps/tools/NuBuild/NuBuild/IProcessInvokeAsyncVerb.cs	10
ironclad-apps/tools/NuBuild/NuBuild/IProcessInvoker.cs	11
ironclad-apps/tools/NuBuild/NuBuild/IRejectable.cs	9
ironclad-apps/tools/NuBuild/NuBuild/IVerb.cs	21
ironclad-apps/tools/NuBuild/NuBuild/IVerbWorker.cs	21
ironclad-apps/tools/NuBuild/NuBuild/IVerificationResultParser.cs	13
ironclad-apps/tools/NuBuild/NuBuild/IncludePathContext.cs	18
ironclad-apps/tools/NuBuild/NuBuild/IronRootDirectory.cs	17
ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs	157
ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs	94
ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs	135
ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs	138
ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs	239
ironclad-apps/tools/NuBuild/NuBuild/Job.cs	179
ironclad-apps/tools/NuBuild/NuBuild/LinkerVerb.cs	114
ironclad-apps/tools/NuBuild/NuBuild/Logger.cs	28
ironclad-apps/tools/NuBuild/NuBuild/MasmVerb.cs	73
ironclad-apps/tools/NuBuild/NuBuild/NMakeVerb.cs	89
ironclad-apps/tools/NuBuild/NuBuild/ObjectFailedException.cs	12
ironclad-apps/tools/NuBuild/NuBuild/ObjectMissingFromCacheException.cs	14
ironclad-apps/tools/NuBuild/NuBuild/ObjectNotReadyException.cs	12
ironclad-apps/tools/NuBuild/NuBuild/OrderPreservingSet.cs	84
ironclad-apps/tools/NuBuild/NuBuild/PathNormalizer.cs	120
ironclad-apps/tools/NuBuild/NuBuild/PoundDefines.cs	60
ironclad-apps/tools/NuBuild/NuBuild/Presentater.cs	200
ironclad-apps/tools/NuBuild/NuBuild/Presentation.cs	137
ironclad-apps/tools/NuBuild/NuBuild/PresentationBuilder.cs	87
ironclad-apps/tools/NuBuild/NuBuild/ProcessInvokeAsyncWorker.cs	146
ironclad-apps/tools/NuBuild/NuBuild/ProcessInvoker.cs	140
ironclad-apps/tools/NuBuild/NuBuild/Program.cs	377
ironclad-apps/tools/NuBuild/NuBuild/Properties/AssemblyInfo.cs	15
ironclad-apps/tools/NuBuild/NuBuild/Repository.cs	285
ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs	135
ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs	426
ironclad-apps/tools/NuBuild/NuBuild/SourceConfigurationError.cs	12
ironclad-apps/tools/NuBuild/NuBuild/SourcePath.cs	50
ironclad-apps/tools/NuBuild/NuBuild/SourcePathIncludeContext.cs	98
ironclad-apps/tools/NuBuild/NuBuild/StaticContextVerb.cs	31
ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs	71
ironclad-apps/tools/NuBuild/NuBuild/SymDiffCombineVerb.cs	60
ironclad-apps/tools/NuBuild/NuBuild/SymDiffEngine.cs	20
ironclad-apps/tools/NuBuild/NuBuild/SymDiffExtractVerb.cs	75
ironclad-apps/tools/NuBuild/NuBuild/SymDiffInferVerb.cs	57
ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs	58
ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeConfigVerb.cs	51
ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeVerb.cs	49
ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsContents.cs	26
ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs	126
ironclad-apps/tools/NuBuild/NuBuild/UnverifiedSentinelVirtualContents.cs	9
ironclad-apps/tools/NuBuild/NuBuild/UserError.cs	12
ironclad-apps/tools/NuBuild/NuBuild/Util.cs	120
ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs	125
ironclad-apps/tools/NuBuild/NuBuild/VSSolutionParser.cs	48
ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs	88
ironclad-apps/tools/NuBuild/NuBuild/Verb.cs	128
ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContext.cs	54
ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContextVerb.cs	37
ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs	192
ironclad-apps/tools/NuBuild/NuBuild/VerbSyncWorker.cs	30
ironclad-apps/tools/NuBuild/NuBuild/VerbToposorter.cs	55
ironclad-apps/tools/NuBuild/NuBuild/VerificationMessage.cs	40
ironclad-apps/tools/NuBuild/NuBuild/VerificationObligationList.cs	57
ironclad-apps/tools/NuBuild/NuBuild/VerificationRequest.cs	47
ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs	224
ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs	66
ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs	60
ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs	200
ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs	55
ironclad-apps/tools/NuBuild/NuBuild/VirtualBuildObject.cs	14
ironclad-apps/tools/NuBuild/NuBuild/VirtualContents.cs	8
ironclad-apps/tools/NuBuild/NuBuild/WaitIndex.cs	143
ironclad-apps/tools/NuBuild/NuBuild/WinLinkerVerb.cs	92
ironclad-apps/tools/NuBuild/NuBuild/WorkingDirectory.cs	41
ironclad-apps/tools/NuBuild/NuBuild/XmlFiller.cs	10
ironclad-apps/tools/NuBuild/NuBuildExecutionService/NuBuildExecutionService.ccproj	63
ironclad-apps/tools/NuBuild/NuBuildExecutionService/ServiceConfiguration.Cloud.cscfg	8
ironclad-apps/tools/NuBuild/NuBuildExecutionService/ServiceConfiguration.Local.cscfg	8
ironclad-apps/tools/NuBuild/NuBuildExecutionService/ServiceDefinition.csdef	9