Rodin Platform 2.5.0 External Plug-ins - Revision history

imported>Andy: /* Rodin Update Site */

2012-11-23T14:32:06Z

Rodin Update Site

← Older revision		Revision as of 14:32, 23 November 2012
Line 35:		Line 35:
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v1.0 \|\|<span style="color:#8B4513"> not checked</span>\|\| 2.2 \|\| 8th July 2011\|\| [mailto:im06r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.2 only.		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v1.0 \|\|<span style="color:#8B4513"> not checked</span>\|\| 2.2 \|\| 8th July 2011\|\| [mailto:im06r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.2 only.
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.2.2 \|\|<span style="color:green">available</span>\|\| \|\| 22nd Mar. 2012\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|		\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.2.3 \|\|<span style="color:green">available</span>\|\| \|\| 22nd Mar. 2012\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|
	\|-.x		\|-.x
	\|-		\|-

imported>Andy: /* Rodin Update Site */

2012-11-23T14:31:24Z

Rodin Update Site

← Older revision		Revision as of 14:31, 23 November 2012
Line 35:		Line 35:
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v1.0 \|\|<span style="color:#8B4513"> not checked</span>\|\| 2.2 \|\| 8th July 2011\|\| [mailto:im06r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.2 only.		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v1.0 \|\|<span style="color:#8B4513"> not checked</span>\|\| 2.2 \|\| 8th July 2011\|\| [mailto:im06r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.2 only.
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.2.2 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| 22nd Mar. 2012\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|		\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.2.2 \|\|<span style="color:green">available</span>\|\| \|\| 22nd Mar. 2012\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|
	\|-.x		\|-.x
	\|-		\|-

imported>Neoser: /* Other Update Sites */

2012-08-06T07:23:22Z

Other Update Sites

← Older revision		Revision as of 07:23, 6 August 2012
Line 81:		Line 81:
	\|		\|
	\|-		\|-
	\| [[Image:EHDL_Ver2.png\|center\|28px]] \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.tk/</tt>		\| [[Image:EHDL_Ver2.png\|center\|28px]] \|\|[[VHDL code generator]]\|\| 2.0.5 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.tk/</tt>
	\|}		\|}
	<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>		<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>

imported>Alexili at 19:27, 18 July 2012

2012-07-18T19:27:09Z

← Older revision		Revision as of 19:27, 18 July 2012
Line 64:		Line 64:
	\| \|\|[[Camille_Editor\|Camille]] \|\| 2.1.5 \|\|<span style="color:green">available</span>\|\| 2.5.x \|\| 27th July 2011 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>		\| \|\|[[Camille_Editor\|Camille]] \|\| 2.1.5 \|\|<span style="color:green">available</span>\|\| 2.5.x \|\| 27th July 2011 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>
	\|-		\|-
	\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>		\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:green">available</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>
	\|-		\|-
	\| \|\|[[Group_refinement_plugin\|Group refinement]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://iliasov.org/refplugin</tt>		\| \|\|[[Group_refinement_plugin\|Group refinement]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.6.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://iliasov.org/refplugin</tt>
	\|-		\|-
	\| \|\|[[Flows\|Flows/Use case extension]] \|\| \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://iliasov.org/usecase</tt>		\| \|\|[[Flows\|Flows/Use case extension]] \|\| \|\| <span style="color:green">available</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://iliasov.org/usecase</tt>
	\|-		\|-
	\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| 2.3.1\|\| <span style="color:green"> available</span>\|\| 2.5.x \|\| 04/25/2012 \|\| [mailto:jens@bendisposto.de Jens Bendisposto] \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]		\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| 2.3.1\|\| <span style="color:green"> available</span>\|\| 2.5.x \|\| 04/25/2012 \|\| [mailto:jens@bendisposto.de Jens Bendisposto] \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]

imported>Renato: /* Rodin Update Site */

2012-06-25T12:39:07Z

Rodin Update Site

← Older revision		Revision as of 12:39, 25 June 2012
Line 23:		Line 23:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| \|\| \|\|		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.5.1 \|\| <span style="color:green">available</span>\|\| \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.5.		\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.5.1 \|\| <span style="color:green">available</span>\|\| 2.5.x \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.5.
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.2.2 \|\| <span style="color:green">available</span>\|\| \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Version compatible with Rodin 2.5 . Fixed bug related with waiting for the rodin indexer to update. Added option to rename without having to wait for the rodin indexer to update.		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.2.2 \|\| <span style="color:green">available</span>\|\| 2.5.x \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Version compatible with Rodin 2.5 . Fixed bug related with waiting for the rodin indexer to update. Added option to rename without having to wait for the rodin indexer to update.
	\|-		\|-
	\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.2.3 \|\| <span style="color:green"> available</span>\|\| \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.5 . 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"		\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.2.3 \|\| <span style="color:green"> available</span>\|\| 2.5.x \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.5 . 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"
	\|-		\|-
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|

imported>Renato: /* Rodin Update Site */

2012-06-25T12:37:56Z

Rodin Update Site

← Older revision		Revision as of 12:37, 25 June 2012
Line 23:		Line 23:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| \|\| \|\|		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.4.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~26th~~ June ~~2011~~ \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.~~2.x. When project or machine is changed in the included section, the modification is propagated for the combined events~~.		\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.5.1 \|\| <span style="color:green">available</span>\|\| \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.5.
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.2.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~29th~~ June ~~2011~~ \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Version compatible with Rodin 2.2.~~x. More accurate monitor progress bar. Optimised rewriting of freeIdentifiers when renaming variables and constants~~. Added ~~an additional wizard step corresponding~~ to ~~the indexer update (avoids the platform~~ to ~~hang while waiting~~ for the indexer to update).		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.2.2 \|\| <span style="color:green">available</span>\|\| \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Version compatible with Rodin 2.5 . Fixed bug related with waiting for the rodin indexer to update. Added option to rename without having to wait for the rodin indexer to update.
	\|-		\|-
	\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.2.2 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~4th July 2011~~ \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.2.~~x. Optimisation~~: ~~parameters not used in a decomposed event~~ are ~~not created at all.~~		\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.2.3 \|\| <span style="color:green"> available</span>\|\| \|\| 25th June 2012 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.5 . 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"
	\|-		\|-
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|

imported>Tommy: /* B Method Update Site */

2012-06-21T16:07:57Z

B Method Update Site

← Older revision		Revision as of 16:07, 21 June 2012
Line 52:		Line 52:
	! 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:atelierB.png]]\|\|Atelier-B provers \|\| 2.0.1 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| 2.4.x \|\| 5th Oct. 2011 \|\| [mailto:contact@atelierb.eu email] \|\| Read the instructions concerning 64-bit compatibility : [[Rodin_Platform_2.4_Release_Notes#Requirements_-_Compatibility \| here ]]		\| [[Image:atelierB.png]]\|\|Atelier-B provers \|\| 2.0.1 \|\| <span style="color:green">available</span>\|\| 2.4.x \|\| 5th Oct. 2011 \|\| [mailto:contact@atelierb.eu email] \|\| Read the instructions concerning 64-bit compatibility : [[Rodin_Platform_2.4_Release_Notes#Requirements_-_Compatibility \| here ]]
	\|}		\|}

