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

MANIFEST.MF

  • dgelessus's avatar
    c27f7e25
    Work around Event-B EMF bug that broke adding a variant · c27f7e25
    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
    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.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.