Skip to content

Releases: eventB-Soton/EMF_Inclusion

Fixed Update Site Name

21 Jan 15:27
e5eb741
Compare
Choose a tag to compare

The Update Site now is "Soton Plug-ins".
No functional changes.

Maintenance Release

21 Jan 10:51
98dd139
Compare
Choose a tag to compare

Event-B EMF Inclusion Feature (2.0.1)

Updated Plug-ins

  • Event-B EMF Inclusion (2.0.1):
    • Use EPL v2.0 instead of EPL v1.0.
  • Event-B EMF Inclusion Edit (1.0.2):
    • Use EPL v2.0 instead of EPL v1.0.
  • Event-B EMF Inclusion Generator (0.2.3):
    • Use EPL v2.0 instead of EPL v1.0.
    • Issue #18: Inclusion generator causes Rodin files disappeared.

Event-B EMF Inclusion Tests Feature (0.0.3)

  • Change the Update Site to "UML-B and CamilleX Update Site".

Updated Plug-ins

  • Event-B EMF Inclusion Tests (0.1.1): Use EPL 2.0

Event-B EMF Inclusion SDK Feature (2.0.1)

Updated Plug-ins/Features

  • Event-B EMF Inclusion Feature (2.0.1)
  • Event-B EMF Inclusion Source (2.0.1): Generated
  • Event-B EMF Inclusion Edit Source (1.0.2): Generated
  • Event-B EMF Inclusion Generator Source (0.2.3): Generated
  • Event-B EMF Inclusion Tests Feature (0.0.3)
  • Event-B EMF Inclusion Tests Source (0.1.1): Generated

Version 0.0-coda.0

05 Oct 14:36
Compare
Choose a tag to compare
Version 0.0-coda.0 Pre-release
Pre-release

This version is for CODA usage