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

b_language_extension

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    SeeBasTStick authored
    549c74e2
    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. You can use older builds but be aware that things can break without notice.

    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

    0.6.0

    • added snippets
    • improved error feedback for failing call to probcli
    • improved error feedback for wrong format of the _error.json file
    • _error.json will now dumpend in a /tmp/ folder

    0.6.3

    • fixed recognition of failing probcli

    0.6.4

    • fixed bug where sometimes changes lead to wrong represantation of mistakes

    [0.6.6]

    • markers in files without problems are now resettet properly