Shared Event Composition Release History

Releases

Version 1.7.0

Release compatible with Rodin 3.0.1 and Rodin 3.1.0 Release Candidate. Linux users may find a UI bug, where it is not possible to compose events since the combo boxes reset to --undef--. An update site with a feature patch is available here.

Version 1.6.1

04th July 2013

Version compatible with Rodin 2.8.x

• Bugs
  • Problem in loading the composition editor, due to the changes in the the Rodin2.8 ui core (fixed)

Version 1.6.0

16th August 2012

Version compatible with Rodin 2.6.x and Rodin 2.7.x

• Bugs
  • Change in files that belong to different project from where composed machine is stored were not detected (fixed)

• Features
  • Composed machines are now named with suffix "_CMP" by default

Version 1.5.1

25th June 2012

Version compatible with Rodin 2.5.x

• Bugs
  • Small bug fixes

Version 1.5.0

1st June 2012

Version compatible with Rodin 2.5.x

• Features
  • Added proof obligations: WD and INV for (composition) invariants and INV, SIM and GRD for refinement; the other POs are expected to be proved in directly in the included machines
  • Added stronger static checks: no shared variable is allowed; all abstract events must be refined; common parameters must have the same type; check that a composed event must have at least one combined event;
  • Improved UI interface: using the form-based editor, if the symbol corresponding to a composed event is hovered, a preview of the composed event is displayed

Version 1.4.0

29th June 2011

Version compatible with Rodin 2.2.x

• Bug fixes:
  • When project or machine is changed in the included section, the modification is propagated for the combined events.

Version 1.3.1

9th Mar 2011

Version compatible with Rodin 2.1.x

• Bug fixes:
  • Fix bug for rodin app running 1.5.x
  • removed 'extends' option in the composition file.
  • fixed static checker problem when cleaning a project.
  • when there is an error in the composition file, the file shows with a red figure overlaying the composition figure.

• Features
  • Added pretty print
  • Added a few static checks to the compositon file (incomplete)
  • Improved UI interface
  • Projects are now shown in between square brackets.

Version 1.2.0

8th Nov 2010

Version compatible with Rodin 2.0.x

• Bug fixes:
  • Fix bug when having projects name that include dots '.'.

• Features
  • Added pretty print
  • Added a few static checks to the compositon file (incomplete)
  • Improved UI interface
  • Projects are now shown in between square brackets.

Version 1.1.6

28th May 2010

Version compatible with Rodin 1.3.x

• Features
  • Composition now allows the selection of the project of the machines to compose. The context must exist in the composed machine project.

Version 1.1.5

25th February 2010

Version compatible with Rodin 1.2.x

Version 1.1.4

2nd November 2009

Version compatible with Rodin 1.1.0 

• Features
  • Section related with 'VARIANT' was removed.
  • Labels of the elements in the generated machine used '\' instead of '/' for the separation.

Version 1.1.3

3rd July 2009

Version compatible with Rodin 1.0.

• Bugs
  • Corrected problem when loading the image on the composition machine.

• Improvements
  • Added package corresponding to the renaming of elements in the bcp files.

Version 1.1.2

1st July 2009

Version compatible with Rodin 1.0.0.

• Improvements
  • By adding a machine in the refines section, the events of the abstract machine are automatically added as a composed event.
  • Added the 'extended' button to the composed events.