The goal of this project is to provide editors and additional tools to improve working with the Microsoft Boogie language and tools.
So far, we provide an Eclipse-based editor, a TextMate plug-in and an ACE edit mode.
Eclipse plug-in
Features:
- Syntax and semantic highlighting
- Navigable outline view of code structure
- Pretty-prints special keywords (forall, exists) and ASCII operators (<==>, ...) as Unicode symbols
- Jump to declaration support
- Buttons to type-check or verify Boogie program
- Errors in console as hyperlinks