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

README.md

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    README.md 1.34 KiB

    b-eventb-language-extension README

    Compiler support for b/eventb via ProB. You need a nightly build of ProB to fully use this extension. Visit https://www3.hhu.de/stups/prob/ to get the latest version.

    Features

    animation

    Requirements

    • Latest nightly build of ProB.

    Extension Settings

    This extension contributes the following settings:

    • languageServer.probHome: to set the path to ProB
    • languageServer.wdChecks: to enable/disable WDChecks. Make sure to enable/disable for the current workspace too.
    • languageServer.strictChecks: to enable/disable stricter Checks. Make sure to enable/disable for the current workspace too.

    Bugs

    Future plans

    • Linter Support
    • Keyword support
    • Quickfix support aká Code Completion
    • WD Support

    Release Notes

    0.0.1

    • First prototype minimum features

    0.0.2

    • Added option to set ProB path

    0.0.3

    • README fix

    0.0.4

    • fixed bug in the package.json file leading to unnoticed server crash
    • added feedback when using an unreachable path
    • added feedback when using a old version of proB

    0.1.0

    • added more sound auto compeltion
    • added WD cheks
    • added strict checks