Rodin Platform 2.3 External Plug-ins - Revision history

imported>Jastram: /* Other Update Sites */

2012-01-04T09:10:27Z

Other Update Sites

← Older revision		Revision as of 09:10, 4 January 2012
Line 69:		Line 69:
	\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| 2.2.4\|\| <span style="color:#006400">available</span>\|\| 2.3.x \|\| 2nd Oct. 2011 \|\| \|\| 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.2.4\|\| <span style="color:#006400">available</span>\|\| 2.3.x \|\| 2nd Oct. 2011 \|\| \|\| 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:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 8.0.1 \|\|<span style="color:#8B4513"> not available</span> \|\| 2.x.x \|\| 16th May 2011 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: http://update.pror.org<br>Project web site: http://~~pror~~.org		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 8.0.1 \|\|<span style="color:#8B4513"> not available</span> \|\| 2.x.x \|\| 16th May 2011 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: http://update.pror.org<br>Project web site: http://eclipse.org/rmf
	\|-		\|-
	\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 1.1 \|\| <span style="color:#006400"> available</span>\|\| 2.3.x \|\| 4th of November 2011 \|\| [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]] \|\| 1.1 \|\| <span style="color:#006400"> available</span>\|\| 2.3.x \|\| 4th of November 2011 \|\| [mailto:alin.stefanescu@upit.ro Alin Stefanescu] \|\| Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt>

imported>Andy: /* Rodin Update Site */

2011-12-14T13:54:09Z

Rodin Update Site

← Older revision		Revision as of 13:54, 14 December 2011
Line 35:		Line 35:
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v1.0 \|\|<span style="color:#8B4513"> not available</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 available</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.1.5 \|\|<span style="color:#8B4513"> ~~not~~ available</span>\|\| \|\| ~~17th May~~ 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|		\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.2.1 \|\|<span style="color:#8B4513"> available</span>\|\| \|\| 14th Dec. 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|
	\|-.x		\|-.x
	\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.6.1 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 2nd December 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|		\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.6.1 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 2nd December 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|

imported>Tommy: /* Rodin Update Site */

2011-12-02T17:34:10Z

Rodin Update Site

← Older revision		Revision as of 17:34, 2 December 2011
Line 37:		Line 37:
	\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|		\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|
	\|-.x		\|-.x
	\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.6.1~~.r13629~~ \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 2nd December 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|		\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.6.1 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 2nd December 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|
	\|-		\|-
	\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|		\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|

imported>Tommy: /* Rodin Update Site */

2011-12-02T17:33:42Z

Rodin Update Site

← Older revision		Revision as of 17:33, 2 December 2011
Line 37:		Line 37:
	\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|		\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|
	\|-.x		\|-.x
	\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.6.0.~~r13613~~ \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| ~~1st~~ December 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|		\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.6.1.r13629 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 2nd December 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|
	\|-		\|-
	\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|		\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|

imported>Tommy: /* Rodin Update Site */

2011-12-01T18:12:18Z

Rodin Update Site

← Older revision		Revision as of 18:12, 1 December 2011
Line 37:		Line 37:
	\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|		\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|
	\|-.x		\|-.x
	\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.5.1.~~r12469~~ \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| ~~3rd October~~ 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|		\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.6.0.r13613 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 1st December 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|
	\|-		\|-
	\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|		\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|

imported>Son: /* Rodin Update Site */

2011-11-23T14:34:05Z

Rodin Update Site

← Older revision		Revision as of 14:34, 23 November 2011
Line 40:		Line 40:
	\|-		\|-
	\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|		\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [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:green">available</span> \|\| 2.3.x \|\| 23rd November 2011 \|\| [mailto:htson@inf.ethz.ch email] \|\|
	\|}		\|}

imported>Tommy: /* Rodin Update Site */

2011-11-18T16:52:33Z

Rodin Update Site

← Older revision		Revision as of 16:52, 18 November 2011
Line 33:		Line 33:
	\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:green">available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|		\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:green">available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|
	\|-		\|-
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v1.0 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 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 available</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.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|		\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|

imported>Tommy: /* Rodin Update Site */

2011-11-14T15:57:50Z

Rodin Update Site

← Older revision		Revision as of 15:57, 14 November 2011
Line 29:		Line 29:
	\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.2.1 \|\| <span style="color:green">available</span>\|\| \|\| 29th June 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.1 \|\| <span style="color:green">available</span>\|\| \|\| 29th June 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:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:~~#8B4513~~"> ~~not~~ available</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:green">available</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:green">available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|		\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:green">available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|

imported>Alinstef: /* Other Update Sites */

2011-11-07T19:15:21Z

Other Update Sites

← Older revision		Revision as of 19:15, 7 November 2011
Line 69:		Line 69:
	\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 8.0.1 \|\|<span style="color:#8B4513"> not available</span> \|\| 2.x.x \|\| 16th May 2011 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: http://update.pror.org<br>Project web site: http://pror.org		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 8.0.1 \|\|<span style="color:#8B4513"> not available</span> \|\| 2.x.x \|\| 16th May 2011 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: http://update.pror.org<br>Project web site: http://pror.org
	\|-		\|-
	\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 1.0 \|\| <span style="color:#006400"> available</span>\|\| 2.3.x \|\| ~~8th~~ of ~~July~~ 2011 \|\| [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]] \|\| 1.1 \|\| <span style="color:#006400"> available</span>\|\| 2.3.x \|\| 4th of November 2011 \|\| [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:#006400"> available</span>\|\| 2.x.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:#006400"> available</span>\|\| 2.x.x \|\| 4th July 2011 \|\| [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] \|\| Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt>

imported>Tommy: /* Rodin Update Site */

2011-11-07T16:03:49Z

Rodin Update Site

← Older revision		Revision as of 16:03, 7 November 2011
Line 37:		Line 37:
	\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|		\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#8B4513"> not available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|
	\|-.x		\|-.x
	\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.5.1.r12469 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 3rd October 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|		\| [[Image:Logo_rodin_editor_200px.png\|40px]] \|\| [[Rodin Editor ]] \|\| 0.5.1.r12469 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 3rd October 2011\|\| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] \|\|
			\|-
			\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 0.1.0 \|\|<span style="color:green">available</span>\|\| 2.3.x \|\| 19th October 2011\|\| [mailto:yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|
	\|}		\|}