Skip to content
Snippets Groups Projects
Select Git revision
  • 0be1a987f7eaa3b3ef6b602ada1208e7805e2c64
  • master default protected
2 results

rodin_handbook

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

    • user avatar
    Match only based on Event-B names and qualified references, not EMF IDs
    dgelessus authored 
    We don't care about generic EMF objects, only about EventBElement
(right..?). This noticeably improves performance when saving (almost
twice as fast for a medium-sized machine with 30 invariants).
    139edf9f
    History
    user avatar 139edf9f
    History
    Name Last commit Last update