path	# lines of code
ironclad-apps/boot/boot-cp.cmd	40
ironclad-apps/build-tools.ps1	17
ironclad-apps/def.ps1	348
ironclad-apps/env.ps1	5
ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h	1022
ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc	325
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp	457
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcdrom.cpp	352
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp	184
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry.cpp	111
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm	1458
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp	852
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blflash.cpp	109
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd.cpp	91
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.cpp	391
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.h	399
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkdcom.cpp	228
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blmm.cpp	632
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blmps.cpp	72
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpci.cpp	370
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpecoff.cpp	336
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpnp.cpp	229
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpool.cpp	231
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpxe.cpp	399
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blsingularity.cpp	682
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blsmap.cpp	94
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp	679
ironclad-apps/src/Checked/BootLoader/SingLdrPc/bltrap.cpp	139
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blutil.cpp	514
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blvesa.cpp	153
ironclad-apps/src/Checked/BootLoader/SingLdrPc/blvideo.cpp	144
ironclad-apps/src/Checked/BootLoader/SingLdrPc/platform.h	196
ironclad-apps/src/Checked/BootLoader/SingLdrPc/tpm/aik.cpp	561
ironclad-apps/src/Checked/BootLoader/SingLdrPc/tpm/aik.h	2
ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm	1348
ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm	124
ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm	130
ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm	111
ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm	380
ironclad-apps/src/Clients/Benchmark/BenchSpec.py	34
ironclad-apps/src/Clients/Benchmark/BenchmarkAnalyzer.py	80
ironclad-apps/src/Clients/Benchmark/BenchmarkDriver.py	50
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestCmd/GlobalSuppressions.cs	17
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestCmd/Program.cs	79
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestCmd/Properties/AssemblyInfo.cs	16
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/App.xaml	7
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/App.xaml.cs	16
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/GlobalSuppressions.cs	16
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/MainWindow.xaml	7
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/MainWindow.xaml.cs	27
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/Properties/AssemblyInfo.cs	21
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/Properties/Resources.Designer.cs	43
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/Properties/Settings.Designer.cs	13
ironclad-apps/src/Clients/Benchmark/Communication/BenchmarkList.cs	65
ironclad-apps/src/Clients/Benchmark/Communication/Connection.cs	61
ironclad-apps/src/Clients/Benchmark/Communication/GlobalSuppressions.cs	18
ironclad-apps/src/Clients/Benchmark/Communication/Properties/AssemblyInfo.cs	16
ironclad-apps/src/Clients/Benchmark/Communication/Request.cs	86
ironclad-apps/src/Clients/Benchmark/Communication/Response.cs	182
ironclad-apps/src/Clients/Benchmark/TestEcho.py	7
ironclad-apps/src/Clients/Common/Common.cs	321
ironclad-apps/src/Clients/Common/CommonParams.cs	85
ironclad-apps/src/Clients/Common/GetQuote.cs	172
ironclad-apps/src/Clients/Common/Profiler.cs	101
ironclad-apps/src/Clients/Common/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/DiffPriv/DiffPrivRequests.cs	108
ironclad-apps/src/Clients/DiffPriv/DiffPrivResponses.cs	81
ironclad-apps/src/Clients/DiffPriv/Parameters.cs	114
ironclad-apps/src/Clients/DiffPriv/Program.cs	104
ironclad-apps/src/Clients/DiffPriv/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/DiffPriv/Rational.cs	24
ironclad-apps/src/Clients/DiffPrivSrv/BigRational.cs	104
ironclad-apps/src/Clients/DiffPrivSrv/DiffPrivRequest.cs	136
ironclad-apps/src/Clients/DiffPrivSrv/DiffPrivResponse.cs	33
ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs	73
ironclad-apps/src/Clients/DiffPrivSrv/Program.cs	31
ironclad-apps/src/Clients/DiffPrivSrv/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/DiffPrivSrv/StateMachine.cs	553
ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs	84
ironclad-apps/src/Clients/DotNetSHABench/Program.cs	100
ironclad-apps/src/Clients/DotNetSHABench/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/Notary/NotaryRequests.cs	27
ironclad-apps/src/Clients/Notary/NotaryResponses.cs	61
ironclad-apps/src/Clients/Notary/Parameters.cs	81
ironclad-apps/src/Clients/Notary/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/NotarySrv/NotaryRequest.cs	55
ironclad-apps/src/Clients/NotarySrv/NotaryResponse.cs	21
ironclad-apps/src/Clients/NotarySrv/Parameters.cs	73
ironclad-apps/src/Clients/NotarySrv/Program.cs	31
ironclad-apps/src/Clients/NotarySrv/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/NotarySrv/StateMachine.cs	41
ironclad-apps/src/Clients/PassHash/Parameters.cs	90
ironclad-apps/src/Clients/PassHash/PassHashRequests.cs	26
ironclad-apps/src/Clients/PassHash/PassHashResponses.cs	36
ironclad-apps/src/Clients/PassHash/Program.cs	38
ironclad-apps/src/Clients/PassHash/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/PassHashSrv/Parameters.cs	81
ironclad-apps/src/Clients/PassHashSrv/PassHashRequest.cs	59
ironclad-apps/src/Clients/PassHashSrv/PassHashResponse.cs	25
ironclad-apps/src/Clients/PassHashSrv/Program.cs	31
ironclad-apps/src/Clients/PassHashSrv/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/PassHashSrv/StateMachine.cs	38
ironclad-apps/src/Clients/TrInc/Parameters.cs	99
ironclad-apps/src/Clients/TrInc/Program.cs	80
ironclad-apps/src/Clients/TrInc/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/TrInc/TrIncRequests.cs	56
ironclad-apps/src/Clients/TrInc/TrIncResponses.cs	93
ironclad-apps/src/Clients/TrIncSrv/Parameters.cs	73
ironclad-apps/src/Clients/TrIncSrv/Program.cs	31
ironclad-apps/src/Clients/TrIncSrv/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Clients/TrIncSrv/StateMachine.cs	95
ironclad-apps/src/Clients/TrIncSrv/TrIncRequest.cs	94
ironclad-apps/src/Clients/TrIncSrv/TrIncResponse.cs	29
ironclad-apps/src/Clients/UdpEchoClient/Program.cs	53
ironclad-apps/src/Clients/UdpEchoClient/Properties/AssemblyInfo.cs	15
ironclad-apps/src/Dafny/BuildExceptions.py	14
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/Program.cs	19
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/Properties/AssemblyInfo.cs	15
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/assembly.cs	171
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/debug.cs	15
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/profile.cs	74
ironclad-apps/tools/Beat/ast.fs	86
ironclad-apps/tools/Beat/main.fs	1856
ironclad-apps/tools/Beat/makefile.fs	14
ironclad-apps/tools/Beat/parse_util.fs	7
ironclad-apps/tools/BoogieAsm/SymdiffMerge.cs	205
ironclad-apps/tools/BoogieAsm/ast.fs	71
ironclad-apps/tools/BoogieAsm/emit_bpl.fs	629
ironclad-apps/tools/BoogieAsm/main.fs	876
ironclad-apps/tools/BoogieAsm/makefile.fs	14
ironclad-apps/tools/BoogieAsm/parse_util.fs	9
ironclad-apps/tools/Dafny/DafnyRuntime.cs	827
ironclad-apps/tools/Dafny/extension.vsixmanifest	17
ironclad-apps/tools/DafnyCC/Analyze.cs	235
ironclad-apps/tools/DafnyCC/CompileMethod.cs	1837
ironclad-apps/tools/DafnyCC/DafnyCC.cs	1239
ironclad-apps/tools/DafnyCC/RegAlloc.cs	576
ironclad-apps/tools/DafnyCC/Rtl.cs	305
ironclad-apps/tools/DafnySpec/Compile.cs	1125
ironclad-apps/tools/DafnySpec/CompileField.cs	37
ironclad-apps/tools/DafnySpec/CompileFunction.cs	285
ironclad-apps/tools/DafnySpec/CompileMethodGhost.cs	149
ironclad-apps/tools/DafnySpec/DafnySpec.cs	797
ironclad-apps/tools/DafnySpec/DafnySpecAst/DafnySpecAst.cs	1215
ironclad-apps/tools/DafnySpec/ParseMain.cs	458
ironclad-apps/tools/DafnySpec/Parser/parse_util.fs	13
ironclad-apps/tools/DafnySpec/Parser/parser.fs	19
ironclad-apps/tools/DafnySpec/RtlGhost.cs	253
ironclad-apps/tools/DafnySpec/Util.cs	24
ironclad-apps/tools/LineCount/main.fs	23
ironclad-apps/tools/LineCount/parse_util.fs	14
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
ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs	92
ironclad-apps/tools/NuBuild2/AzureManager/Program.cs	192
ironclad-apps/tools/NuBuild2/AzureManager/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs	167
ironclad-apps/tools/NuBuild2/CloudExecutionEngine/Program.cs	16
ironclad-apps/tools/NuBuild2/CloudExecutionEngine/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionEngine.cs	128
ironclad-apps/tools/NuBuild2/CloudExecutionWorker/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild2/CloudExecutionWorker/WorkerRole.cs	28
ironclad-apps/tools/NuBuild2/CloudQueueTool/Program.cs	96
ironclad-apps/tools/NuBuild2/CloudQueueTool/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild2/ItemCacheTool/CacheState.cs	81
ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs	457
ironclad-apps/tools/NuBuild2/ItemCacheTool/Properties/AssemblyInfo.cs	16
ironclad-apps/tools/NuBuild2/NuBuild/AbstractId.cs	61
ironclad-apps/tools/NuBuild2/NuBuild/AnnotationScanner.cs	94
ironclad-apps/tools/NuBuild2/NuBuild/AsmRewriterVerb.cs	68
ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs	144
ironclad-apps/tools/NuBuild2/NuBuild/BasmObligationIncludes.cs	31
ironclad-apps/tools/NuBuild2/NuBuild/BasmTransitiveDepsVerb.cs	30
ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs	109
ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs	147
ironclad-apps/tools/NuBuild2/NuBuild/BeatIncludes.cs	111
ironclad-apps/tools/NuBuild2/NuBuild/BeatVerb.cs	105
ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs	218
ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmLinkVerb.cs	42
ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerificationObligationListVerb.cs	64
ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs	155
ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmWorkerBase.cs	58
ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs	178
ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs	105
ironclad-apps/tools/NuBuild2/NuBuild/BuildEngine.cs	123
ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs	144
ironclad-apps/tools/NuBuild2/NuBuild/BuildObjectValuePointer.cs	41
ironclad-apps/tools/NuBuild2/NuBuild/CachedHash.cs	51
ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs	196
ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs	260
ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs	277
ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionWaiter.cs	28
ironclad-apps/tools/NuBuild2/NuBuild/CloudSubmitter.cs	96
ironclad-apps/tools/NuBuild2/NuBuild/ConcatContext.cs	33
ironclad-apps/tools/NuBuild2/NuBuild/ConcatContextVerb.cs	43
ironclad-apps/tools/NuBuild2/NuBuild/ContextContents.cs	18
ironclad-apps/tools/NuBuild2/NuBuild/ContextGeneratingVerb.cs	66
ironclad-apps/tools/NuBuild2/NuBuild/CustomManifestParser.cs	59
ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs	95
ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs	137
ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs	47
ironclad-apps/tools/NuBuild2/NuBuild/DafnyExtensions.cs	28
ironclad-apps/tools/NuBuild2/NuBuild/DafnyIncludes.cs	100
ironclad-apps/tools/NuBuild2/NuBuild/DafnySpecVerb.cs	80
ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs	215
ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransitiveDepsVerb.cs	21
ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyOneVerb.cs	102
ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs	84
ironclad-apps/tools/NuBuild2/NuBuild/DbgFileCopySpeedTest.cs	31
ironclad-apps/tools/NuBuild2/NuBuild/DbgHashSpeedTest.cs	20
ironclad-apps/tools/NuBuild2/NuBuild/DbgVerbCounter.cs	35
ironclad-apps/tools/NuBuild2/NuBuild/DependencyCache.cs	44
ironclad-apps/tools/NuBuild2/NuBuild/DependencyDisposition.cs	26
ironclad-apps/tools/NuBuild2/NuBuild/Disposition.cs	127
ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs	110
ironclad-apps/tools/NuBuild2/NuBuild/Hasher.cs	32
ironclad-apps/tools/NuBuild2/NuBuild/IAsmProducer.cs	9
ironclad-apps/tools/NuBuild2/NuBuild/IContextGeneratingVerb.cs	12
ironclad-apps/tools/NuBuild2/NuBuild/IHasher.cs	11
ironclad-apps/tools/NuBuild2/NuBuild/IIncludeFactory.cs	10
ironclad-apps/tools/NuBuild2/NuBuild/IIncludePathContext.cs	9
ironclad-apps/tools/NuBuild2/NuBuild/IItemCache.cs	46
ironclad-apps/tools/NuBuild2/NuBuild/IObligationsProducer.cs	9
ironclad-apps/tools/NuBuild2/NuBuild/IProcessInvokeAsyncVerb.cs	10
ironclad-apps/tools/NuBuild2/NuBuild/IProcessInvoker.cs	11
ironclad-apps/tools/NuBuild2/NuBuild/IRejectable.cs	9
ironclad-apps/tools/NuBuild2/NuBuild/IVerb.cs	21
ironclad-apps/tools/NuBuild2/NuBuild/IVerbWorker.cs	21
ironclad-apps/tools/NuBuild2/NuBuild/IVerificationResultParser.cs	13
ironclad-apps/tools/NuBuild2/NuBuild/IncludePathContext.cs	18
ironclad-apps/tools/NuBuild2/NuBuild/IronRootDirectory.cs	17
ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs	157
ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs	94
ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs	135
ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs	138
ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs	239
ironclad-apps/tools/NuBuild2/NuBuild/Job.cs	179
ironclad-apps/tools/NuBuild2/NuBuild/LinkerVerb.cs	114
ironclad-apps/tools/NuBuild2/NuBuild/Logger.cs	28
ironclad-apps/tools/NuBuild2/NuBuild/MasmVerb.cs	73
ironclad-apps/tools/NuBuild2/NuBuild/NMakeVerb.cs	89
ironclad-apps/tools/NuBuild2/NuBuild/ObjectFailedException.cs	12
ironclad-apps/tools/NuBuild2/NuBuild/ObjectMissingFromCacheException.cs	14
ironclad-apps/tools/NuBuild2/NuBuild/ObjectNotReadyException.cs	12
ironclad-apps/tools/NuBuild2/NuBuild/OrderPreservingSet.cs	84
ironclad-apps/tools/NuBuild2/NuBuild/PathNormalizer.cs	120
ironclad-apps/tools/NuBuild2/NuBuild/PoundDefines.cs	60
ironclad-apps/tools/NuBuild2/NuBuild/Presentater.cs	200
ironclad-apps/tools/NuBuild2/NuBuild/Presentation.cs	137
ironclad-apps/tools/NuBuild2/NuBuild/PresentationBuilder.cs	87
ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvokeAsyncWorker.cs	146
ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvoker.cs	140
ironclad-apps/tools/NuBuild2/NuBuild/Program.cs	377
ironclad-apps/tools/NuBuild2/NuBuild/Properties/AssemblyInfo.cs	15
ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs	285
ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs	135
ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs	426
ironclad-apps/tools/NuBuild2/NuBuild/SourceConfigurationError.cs	12
ironclad-apps/tools/NuBuild2/NuBuild/SourcePath.cs	50
ironclad-apps/tools/NuBuild2/NuBuild/SourcePathIncludeContext.cs	98
ironclad-apps/tools/NuBuild2/NuBuild/StaticContextVerb.cs	31
ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs	71
ironclad-apps/tools/NuBuild2/NuBuild/SymDiffCombineVerb.cs	60
ironclad-apps/tools/NuBuild2/NuBuild/SymDiffEngine.cs	20
ironclad-apps/tools/NuBuild2/NuBuild/SymDiffExtractVerb.cs	75
ironclad-apps/tools/NuBuild2/NuBuild/SymDiffInferVerb.cs	57
ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs	58
ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeConfigVerb.cs	51
ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeVerb.cs	49
ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsContents.cs	26
ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs	126
ironclad-apps/tools/NuBuild2/NuBuild/UnverifiedSentinelVirtualContents.cs	9
ironclad-apps/tools/NuBuild2/NuBuild/UserError.cs	12
ironclad-apps/tools/NuBuild2/NuBuild/Util.cs	120
ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs	125
ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionParser.cs	48
ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs	83
ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs	128
ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContext.cs	54
ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs	192
ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContextVerb.cs	37
ironclad-apps/tools/NuBuild2/NuBuild/VerbSyncWorker.cs	30
ironclad-apps/tools/NuBuild2/NuBuild/VerbToposorter.cs	55
ironclad-apps/tools/NuBuild2/NuBuild/VerificationMessage.cs	40
ironclad-apps/tools/NuBuild2/NuBuild/VerificationObligationList.cs	57
ironclad-apps/tools/NuBuild2/NuBuild/VerificationRequest.cs	47
ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs	224
ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs	66
ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs	60
ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs	200
ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs	55
ironclad-apps/tools/NuBuild2/NuBuild/VirtualBuildObject.cs	14
ironclad-apps/tools/NuBuild2/NuBuild/VirtualContents.cs	8
ironclad-apps/tools/NuBuild2/NuBuild/WaitIndex.cs	143
ironclad-apps/tools/NuBuild2/NuBuild/WinLinkerVerb.cs	92
ironclad-apps/tools/NuBuild2/NuBuild/WorkingDirectory.cs	41
ironclad-apps/tools/NuBuild2/NuBuild/XmlFiller.cs	10
ironclad-apps/tools/NuBuild2/NuBuildExecutionService/NuBuildExecutionService.ccproj	63
ironclad-apps/tools/NuBuild2/NuBuildExecutionService/ServiceConfiguration.Cloud.cscfg	8
ironclad-apps/tools/NuBuild2/NuBuildExecutionService/ServiceConfiguration.Local.cscfg	8
ironclad-apps/tools/NuBuild2/NuBuildExecutionService/ServiceDefinition.csdef	9
ironclad-apps/tools/SymDiff/UnivBackPred2.smt	110
ironclad-apps/tools/SymDiff/UnivBackPred2.smt2	11
ironclad-apps/tools/scripts/binary_to_c_symbols.py	17
ironclad-apps/tools/scripts/build-standalone-asm.py	52
ironclad-apps/tools/scripts/zero.asm	8
ironclad-apps/tools/standalone/StandAloneSupport.vcxproj	121
ironclad-apps/tools/standalone/StandAloneSupport.vcxproj.filters	22
ironclad-apps/tools/standalone/support.cpp	69
ironfleet/src/CreateIronServiceCerts/Params.cs	156
ironfleet/src/CreateIronServiceCerts/Program.cs	68
ironfleet/src/Dafny/Distributed/Common/Native/IoFramework.cs	990
ironfleet/src/Dafny/Distributed/Common/Native/IoNative.cs	229
ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs	190
ironfleet/src/IronLockServer/Params.cs	92
ironfleet/src/IronLockServer/Program.cs	67
ironfleet/src/IronRSLClient/RSLClient.cs	85
ironfleet/src/IronRSLCounterClient/Client.cs	82
ironfleet/src/IronRSLCounterClient/Params.cs	95
ironfleet/src/IronRSLCounterClient/Program.cs	59
ironfleet/src/IronRSLCounterServer/Service.cs	52
ironfleet/src/IronRSLKVClient/Client.cs	98
ironfleet/src/IronRSLKVClient/Params.cs	121
ironfleet/src/IronRSLKVClient/Program.cs	60
ironfleet/src/IronRSLKVServer/KVMessages.cs	356
ironfleet/src/IronRSLKVServer/Service.cs	147
ironfleet/src/IronSHTClient/Client.cs	529
ironfleet/src/IronSHTClient/Params.cs	119
ironfleet/src/IronSHTClient/Program.cs	66
ironfleet/src/IronSHTServer/Params.cs	105
ironfleet/src/IronSHTServer/Program.cs	67
ironfleet/src/IronfleetCommon/Networking.cs	42
ironfleet/src/IronfleetCommon/Profiler.cs	102
ironfleet/src/IronfleetCommon/Timer.cs	24
ironfleet/src/RedisClient/IronfleetShtClient/Experiment.cs	93
ironfleet/src/RedisClient/IronfleetShtClient/IVocabularyModule.cs	25
ironfleet/src/RedisClient/IronfleetShtClient/KeyValueStoreClient.cs	20
ironfleet/src/RedisClient/IronfleetShtClient/Program.cs	70
ironfleet/src/RedisClient/IronfleetShtClient/Properties/AssemblyInfo.cs	15
ironfleet/src/RedisClient/IronfleetShtClient/RedisClient.cs	42
ironfleet/src/RedisClient/IronfleetShtClient/StrawDog.cs	37
ironfleet/src/RedisClient/IronfleetShtClient/Vocabulary.cs	120
ironfleet/src/TestIoFramework/Params.cs	92
ironfleet/src/TestIoFramework/Program.cs	80
ironfleet/tools/DepGraph/parse.py	62
ironfleet/tools/scripts/build-summary.py	175
ironfleet/tools/scripts/check-lf.ps1	4
ironfleet/tools/scripts/dafny-line-count.py	283
ironfleet/tools/scripts/dafny-oneproc.py	28
ironfleet/tools/scripts/dafnyBuildVsix.ps1	26
ironfleet/tools/scripts/function_call_graph.py	92
ironfleet/tools/scripts/integration-project/build.py	1
ironfleet/tools/scripts/integration-project/make-project.vcxproj	59
ironfleet/tools/scripts/integration-testing.ps1	54
ironfleet/tools/scripts/purge.py	68