Difference between revisions of "Decomposition Release History"
From Event-B
Jump to navigationJump to searchimported>Renato |
imported>Pascal |
||
Line 7: | Line 7: | ||
= Version 1.0.2 = | = Version 1.0.2 = | ||
* Updated for Rodin 1.3.x. | * Updated for Rodin 1.3.x. | ||
− | * Includes a decomposition file where the decomposition settings can be saved for future | + | * 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 | + | * 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 x.y = | = Version x.y = |
Revision as of 11:31, 2 June 2010
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 x.y
TODO: List here the new features and improvements.
- Improvements
- Bug fixes