Skip to content
Snippets Groups Projects
Select Git revision
  • 1647e2d44f544187f935f2e74a868ab1bf60b802
  • master default protected
2 results

cplexAPI

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