Path	Lines of Code
ironclad-apps/tools/Beat/main.fs	1856
ironclad-apps/tools/BoogieAsm/emit_bpl.fs	629
ironclad-apps/tools/BoogieAsm/main.fs	876
ironclad-apps/tools/DafnyCC/DafnyCC.cs	1239
ironclad-apps/tools/DafnySpec/DafnySpec.cs	797
ironclad-apps/tools/DafnySpec/DafnySpecAst/DafnySpecAst.cs	1215
ironclad-apps/tools/NuBuild/AzureManager/Program.cs	192
ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionEngine.cs	128
ironclad-apps/tools/NuBuild/CloudExecutionWorker/WorkerRole.cs	28
ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs	147
ironclad-apps/tools/NuBuild/NuBuild/BeatIncludes.cs	111
ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs	178
ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs	106
ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs	144
ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs	196
ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs	47
ironclad-apps/tools/NuBuild/NuBuild/DafnySpecVerb.cs	80
ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs	215
ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs	84
ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs	110
ironclad-apps/tools/NuBuild/NuBuild/Hasher.cs	32
ironclad-apps/tools/NuBuild/NuBuild/IVerb.cs	21
ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs	157
ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs	239
ironclad-apps/tools/NuBuild/NuBuild/MasmVerb.cs	73
ironclad-apps/tools/NuBuild/NuBuild/NMakeVerb.cs	89
ironclad-apps/tools/NuBuild/NuBuild/OrderPreservingSet.cs	84
ironclad-apps/tools/NuBuild/NuBuild/Presentater.cs	200
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/Repository.cs	285
ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs	426
ironclad-apps/tools/NuBuild/NuBuild/SourcePath.cs	50
ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs	88
ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs	224
ironclad-apps/tools/NuBuild/NuBuild/WinLinkerVerb.cs	92
ironclad-apps/tools/NuBuild/NuBuild/XmlFiller.cs	10
ironclad-apps/tools/NuBuild2/AzureManager/Program.cs	192
ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionEngine.cs	128
ironclad-apps/tools/NuBuild2/CloudExecutionWorker/WorkerRole.cs	28
ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs	147
ironclad-apps/tools/NuBuild2/NuBuild/BeatIncludes.cs	111
ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs	178
ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs	105
ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs	144
ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs	196
ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs	47
ironclad-apps/tools/NuBuild2/NuBuild/DafnySpecVerb.cs	80
ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs	215
ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs	84
ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs	110
ironclad-apps/tools/NuBuild2/NuBuild/Hasher.cs	32
ironclad-apps/tools/NuBuild2/NuBuild/IVerb.cs	21
ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs	157
ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs	239
ironclad-apps/tools/NuBuild2/NuBuild/MasmVerb.cs	73
ironclad-apps/tools/NuBuild2/NuBuild/NMakeVerb.cs	89
ironclad-apps/tools/NuBuild2/NuBuild/OrderPreservingSet.cs	84
ironclad-apps/tools/NuBuild2/NuBuild/Presentater.cs	200
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/Repository.cs	285
ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs	426
ironclad-apps/tools/NuBuild2/NuBuild/SourcePath.cs	50
ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs	83
ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs	224
ironclad-apps/tools/NuBuild2/NuBuild/WinLinkerVerb.cs	92
ironclad-apps/tools/NuBuild2/NuBuild/XmlFiller.cs	10
ironfleet/src/Dafny/Distributed/Common/Native/IoNative.cs	229
ironfleet/tools/scripts/build-summary.py	175