VS Code Extension for Boogie

A Boogie language extension for VS Code. Supports basic syntax highlighting and Boogie verification.

Requirements

The Boogie verification tool. This extension currently assumes it is installed and the path contains a boogie command.

Feature TODOs

• Remove old diagnostics before running Boogie.
• Display verification time.
• Get Boogie arguments from comment at top of file.
• Show progress/running time in status bar.
• Better syntax highlighting: arithmetic expressions, procedure names.
• Display math operators using unicode symbols.

Enjoy!