Danfy Plugin for Eclipse

This plugin enables Dafny language support in Eclipse. It was developed during a bachelor thesis at the TH Lübeck.

Download and install

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

Features

• Syntax-Highlighting
• Verification
• Project Wizard for Dafny

Demo