Path	Lines of Code
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestCmd/BenchmarkRequestCmd.csproj	60
ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/BenchmarkRequestGui.csproj	100
ironclad-apps/src/Clients/Benchmark/Communication/Communication.csproj	52
ironclad-apps/src/Clients/Common/Common.csproj	52
ironclad-apps/src/Clients/DiffPriv/DiffPriv.csproj	61
ironclad-apps/src/Clients/DiffPrivSrv/DiffPrivSrv.csproj	63
ironclad-apps/src/Clients/DotNetSHABench/DotNetSHABench.csproj	58
ironclad-apps/src/Clients/Notary/Notary.csproj	61
ironclad-apps/src/Clients/NotarySrv/NotarySrv.csproj	65
ironclad-apps/src/Clients/PassHash/PassHash.csproj	60
ironclad-apps/src/Clients/PassHashSrv/PassHashSrv.csproj	61
ironclad-apps/src/Clients/TrInc/TrInc.csproj	60
ironclad-apps/src/Clients/TrIncSrv/TrIncSrv.csproj	62
ironclad-apps/src/Clients/UdpEchoClient/UdpEchoClient.csproj	72
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/DafnyTestDriver.csproj	56
ironclad-apps/tools/Dafny/PrepareBoogieZip.bat	27
ironclad-apps/tools/Dafny/PrepareDafnyZip.bat	42
ironclad-apps/tools/DafnyCC/DafnyCC.csproj	135
ironclad-apps/tools/DafnySpec/DafnySpec.csproj	72
ironclad-apps/tools/DafnySpec/DafnySpecAst/DafnySpecAst.csproj	48
ironclad-apps/tools/DafnySpec/Parser/Parser.csproj	61
ironclad-apps/tools/NuBuild/AzureManager/AzureManager.csproj	79
ironclad-apps/tools/NuBuild/CloudExecutionEngine/CloudExecutionEngine.csproj	61
ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionWorker.csproj	67
ironclad-apps/tools/NuBuild/CloudQueueTool/CloudQueueTool.csproj	56
ironclad-apps/tools/NuBuild/ItemCacheTool/ItemCacheTool.csproj	68
ironclad-apps/tools/NuBuild/NuBuild/NuBuild.csproj	268
ironclad-apps/tools/NuBuild2/AzureManager/AzureManager.csproj	79
ironclad-apps/tools/NuBuild2/CloudExecutionEngine/CloudExecutionEngine.csproj	61
ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionWorker.csproj	67
ironclad-apps/tools/NuBuild2/CloudQueueTool/CloudQueueTool.csproj	56
ironclad-apps/tools/NuBuild2/ItemCacheTool/ItemCacheTool.csproj	68
ironclad-apps/tools/NuBuild2/NuBuild/NuBuild.csproj	268
ironclad-apps/tools/scripts/build-standalone-init.sh	2
ironfleet/src/CreateIronServiceCerts/CreateIronServiceCerts.csproj	18
ironfleet/src/IronLockServer/IronLockServer.csproj	21
ironfleet/src/IronRSLClient/IronRSLClient.csproj	15
ironfleet/src/IronRSLCounterClient/IronRSLCounterClient.csproj	10
ironfleet/src/IronRSLCounterServer/IronRSLCounterServer.csproj	22
ironfleet/src/IronRSLKVClient/IronRSLKVClient.csproj	11
ironfleet/src/IronRSLKVServer/IronRSLKVServer.csproj	22
ironfleet/src/IronSHTClient/IronSHTClient.csproj	11
ironfleet/src/IronSHTServer/IronSHTServer.csproj	21
ironfleet/src/RedisClient/IronfleetShtClient/IronfleetShtClient.csproj	107
ironfleet/src/TestIoFramework/TestIoFramework.csproj	18