Skip to content
Snippets Groups Projects
Select Git revision
  • develop default
  • release protected
  • v0.x
  • v2.2.0
  • v2.1.0
5 results

b_language_extension

  • Clone with SSH
  • Clone with HTTPS
    • Name Last commit Last update
    .vscode
    media
    snippets
    src
    syntaxes
    .gitignore
    .gitlab-ci.yml
    .vscodeignore
    CHANGELOG.md
    LICENSE
    README.md
    package-lock.json
    package.json
    tsconfig.json
    README.md

    b-language-extension README

    Compiler support for B via ProB. 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

    animation

    Requirements

    • Java v.8 or higher. By default Java home is considerd 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

    Server

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

    Future plans

    • Quickfix support aka Code Completion
    • Definition provider

    Release Notes

    2.1.1

    • Updated to ProB 1.13.0
    • Updated keywords for B rules machines
    • Fixed and expanded snippets for B relation/function operators

    Acknowledgements

    • big thanks to Sebastian Krings for providing his snippets.