This plugin enables Dafny language support in Eclipse. It was developed during a bachelor thesis at the TH Lübeck.
Prerequisites
- Dafny Binaries (particularly DafnyServer.exe)
- .NET framework / mono framework
- Download Dafny Plugin for Eclipse
- Install Dafny Client Plugin and Dafny Language Server Plugin from Local (Help -> Install New Software -> Add Archive)
- Set Paths in Eclipse -> Setting -> Dafny
- Syntax-Highlighting
- Verification
- Project Wizard for Dafny