B/ProB Language Extension

Compiler support for B via ProB for VSCode and VSCodium. You don't need your own version of ProB. This plugin comes with one packed. You can, however, provide your own ProB command-line version (aka probcli), but be cautious; this can lead to unexpected and untested behavior. In order to change the probcli version you need to make the change in the settings and restart the extension (open and close vscode).

Features

Requirements

• Java v.8 or higher. By default, Java home is considered to be accessible by typing 'java' in terminal/powershell

Extension Settings

This extension contributes the following settings:

• prob.probHome: to set the path to ProB. Default ist 'DEFAULT' and means that shipped version of prob ist used
• prob.wdChecks: to enable/disable WD (Well-Definedness) Checks.
• prob.strictChecks: to enable/disable stricter Checks.
• prob.performanceHints: to enable/disable performance-related Hints.
• prob.debugMode: to enable/disable the server log

Bugs

Please open an issue at https://github.com/hhu-stups/prob-issues/issues.

Server

The language server can be found here https://github.com/hhu-stups/b-language-server.

Manual installation

Snapshots and releases are uploaded here and can be installed manually.

Future plans

• Quickfix support aka Code Completion
• Definition provider

Acknowledgements

• big thanks to Sebastian Krings for providing his snippets.