Decomposition Release History

From Event-B
Revision as of 14:46, 23 March 2012 by imported>Tommy
Jump to navigationJump to search

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 a decomposed event

Version 1.2.2

Version x.y

TODO: List here the new features and improvements.

  • Improvements
  • Bug fixes
Retrieved from ‘https://wiki.event-b.org/index.php?title=Decomposition_Release_History&oldid=3575’