Decomposition Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Nicolas No edit summary |
imported>Renato |
||
| Line 4: | Line 4: | ||
= Version 1.0.1 = | = Version 1.0.1 = | ||
* Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts. | * 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 use. 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 allow the reassembly of the sub-components (for validating the decomposition) | |||
* Remove the 'theorem' tag from the typing guards | |||
= Version x.y = | = Version x.y = | ||
Revision as of 17:18, 28 May 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 use. 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 allow the reassembly of the sub-components (for validating the decomposition)
- Remove the 'theorem' tag from the typing guards
Version x.y
TODO: List here the new features and improvements.
- Improvements
- Bug fixes
