ironclad-apps/tools/DafnyCC/DafnyCC.cs
ironclad-apps/tools/DafnySpec/DafnySpec.cs

ironclad-apps/tools/DafnyCC/CompileMethod.cs
ironclad-apps/tools/DafnySpec/Compile.cs