Difference between revisions of "Decomposition Release History"

From Event-B
Jump to navigationJump to search
imported>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 use. Decomposition file is created from the wizard ('save as' button)
+
* 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 allow the reassembly of the sub-components (for validating the decomposition)
+
* 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).
* Remove the 'theorem' tag from the typing guards
+
* 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