Decomposition Release History - Revision history

imported>Andy at 10:21, 25 November 2014

2014-11-25T10:21:34Z

← Older revision		Revision as of 10:21, 25 November 2014
Line 1:		Line 1:
	= Version 1.0 =		= Version 1.3.0 =
	* Initial release for Rodin 1.2.

	~~= Version 1~~.0.1 =		Release compatible with Rodin 3.0.1 and Rodin 3.1.0 Release Candidate
	* Implemented a workaround to take contributed elements (records, …) into account. ~~Works properly when NOT decomposing contexts~~.

	= Version 1.0.2 =		= Version 1.2.6 =
	* 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 =~~		Release compatible with version 2.7.x and 2.8.x of the platform.
	* 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 =~~		* 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.
	* ~~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.3 =		= Version 1.2.5 =

	~~User's inputs and request were taken into account~~. ~~In particular in terms of better usability~~ of the ~~tool~~. ~~We addressed this topic by:~~		Release compatible with version 2.7.x of the platform.

	* ~~Typing guards (automatically generated) are marked as theorems~~		* Optimization on project notification process
	* 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.4 =		= Version 1.2.4 =
Line 39:		Line 23:
	** Fixed small bugs		** Fixed small bugs

	= Version 1.2.5 =		= 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

	~~Release compatible with version~~ 2.7.x of the ~~platform.~~		= 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

	* ~~Optimization on project notification process~~		= 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.2.6 =		= Version 1.0.1 =
			* Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts.

	~~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.0 =
			* Initial release for Rodin 1.2.

	= Version x.y =		= Version x.y =

imported>Asiehsalehi: /* Version x.y */

2013-07-04T15:26:02Z

Version x.y

← Older revision		Revision as of 15:26, 4 July 2013
Line 58:		Line 58:

	[[Category:Release Notes]]		[[Category:Release Notes]]
			[[Category:Design]]
			[[Category:Plugin]]
			[[Category:User documentation]]
			[[Category:Composition]]

imported>Asiehsalehi: /* Version 1.2.6 */

2013-07-04T10:50:43Z

Version 1.2.6

← Older revision		Revision as of 10:50, 4 July 2013
Line 47:		Line 47:
	= Version 1.2.6 =		= Version 1.2.6 =

	Release compatible with version 2.7.x of the platform.		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.		* 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.

imported>Asiehsalehi: /* Version 1.2.6 */

2013-02-15T15:17:45Z

Version 1.2.6

← Older revision		Revision as of 15:17, 15 February 2013
Line 49:		Line 49:
	Release compatible with version 2.7.x of the platform.		Release compatible with version 2.7.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 Project"(s)~~ containing sub-models; just the sub-models Event-B components are replaced by the new ones.		* 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 x.y =		= Version x.y =

imported>Asiehsalehi at 15:06, 15 February 2013

2013-02-15T15:06:09Z

← Older revision		Revision as of 15:06, 15 February 2013
Line 44:		Line 44:

	* Optimization on project notification process		* Optimization on project notification process

			= Version 1.2.6 =

			Release compatible with version 2.7.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 Project"(s) containing sub-models; just the sub-models Event-B components are replaced by the new ones.

	= Version x.y =		= Version x.y =

imported>Asiehsalehi at 16:16, 11 December 2012

2012-12-11T16:16:04Z

← Older revision		Revision as of 16:16, 11 December 2012
Line 38:		Line 38:
	** Decomposition wizard problem for large number of variables/events (were not displayed in full)		** Decomposition wizard problem for large number of variables/events (were not displayed in full)
	** Fixed small bugs		** Fixed small bugs

			= Version 1.2.5 =

			Release compatible with version 2.7.x of the platform.

			* Optimization on project notification process

	= Version x.y =		= Version x.y =

imported>Renato: /* Version 1.2.3 */

2012-08-16T11:08:46Z

Version 1.2.3

← Older revision		Revision as of 11:08, 16 August 2012
Line 30:		Line 30:
	* Changed suffix of decomposition file to "_DCMP"		* Changed suffix of decomposition file to "_DCMP"
	* Fixed small bugs		* Fixed small bugs

			= 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 x.y =		= Version x.y =

imported>Renato: /* Version 1.2.3 */

2012-06-25T09:52:41Z

Version 1.2.3

← Older revision		Revision as of 09:52, 25 June 2012
Line 23:		Line 23:
	= Version 1.2.3 =		= 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:		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		* Typing guards (automatically generated) are marked as theorems

imported>Renato: /* Version 1.2.2 */

2012-06-25T09:36:24Z

Version 1.2.2

← Older revision		Revision as of 09:36, 25 June 2012
Line 21:		Line 21:
	* Feature request: removed parameters that are not used in any of the guards or actions of a decomposed event		* Feature request: removed parameters that are not used in any of the guards or actions of a decomposed event

	= Version 1.2.2 =		= 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 x.y =		= Version x.y =

imported>Tommy at 14:46, 23 March 2012

2012-03-23T14:46:04Z

← Older revision		Revision as of 14:46, 23 March 2012
Line 20:		Line 20:
	* Updated for Rodin 2.2.x.		* 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		* 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 =		= Version x.y =