Decomposition Release History

From Event-B
Revision as of 17:18, 28 May 2010 by imported>Renato (→‎Version x.y)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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
Retrieved from ‘https://wiki.event-b.org/index.php?title=Decomposition_Release_History&oldid=3570’