Dafny Support for IntelliJ with verification and execution.
- Dafny Language Integration
- Project-Wizard
- Verification on-the-fly
- Execution
- Syntax and Error Highlighting
Preconditions
- Dafny Binaries (Version 2.3.0)
- .NET framework / mono framework
Windows
- Download and install Dafny Binaries (Version 2.3.0)
- Install Dafny-Plugin in IntelliJ (File | Settings | Plugins and search for "Dafny Support" or download from JetBrains Plugins Repository and install from disc)
- Set Dafny Binaries-Path (File | Settings | Languages & Frameworks | Dafny or via Project-Wizard)
MacOS
- Download and install Dafny Binaries (Version 2.3.0)
- Download and install Mono.
- Install Dafny-Plugin in IntelliJ (File | Settings | Plugins and search for "Dafny Support" or download from JetBrains Plugins Repository and install from disc)
- Set Dafny Binaries path and Mono path (..../Library/Frameworks/Mono.framework) (File | Settings | Languages & Frameworks | Dafny or via Project-Wizard)