Rodin Platform 2.0 External Plug-ins - Revision history

imported>Tommy at 18:40, 22 February 2011

2011-02-22T18:40:36Z

← Older revision		Revision as of 18:40, 22 February 2011
Line 63:		Line 63:
	\|-		\|-
	\|}		\|}

			[[Category:Rodin Platform Release Notes]]

imported>Andy: /* Rodin Update Site */

2011-02-16T17:13:53Z

Rodin Update Site

← Older revision		Revision as of 17:13, 16 February 2011
Line 24:		Line 24:
	\|-		\|-
	\| \|\| Relevance Filter \|\| 1.0.0 \|\| <span style="color:#006400">available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|		\| \|\| Relevance Filter \|\| 1.0.0 \|\| <span style="color:#006400">available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|
			\|-
			\| \|\| Tasking Event-B \|\| 0.1.0 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| [mailto:ae2@ecs.soton.ac.uk email] \|\| Implementation Specification, and Code Generation, for Multi-Tasking Systems
	\|}		\|}

imported>Tommy at 10:39, 15 December 2010

2010-12-15T10:39:49Z

← Older revision		Revision as of 10:39, 15 December 2010
Line 52:		Line 52:
	\|}		\|}
	<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>		<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>

			==== Known plug-in incompatibilities ====
			It unfortunately exists some incompatibilities between plug-ins. This list might be non exhaustive and is updated accorded to user experiences.
			If you encounter some conflict while installing or using plug-ins, please send a mail to the [mailto:rodin-b-sharp-user@lists.sourceforge.net Rodin User List] or feel free to complete the following table.
			{{SimpleHeader}}
			\|-
			! scope=col \| Plug-in name \|\| Incompatible with
			\|-
			\|}

imported>Wohuai: /* Rodin Update Site */

2010-12-08T13:22:49Z

Rodin Update Site

← Older revision		Revision as of 13:22, 8 December 2010
Line 22:		Line 22:
	\|-		\|-
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| ?? \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| \|\|		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| ?? \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| \|\|
			\|-
			\| \|\| Relevance Filter \|\| 1.0.0 \|\| <span style="color:#006400">available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|
	\|}		\|}

imported>Tommy: /* Other Updates Sites */

2010-12-07T13:19:22Z

Other Updates Sites

← Older revision		Revision as of 13:19, 7 December 2010
Line 39:		Line 39:
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the ProB update site. You need to add the ~~Helios~~ update site (see Event-B EMF framework 3.2.0)		\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the ProB update site. You need to add the Galileo update site (see Event-B EMF framework 3.2.0)
	\|-		\|-
	\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| 1.4.2 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>		\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| 1.4.2 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>

imported>Felix-loesch: /* B Method Update Site */

2010-12-07T10:48:37Z

B Method Update Site

← Older revision		Revision as of 10:48, 7 December 2010
Line 29:		Line 29:
	! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| \|\|Atelier-B provers \|\| 1.2.0 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|		\| \|\|Atelier-B provers \|\| 1.2.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|
	\|}		\|}

imported>Tommy at 18:30, 3 December 2010

2010-12-03T18:30:44Z

← Older revision		Revision as of 18:30, 3 December 2010
Line 1:		Line 1:
	==== Rodin Update Site ====		==== Rodin Update Site ====

	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]]\|\|[[UML-B\|UML-B]] \|\| 2.1.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|		\| [[Image:Umlb32.gif\|30px]]\|\|[[UML-B\|UML-B]] \|\| 2.1.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|
Line 26:		Line 27:
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| MCV \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| \|\|Atelier-B provers \|\| 1.2.0 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|		\| \|\|Atelier-B provers \|\| 1.2.0 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|
Line 34:		Line 35:
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| MCV \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
Line 48:		Line 49:
	\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 4.4.0 \|\|<span style="color:#006400">available</span> \|\| \|\| \|\| [mailto:michael@jastram.de Michael Jastram] \|\|		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 4.4.0 \|\|<span style="color:#006400">available</span> \|\| \|\| \|\| [mailto:michael@jastram.de Michael Jastram] \|\|
	\|}		\|}
			<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>

