Home

Welcome to the Dafny wiki!

This Wiki contains specific and in-depth information on working with Dafny.

Make sure to check out the Dafny tutorial for a more general introduction to Dafny.

Setup

• INSTALL
• Disabling underlining of info messages

Best practices

• Style Guide
• Cautionary Tales

How-tos

• FAQ
• Proving termination by decreasing Repr
• Modeling External State Correctly
• Investigating slow verification performance
• Proving properties about integers and bit vectors together

Development of the Dafny tool

• Running Dafny's test suite
• JetBrains Rider FAQ
• Building against a custom Boogie
• Contributing FAQ