 | boogieSyntax Highlighting for the Boogie Intermediate Verification Language (Boogie IVL) Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
boogie READMEProvide Basic Syntax Highlighting for the Boogie Intermediate Verification Language (Boogie IVL). FeaturesJust Bare Bones Syntax Highlighting. Hey, it's better then nothing. RequirementsNo additional requirements besides vscode. s Extension SettingsNone yet. Known IssuesNone yet. Release Notes0.0.1Initial release of the Boogie Extension. Bare bones sytax highlighting. 0.0.2Add highlighting for null and ref primatives. Add custom type highlighting. Add paramter highlighting.s 0.0.3Fix comments to use comment theme |