Home

Awesome

VS Code Extension for Boogie

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

<!-- ## Features Describe specific features of your extension including screenshots of your extension in action. Image paths are relative to this README file. For example if there is an image subfolder under your extension project workspace: \!\[feature X\]\(images/feature-x.png\) > Tip: Many popular extensions utilize animations. This is an excellent way to show off your extension! We recommend short, focused animations that are easy to follow. -->

Requirements

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

Feature TODOs

<!-- ## Extension Settings Include if your extension adds any VS Code settings through the `contributes.configuration` extension point. For example: This extension contributes the following settings: * `myExtension.enable`: enable/disable this extension * `myExtension.thing`: set to `blah` to do something ## Known Issues Calling out known issues can help limit users opening duplicate issues against your extension. ## Release Notes Users appreciate release notes as you update your extension. ### 1.0.0 Initial release of ... ### 1.0.1 Fixed issue #. ### 1.1.0 Added features X, Y, and Z. -->

Enjoy!