Decomposition Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy mNo edit summary |
imported>Andy No edit summary |
||
| (8 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
= Version 1.0 = | = Version 1.3.0 = | ||
* | |||
Release compatible with Rodin 3.0.1 and Rodin 3.1.0 Release Candidate | |||
= Version 1.2.6 = | |||
Release compatible with version 2.7.x and 2.8.x of the platform. | |||
* Re-running a decomposition configuration (configured for "New Project" containing sub-models) will keep the Event-B components have been built in the new projects containing sub-models; just the sub-models' Event-B components are replaced by the new ones. | |||
= Version 1.2.5 = | |||
Release compatible with version 2.7.x of the platform. | |||
* Optimization on project notification process | |||
= Version 1.2.4 = | |||
Release compatible with version 2.6.x of the platform. | |||
*Bug fixes | |||
** Decomposition wizard problem for large number of variables/events (were not displayed in full) | |||
** Fixed small bugs | |||
= Version 1.2.3 = | |||
User's inputs and request were taken into account. In particular in terms of better usability of the tool. We addressed this topic by: | |||
* Typing guards (automatically generated) are marked as theorems | |||
* Static checks were added to the decomposition file according to the decomposition style chosen. | |||
* Improved UI interface: removed dialog requesting confirmation to delete possible existing sub-components (generated sub-components are marked as read-only) | |||
* Changed suffix of decomposition file to "_DCMP" | |||
* Fixed small bugs | |||
= 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 a decomposed event | |||
= Version 1.0 | = 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.0.2 = | = Version 1.0.2 = | ||
| Line 11: | Line 49: | ||
* Removes the 'theorem' tag from the typing guards. | * Removes the 'theorem' tag from the typing guards. | ||
= Version 1.1 | = Version 1.0.1 = | ||
* | * Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts. | ||
= Version 1.2. | = Version 1.0 = | ||
* Initial release for Rodin 1.2. | |||
= Version x.y = | = Version x.y = | ||
| Line 30: | Line 63: | ||
[[Category:Release Notes]] | [[Category:Release Notes]] | ||
[[Category:Design]] | |||
[[Category:Plugin]] | |||
[[Category:User documentation]] | |||
[[Category:Composition]] | |||
Latest revision as of 10:21, 25 November 2014
Version 1.3.0
Release compatible with Rodin 3.0.1 and Rodin 3.1.0 Release Candidate
Version 1.2.6
Release compatible with version 2.7.x and 2.8.x of the platform.
- Re-running a decomposition configuration (configured for "New Project" containing sub-models) will keep the Event-B components have been built in the new projects containing sub-models; just the sub-models' Event-B components are replaced by the new ones.
Version 1.2.5
Release compatible with version 2.7.x of the platform.
- Optimization on project notification process
Version 1.2.4
Release compatible with version 2.6.x of the platform.
- Bug fixes
- Decomposition wizard problem for large number of variables/events (were not displayed in full)
- Fixed small bugs
Version 1.2.3
User's inputs and request were taken into account. In particular in terms of better usability of the tool. We addressed this topic by:
- Typing guards (automatically generated) are marked as theorems
- Static checks were added to the decomposition file according to the decomposition style chosen.
- Improved UI interface: removed dialog requesting confirmation to delete possible existing sub-components (generated sub-components are marked as read-only)
- Changed suffix of decomposition file to "_DCMP"
- Fixed small bugs
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 a decomposed event
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.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.0.1
- Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts.
Version 1.0
- Initial release for Rodin 1.2.
Version x.y
TODO: List here the new features and improvements.
- Improvements
- Bug fixes
