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

b_language_extension

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

  • user avatar
    SeeBasTStick authored
    f2e53221
    History

    b-language-extension README

    Compiler support for B 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 WD (Well-Definedness) Checks. 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.
    • languageServer.performanceHints: to enable/disable performance-related Hints. Make sure to enable/disable for the current workspace too.

    Please note that user settings overwrite workspace settings.

    Bugs

    Future plans

    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

    0.1.1

    • fixed issue where path was semi hard coded

    0.2.0

    • recognizes correct file ending (.mch; .def; .imp; .ref; .sys)
    • no longer activates extension on normal text documents

    0.3.0

    • added option for performance feedback
    • implemented 'info' as feedback type

    0.5.0

    0.5.3

    • reworked error messages to be more managable