Shared Event Composition Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Renato No edit summary |
imported>Asiehsalehi No edit summary |
||
| Line 1: | Line 1: | ||
== Releases == | |||
=====Version 1.6.0 ===== | |||
''16th August 2012'' | |||
Version compatible with Rodin 2.6.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 ===== | =====Version 1.1.6 ===== | ||
| Line 8: | Line 85: | ||
** Composition now allows the selection of the project of the machines to compose. The context must exist in the composed machine project. | ** 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.4 | =====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 | *Features | ||
** Section related with 'VARIANT' was removed. | ** Section related with 'VARIANT' was removed. | ||
** Labels of the elements in the generated machine | ** 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. | |||
[[Category:Parallel composition plugin]] | |||
[[Category:User documentation]] | |||
Revision as of 10:59, 4 July 2013
Releases
Version 1.6.0
16th August 2012
Version compatible with Rodin 2.6.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.
