Skip to content
Snippets Groups Projects
Select Git revision
  • d7c9a23df952e03372b5b0e2be1b6d9c286ec3fd
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
10 results

notebooks

  • Open with
  • Download source code
  • Download directory
  • 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
    Fix local variables in Event-B mode
    dgelessus authored 
    Event-B/Rodin does not support LET like ProB does, so we need to use
some workarounds to provide similar functionality in Event-B mode.
    d7c9a23d
    History
    user avatar d7c9a23d
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..