This project is read-only.
Project Description

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

Screen shot 2012-07-04 at 12.00.06 PM.png


  • 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


Use the following update-site : or build directly from the source code.

TextMate bundle

Provides basic syntax highlighting functionality and an outline view of all top-level declarations.


Download source code.

ACE Syntax Highlighting mode

Provides basic syntax highlighting functionality.


Download source code.

Last edited Jul 4, 2012 at 3:36 PM by welsch, version 11