Notes on Compilation

Miscellaneous notes about compiling Dafny code:

• Dafny compilation to Go
• Dafny compilation to Go
• Strings and Characters
• Strings and Characters
• Printing strings and characters
• String and character literals
• Dafny compilation of trait and class
• Dafny compilation of trait and class
• Automatic Initialization of Variables
• Dafny compilation to Boogie
• Dafny compilation to Boogie