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

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

Installation

Use the following update-site : https://softech.informatik.uni-kl.de/updatesite/ or build directly from the source code.

TextMate bundle

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

Installation

Download source code.

ACE Syntax Highlighting mode

Provides basic syntax highlighting functionality.

Installation

Download source code.

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