Path	Lines of Code
README.md	3
ironclad-apps/README.md	86
ironclad-apps/tools/Beat/beat.vim	39
ironclad-apps/tools/Dafny/Microsoft.Z3.xml	4551
ironclad-apps/tools/NuBuild/CustomDictionary.xml	26
ironclad-apps/tools/NuBuild/References/Microsoft.Threading.Tasks.xml	630
ironclad-apps/tools/NuBuild/References/Microsoft.WindowsAzure.Common.NetFramework.xml	176
ironclad-apps/tools/NuBuild/References/Microsoft.WindowsAzure.Common.xml	2507
ironclad-apps/tools/NuBuild/References/Microsoft.WindowsAzure.Management.Compute.xml	22404
ironclad-apps/tools/NuBuild/References/Microsoft.WindowsAzure.Management.Storage.xml	1482
ironclad-apps/tools/NuBuild/References/Microsoft.WindowsAzure.Storage.xml	25920
ironclad-apps/tools/NuBuild2/CustomDictionary.xml	26
ironclad-apps/tools/NuBuild2/References/Microsoft.Threading.Tasks.xml	630
ironclad-apps/tools/NuBuild2/References/Microsoft.WindowsAzure.Common.NetFramework.xml	176
ironclad-apps/tools/NuBuild2/References/Microsoft.WindowsAzure.Common.xml	2507
ironclad-apps/tools/NuBuild2/References/Microsoft.WindowsAzure.Management.Compute.xml	22404
ironclad-apps/tools/NuBuild2/References/Microsoft.WindowsAzure.Management.Storage.xml	1482
ironclad-apps/tools/NuBuild2/References/Microsoft.WindowsAzure.Storage.xml	25920
ironclad-apps/tools/fsharp/FSharp.Compiler.CodeDom.xml	588
ironclad-apps/tools/fsharp/FSharp.Core.xml	7692
ironclad-apps/tools/fsharp/FSharp.PowerPack.Build.Tasks.xml	73
ironclad-apps/tools/fsharp/FSharp.PowerPack.Linq.xml	253
ironclad-apps/tools/fsharp/FSharp.PowerPack.xml	7411
ironfleet/CODE.md	116
ironfleet/CONTRIBUTING.md	25
ironfleet/README.md	247
ironfleet/STYLE.md	30