imported>Tommy at 18:27, 3 December 2010

2010-12-03T18:27:36Z

imported>Tommy: /* Other Updates Sites */

2010-12-03T17:39:08Z

Other Updates Sites

← Older revision		Revision as of 17:39, 3 December 2010
Line 36:		Line 36:
	! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span> \|\| \|\| [mailto:christope.metayer@animb.org ~~contact~~] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span> \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)		\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)

imported>Jastram: /* Other Updates Sites */

2010-12-03T14:21:29Z

Other Updates Sites

← Older revision		Revision as of 14:21, 3 December 2010
Line 45:		Line 45:
	\|-		\|-
	\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[[ProB]] \|\| \|\| <span style="color:#8B4513">not available</span> \|\| ?? \|\| \|\| We are actively working on the release.		\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[[ProB]] \|\| \|\| <span style="color:#8B4513">not available</span> \|\| ?? \|\| \|\| We are actively working on the release.
			\|-
			\| [[Image:ProR_logo.png\|32px]]\|\|[http://pror.org ProR] \|\| \|\| <span style="color:#006400">available</span> \|\| 4.4.0 \|\| [mailto:michael@jastram.de Michael Jastram] \|\|
	\|}		\|}

← Older revision		Revision as of 18:27, 3 December 2010
Line 2:		Line 2:
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]]\|\|[[UML-B\|UML-B]] \|\| 2.1.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\|		\| [[Image:Umlb32.gif\|30px]]\|\|[[UML-B\|UML-B]] \|\| 2.1.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 3.2.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 3.2.1 \|\|<span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.1.0 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\|		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.1.0 \|\|<span style="color:#006400">available</span>\|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\|This release includes EMF and Refactory support for records.		\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:#006400">available</span> \|\| \|\| \|\| \|\|This release includes EMF and Refactory support for records.
	\|-		\|-
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.1.0 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\|		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.1.0 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition plug-in]] \|\| 1.2 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\|		\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition plug-in]] \|\| 1.2 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory plug-in]]\|\| 1.0.0 \|\| <span style="color:#006400">available</span> \|\| \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|		\| \|\|[[Refactoring Framework \| Refactory plug-in]]\|\| 1.0.0 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition plug-in]] \|\| 1.1.0 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\|		\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition plug-in]] \|\| 1.1.0 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|
	\|-		\|-
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| ?? \|\| <span style="color:#006400">available</span> \|\| \|\| \|\|		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| ?? \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| \|\|
	\|}		\|}

Line 26:		Line 26:
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| MCV \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| \|\|Atelier-B provers \|\| 1.2.0 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\|		\| \|\|Atelier-B provers \|\| 1.2.0 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\|
	\|}		\|}

Line 34:		Line 34:
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| MCV \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span> \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)		\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)
	\|-		\|-
	\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| 1.4.2 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>		\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| 1.4.2 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>
	\|-		\|-
	\| \|\|[[Group_refinement_plugin\|Group refinement]] \|\| 0.1.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the update site <tt>http://iliasov.org/refplugin</tt>		\| \|\|[[Group_refinement_plugin\|Group refinement]] \|\| 0.1.1 \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the update site <tt>http://iliasov.org/refplugin</tt>
	\|-		\|-
	\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[[ProB]] \|\| \|\| <span style="color:#8B4513">not available</span> \|\| ?? \|\| \|\| We are actively working on the release.		\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[[ProB]] \|\| \|\| <span style="color:#8B4513">not available</span>\|\| 1.3.1 \|\| ?? \|\| \|\| We are actively working on the release.
	\|-		\|-
	\| [[Image:ProR_logo.png\|32px]]\|\|[http://pror.org ProR] \|\| \|\| <span style="color:#006400">available</span> \|\| ~~4.4.0~~ \|\| [mailto:michael@jastram.de Michael Jastram] \|\|		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 4.4.0 \|\|<span style="color:#006400">available</span> \|\| \|\| \|\| [mailto:michael@jastram.de Michael Jastram] \|\|
	\|}		\|}