Rodin Platform 3.5.0 External Plug-ins - Revision history

Guillaume: Atelier B plug-in release 2.4.1

2025-01-21T13:05:26Z

Atelier B plug-in release 2.4.1

← Older revision		Revision as of 13:05, 21 January 2025
Line 70:		Line 70:
	! 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 \|\| 2.3.0 \|\| <span style="color:green">available</span> \|\| 3.~~3.0~~ \|\| ~~2 Dec 2020~~ \|\| \|\|		\| \|\| Atelier B provers \|\| 2.4.1 \|\| <span style="color:green">available</span> \|\| 3.8 \|\| 20 Jan 2025 \|\| \|\|
	\|}		\|}

Guillaume: Theory plug-in release 4.0.4

2022-04-01T13:52:58Z

Theory plug-in release 4.0.4

← Older revision		Revision as of 13:52, 1 April 2022
Line 40:		Line 40:
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.0.x.		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.0.x.
	\|-		\|-
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\| 4.0.3 \|\|<span style="color:green"> available</span>\|\| \|\| ~~29th Sept. 2021~~\|\| [mailto:gverdier@users.sourceforge.net Guillaume Verdier] \|\|		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\| 4.0.4 \|\|<span style="color:green"> available</span>\|\| \|\| 1st April 2022\|\| [mailto:gverdier@users.sourceforge.net Guillaume Verdier] \|\|
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:umlb@soton.ac.uk umlb] \|\| For Java, Ada, and OpenMP C code		\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:umlb@soton.ac.uk umlb] \|\| For Java, Ada, and OpenMP C code

Guillaume: SMT Solvers plug-in 1.5.0

2022-01-14T17:14:56Z

SMT Solvers plug-in 1.5.0

← Older revision		Revision as of 17:14, 14 January 2022
Line 18:		Line 18:
	! 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
	\|-		\|-
	\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 1.4.0 \|\| <span style="color:green"> available </span> \|\| \|\| ~~15th March 2016~~\|\| [mailto:lvoisin@users.sourceforge.net Laurent Voisin] \|\| Automatic prover using SMT solvers		\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 1.5.0 \|\| <span style="color:green"> available </span> \|\| \|\| 14th January 2022\|\| [mailto:lvoisin@users.sourceforge.net Laurent Voisin] \|\| Automatic prover using SMT solvers
	\|-		\|-
	\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:green"> available </span> \|\| ?.x.x \|\| \|\| \|\| Improves chance of automatic proof by selecting relevant hypotheses		\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:green"> available </span> \|\| ?.x.x \|\| \|\| \|\| Improves chance of automatic proof by selecting relevant hypotheses

Guillaume: Theory plug-in release 4.0.3

2021-09-29T13:16:28Z

Theory plug-in release 4.0.3

← Older revision		Revision as of 13:16, 29 September 2021
Line 40:		Line 40:
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.0.x.		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.0.x.
	\|-		\|-
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\| 4.0.2 \|\|<span style="color:green"> available</span>\|\| \|\| ~~4th June~~ 2021\|\| [mailto:gverdier@users.sourceforge.net Guillaume Verdier] \|\|		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\| 4.0.3 \|\|<span style="color:green"> available</span>\|\| \|\| 29th Sept. 2021\|\| [mailto:gverdier@users.sourceforge.net Guillaume Verdier] \|\|
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:umlb@soton.ac.uk umlb] \|\| For Java, Ada, and OpenMP C code		\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:umlb@soton.ac.uk umlb] \|\| For Java, Ada, and OpenMP C code

Guillaume: /* Rodin Update Site */

2021-06-04T12:20:54Z

Rodin Update Site

← Older revision		Revision as of 12:20, 4 June 2021
Line 40:		Line 40:
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.0.x.		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.0.x.
	\|-		\|-
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\| 4.0.1 \|\|<span style="color:green"> available</span>\|\| \|\| ~~22th Dec 2020~~\|\| [mailto:gverdier@users.sourceforge.net Guillaume Verdier] \|\|		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\| 4.0.2 \|\|<span style="color:green"> available</span>\|\| \|\| 4th June 2021\|\| [mailto:gverdier@users.sourceforge.net Guillaume Verdier] \|\|
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:umlb@soton.ac.uk umlb] \|\| For Java, Ada, and OpenMP C code		\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:umlb@soton.ac.uk umlb] \|\| For Java, Ada, and OpenMP C code

Basheer: /* Rodin Update Site */

2021-05-14T10:13:53Z

Rodin Update Site

← Older revision		Revision as of 10:13, 14 May 2021
Line 31:		Line 31:
	\|-		\|-
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.1 \|\|<span style="color:green"> available </span>\|\| 3.x.x \|\| 1st Feb. 2015 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Machine - Context relationship diagram. ('''Not compatible with latest UML-B.''' Will be up-issued on Soton update site.)		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.1 \|\|<span style="color:green"> available </span>\|\| 3.x.x \|\| 1st Feb. 2015 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Machine - Context relationship diagram. ('''Not compatible with latest UML-B.''' Will be up-issued on Soton update site.)
			\|-
			\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.3.0 \|\|<span style="color:green"> available </span>\|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Original UML-B modelling environment
	\|-		\|-
	\| [[Image:Cmp_mch_obj.gif\|20px]] \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.1 \|\| <span style="color:#8B4513"> not checked </span> \|\| \|\| 5th July 2017 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.x.x		\| [[Image:Cmp_mch_obj.gif\|20px]] \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.1 \|\| <span style="color:#8B4513"> not checked </span> \|\| \|\| 5th July 2017 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.x.x
