Skip to content
Snippets Groups Projects
Select Git revision
  • dad59b31d4029b786b4ebac9918ffc228912486b
  • 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.55 KiB

    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 a proB version on your own, but be cautious; This can lead to unexpected and untested behavior.

    In order to change prob_cli versions 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/SeeBasTStick/b-language-server.

    Future plans

    • Quickfix support aká Code Completion
    • Definition provider

    Release Notes

    2.0.0

    • keyword support for new proB features: REAL, real, floor, ceiling
    • now uses prob2_kernel library instead of calling prob_cli direc; leads to noticable performance gain after initial warm up