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