Skip to content
Snippets Groups Projects
Select Git revision
  • 594d28d2674c7617c7e9b4f5c0430cae7d549f48
  • master default protected
  • btypes-fixes
  • freetypes
  • embedded-codegen
  • rust-support
  • z3solver
7 results

b2program

  • 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.

  • 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

    Bugs

    Future plans

    • Linter Support
    • Keyword 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