imported>Alinstef: /* Other Update Sites */

2012-05-18T12:42:06Z

Other Update Sites

← Older revision		Revision as of 12:42, 18 May 2012
Line 74:		Line 74:
	\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 0.2.0 \|\|<span style="color:green"> available</span> \|\| 2.5.x \|\| 04/25/2012 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: <tt>http://www.stups.uni-duesseldorf.de/pror_updates</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt>		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 0.2.0 \|\|<span style="color:green"> available</span> \|\| 2.5.x \|\| 04/25/2012 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: <tt>http://www.stups.uni-duesseldorf.de/pror_updates</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt>
	\|-		\|-
	\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 2.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| 2.3.x \|\| 5th of March 2012 \|\| [mailto:alin.stefanescu@upit.ro Alin Stefanescu] \|\| Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt>		\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 2.0 \|\| <span style="color:green"> available</span>\|\| 2.5.x \|\| 5th of March 2012 \|\| [mailto:alin.stefanescu@upit.ro Alin Stefanescu] \|\| Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt>
	\|-		\|-
	\| \|\|[[Mode/FT Views]]\|\| 1.0.2 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.4.x \|\| 4th July 2011 \|\| [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] \|\| Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt>		\| \|\|[[Mode/FT Views]]\|\| 1.0.2 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.4.x \|\| 4th July 2011 \|\| [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] \|\| Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt>

imported>Son: /* Rodin Update Site */

2012-05-14T13:27:43Z

Rodin Update Site

← Older revision		Revision as of 13:27, 14 May 2012
Line 40:		Line 40:
	\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.8.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.4 \|\| 17th Feb. 2012\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|		\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.8.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.4 \|\| 17th Feb. 2012\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|
	\|-		\|-
	\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.1 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span> \|\| 2.3.x \|\| 23rd November 2011 \|\| [mailto:htson@inf.ethz.ch email] \|\|		\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.1 \|\| <span style="color:green">available</span> \|\| 2.3.x \|\| 23rd November 2011 \|\| [mailto:htson@inf.ethz.ch email] \|\|
	\|-		\|-
	\| \|\| [[Generic Instantiation User Guide \| Generic Instantiation]] \|\| 0.2.2 \|\| <span style="color:green"> available</span> \|\| 2.3.x \|\| 11th May 2012 \|\| [mailto:htson@inf.ethz.ch email] \|\|		\| \|\| [[Generic Instantiation User Guide \| Generic Instantiation]] \|\| 0.2.2 \|\| <span style="color:green">available</span> \|\| 2.3.x \|\| 11th May 2012 \|\| [mailto:htson@inf.ethz.ch email] \|\|
	\|-		\|-
	\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.3 \|\| <span style="color:green"> available \|\| 2.5.x \|\| 16th April 2012 \|\| [mailto:thomas.muller@systerel.fr email] \|\|		\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.3 \|\| <span style="color:green"> available \|\| 2.5.x \|\| 16th April 2012 \|\| [mailto:thomas.muller@systerel.fr email] \|\|

imported>Son: /* Rodin Update Site */

2012-05-11T15:25:41Z

Rodin Update Site

← Older revision		Revision as of 15:25, 11 May 2012
Line 41:		Line 41:
	\|-		\|-
	\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.3.x \|\| 23rd November 2011 \|\| [mailto:htson@inf.ethz.ch email] \|\|		\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.3.x \|\| 23rd November 2011 \|\| [mailto:htson@inf.ethz.ch email] \|\|
			\|-
			\| \|\| [[Generic Instantiation User Guide \| Generic Instantiation]] \|\| 0.2.2 \|\| <span style="color:green"> available</span> \|\| 2.3.x \|\| 11th May 2012 \|\| [mailto:htson@inf.ethz.ch email] \|\|
	\|-		\|-
	\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.3 \|\| <span style="color:green"> available \|\| 2.5.x \|\| 16th April 2012 \|\| [mailto:thomas.muller@systerel.fr email] \|\|		\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.3 \|\| <span style="color:green"> available \|\| 2.5.x \|\| 16th April 2012 \|\| [mailto:thomas.muller@systerel.fr email] \|\|