A Boogie language extension for VS Code. Supports basic syntax highlighting and Boogie verification.
The Boogie verification tool.
This extension currently assumes it is installed and the path contains a boogie command.
- 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!