Decomposition Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Renato |
imported>Renato |
||
| Line 16: | Line 16: | ||
* Fixed bug related with generation of duplicated label | * Fixed bug related with generation of duplicated label | ||
* Predicates with the same info and label are not duplicated anymore | * Predicates with the same info and label are not duplicated anymore | ||
= Version 1.2.1 = | |||
* Updated for Rodin 2.2.x. | |||
* Feature request: removed parameters that are not used in any of the guards or actions of an event | |||
= Version x.y = | = Version x.y = | ||
Revision as of 15:33, 29 June 2011
Version 1.0
- Initial release for Rodin 1.2.
Version 1.0.1
- Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts.
Version 1.0.2
- Updated for Rodin 1.3.x.
- Includes a decomposition file where the decomposition settings can be saved for future reuse. Decomposition file is created from the wizard ('save as' button).
- When decomposing using the shared event style, a shared event composition machine is created which allows the reassembly of the sub-components (to validate the decomposition).
- Removes the 'theorem' tag from the typing guards.
Version 1.1.0
- Updated for Rodin 2.0.x.
- In the wizard, it is possible to rename subComponent after it has been added
- Fixed bug related with generation of duplicated label
- Predicates with the same info and label are not duplicated anymore
Version 1.2.1
- Updated for Rodin 2.2.x.
- Feature request: removed parameters that are not used in any of the guards or actions of an event
Version x.y
TODO: List here the new features and improvements.
- Improvements
- Bug fixes
