Difference between revisions of "Decomposition Release History"

From Event-B
Jump to navigationJump to search
imported>Nicolas
imported>Andy
 
(14 intermediate revisions by 4 users not shown)
Line 1: Line 1:
= Version 1.0 =
+
= Version 1.3.0 =
* Initial release for Rodin 1.2.
+
 
 +
Release compatible with Rodin 3.0.1 and Rodin 3.1.0 Release Candidate
 +
 
 +
= Version 1.2.6 =
 +
 
 +
Release compatible with version 2.7.x and 2.8.x of the platform.
 +
 
 +
* Re-running a decomposition configuration (configured for "New Project" containing sub-models) will keep the Event-B components have been built in the new projects containing sub-models; just the sub-models' Event-B components are replaced by the new ones.
 +
 
 +
= Version 1.2.5 =
 +
 
 +
Release compatible with version 2.7.x of the platform.
 +
 
 +
* Optimization on project notification process
 +
 
 +
= Version 1.2.4 =
 +
 
 +
Release compatible with version 2.6.x of the platform.
 +
 
 +
*Bug fixes
 +
** Decomposition wizard problem for large number of variables/events (were not displayed in full)
 +
** Fixed small bugs
 +
 
 +
= Version 1.2.3 =
 +
 
 +
User's inputs and request were taken into account. In particular in terms of better usability of the tool. We addressed this topic by:
 +
 
 +
* Typing guards (automatically generated) are marked as theorems
 +
* Static checks were added to the decomposition file according to the decomposition style chosen.
 +
* Improved UI interface: removed dialog requesting confirmation to delete possible existing sub-components (generated sub-components are marked as read-only)
 +
* Changed suffix of decomposition file to "_DCMP"
 +
* Fixed small bugs
 +
 
 +
= 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.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.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.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 =
 +
* Initial release for Rodin 1.2.
  
 
= Version x.y =
 
= Version x.y =
Line 12: Line 63:
  
 
[[Category:Release Notes]]
 
[[Category:Release Notes]]
 +
[[Category:Design]]
 +
[[Category:Plugin]]
 +
[[Category:User documentation]]
 +
[[Category:Composition]]

Latest revision as of 10:21, 25 November 2014

Version 1.3.0

Release compatible with Rodin 3.0.1 and Rodin 3.1.0 Release Candidate

Version 1.2.6

Release compatible with version 2.7.x and 2.8.x of the platform.

  • Re-running a decomposition configuration (configured for "New Project" containing sub-models) will keep the Event-B components have been built in the new projects containing sub-models; just the sub-models' Event-B components are replaced by the new ones.

Version 1.2.5

Release compatible with version 2.7.x of the platform.

  • Optimization on project notification process

Version 1.2.4

Release compatible with version 2.6.x of the platform.

  • Bug fixes
    • Decomposition wizard problem for large number of variables/events (were not displayed in full)
    • Fixed small bugs

Version 1.2.3

User's inputs and request were taken into account. In particular in terms of better usability of the tool. We addressed this topic by:

  • Typing guards (automatically generated) are marked as theorems
  • Static checks were added to the decomposition file according to the decomposition style chosen.
  • Improved UI interface: removed dialog requesting confirmation to delete possible existing sub-components (generated sub-components are marked as read-only)
  • Changed suffix of decomposition file to "_DCMP"
  • Fixed small bugs

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.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.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.0.1

  • Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts.


Version 1.0

  • Initial release for Rodin 1.2.

Version x.y

TODO: List here the new features and improvements.

  • Improvements
  • Bug fixes