Path	Lines of Code
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