Line 53:		Line 55:
	\| \|\|[[Records\|Records]] \|\| 2.0.0 \|\| <span style="color:#8B4513"> not checked </span> \|\| 2.x.x \|\| 16th Oct. 2010 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| no longer supported - use CamilleX instead		\| \|\|[[Records\|Records]] \|\| 2.0.0 \|\| <span style="color:#8B4513"> not checked </span> \|\| 2.x.x \|\| 16th Oct. 2010 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| no longer supported - use CamilleX instead
	\|-		\|-
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:#8B4513"> not checked </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| No longer supported - use CamilleX instead. Provides a synchronised copy of Machines and Contexts for committing into a repository.		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:#8B4513"> not checked </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| No longer supported - use CamilleX instead. Provides a synchronised copy of Machines and Contexts for committing into a repository.
	\|-
	\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.3.0 \|\|<span style="color:green"> available </span>\|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Original UML-B modelling environment
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.3.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| no longer supported - use new UML-B from Soton update site instead		\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.3.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| no longer supported - use new UML-B from Soton update site instead

Basheer: /* Rodin Update Site */

2021-05-14T10:11:28Z

Rodin Update Site

← Older revision		Revision as of 10:11, 14 May 2021
Line 55:		Line 55:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:#8B4513"> not checked </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| No longer supported - use CamilleX instead. Provides a synchronised copy of Machines and Contexts for committing into a repository.		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:#8B4513"> not checked </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| No longer supported - use CamilleX instead. Provides a synchronised copy of Machines and Contexts for committing into a repository.
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.3.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </span>\|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| ~~no longer supported - use new~~ UML-B ~~from Soton update site instead~~		\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.3.0 \|\|<span style="color:green"> available </span>\|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Original UML-B modelling environment
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.3.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| no longer supported - use new UML-B from Soton update site instead		\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.3.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| no longer supported - use new UML-B from Soton update site instead

Guillaume at 15:45, 10 February 2021

2021-02-10T15:45:55Z

← Older revision		Revision as of 15:45, 10 February 2021
Line 38:		Line 38:
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.0.x.		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| Compatible with Rodin 3.0.x.
	\|-		\|-
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\| 3.0.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~17th~~ Dec ~~2014~~\|\| [mailto:~~lvoisin~~@users.sourceforge.net ~~Laurent~~] \|\|		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\| 4.0.1 \|\|<span style="color:green"> available</span>\|\| \|\| 22th Dec 2020\|\| [mailto:gverdier@users.sourceforge.net Guillaume Verdier] \|\|
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:umlb@soton.ac.uk umlb] \|\| For Java, Ada, and OpenMP C code		\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:umlb@soton.ac.uk umlb] \|\| For Java, Ada, and OpenMP C code

Laurent: /* Atelier B Update Site */

2021-02-10T14:20:41Z

Atelier B Update Site

← Older revision		Revision as of 14:20, 10 February 2021
Line 70:		Line 70:
	! 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 \|\| 2.2.1 \|\| <span style="color:green">available</span> \|\| 3.3.0 \|\| ~~7 Aug 2017~~ \|\| \|\| ~~Does not work with macOS Catalina!~~		\| \|\| Atelier B provers \|\| 2.3.0 \|\| <span style="color:green">available</span> \|\| 3.3.0 \|\| 2 Dec 2020 \|\| \|\|
	\|}		\|}

Son: /* Southampton Releases Update Site */

2021-01-22T09:30:57Z

Southampton Releases Update Site

← Older revision		Revision as of 09:30, 22 January 2021
Line 96:		Line 96:
	! 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:CamilleX.png\|CmX]] \|\| [[CamilleX\|CamilleX]] \|\| 2.0.2 \|\|<span style="color:green"> new release </span> \|\| 3.5.0 \|\| 21 Jan 2021 \|\| [mailto:T.S.Hoang@ecs.soton.ac.uk Thai Son Hoang] \|\| CamilleX provides text editors for Event-B models and support modelling mechanisms such as machine inclusion.		\| [[Image:CamilleX.png\|CmX]] \|\| [[CamilleX\|CamilleX]] \|\| 2.0.2 \|\|<span style="color:green"> new release </span> \|\| 3.4.x \|\| 21 Jan 2021 \|\| [mailto:T.S.Hoang@ecs.soton.ac.uk Thai Son Hoang] \|\| CamilleX provides text editors for Event-B models and support modelling mechanisms such as machine inclusion.
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Classdiagrams\|UML-B Class Diagrams]] \|\| 3.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 11 Sept 2020 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| UML-B Class diagrams translate into Event-B Machines.		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Classdiagrams\|UML-B Class Diagrams]] \|\| 3.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 11 Sept 2020 \|\| [mailto:umlb@soton.ac.uk umlb] \|\| UML-B Class diagrams translate into Event-B Machines.