Skip to content
Snippets Groups Projects
Select Git revision
  • c27f7e2580bd4ef2bbbb821794900c30026e8ee4
  • develop default protected
  • master protected
  • 3.6.0
  • 3.5.1
  • 3.5.0
  • 3.4.1
  • 3.4.0
8 results

META-INF

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Work around Event-B EMF bug that broke adding a variant
    dgelessus authored 
    Modifying an already existing variant worked, but when adding a new
variant to a machine that didn't have one, Rodin complained that the
variant has an empty label.

This fix requires increasing the minimum Event-B EMF version to
guarantee that Variant.setName exists.
    c27f7e25
    History
    user avatar c27f7e25
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..