Difference between revisions of "Rodin Platform 2.5.0 External Plug-ins"
From Event-B
Jump to navigationJump to searchimported>Alinstef |
imported>Andy |
||
(6 intermediate revisions by 5 users not shown) | |||
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. | + | | ||[[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. | + | | ||[[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. | + | | [[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] || | ||
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. | + | | || [[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 | ||
|- | |- | ||
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: | + | | [[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 ]] |
|} | |} | ||
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: | + | | [[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. | + | | ||[[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: | + | | ||[[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] | ||
Line 81: | Line 81: | ||
| | | | ||
|- | |- | ||
− | | [[Image:EHDL_Ver2.png|center|28px]] ||[[VHDL code generator]]|| 2.0. | + | | [[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> |
Latest revision as of 14:32, 23 November 2012
Contents
Rodin Update Site
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
---|---|---|---|---|---|---|---|
![]() |
UML-B | 2.2.0 | not checked | 9th Feb. 2011 | |||
UML-B Statemachine Animation | 1.1.0 | not checked | 15th Feb. 2011 | Compatible with UML-B 2.2 and ProB 2.1. | |||
Event-B EMF framework | 3.5.3 | not checked | 17th Oct. 2011 | Users should not need to install this framework. It will be installed automatically by other plug-ins as required. | |||
Event-B EMF support for extensions | 1.0.3 | not checked | 17th Oct. 2011 | Users should not need to install this framework. It will be installed automatically by other plug-ins as required. | |||
Isabelle for Rodin | not checked | 2.x.x | |||||
![]() |
Rose | 1.3.0 | not checked | 25th Aug. 2011 | |||
Records | 1.0.1 | not checked | This release includes EMF and Refactory support for records. | ||||
Teamwork | not checked | ||||||
Shared Event Composition | 1.5.1 | available | 2.5.x | 25th June 2012 | Compatible with Rodin 2.5. | ||
Refactory | 1.2.2 | available | 2.5.x | 25th June 2012 | 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. | ||
![]() |
Decomposition | 1.2.3 | available | 2.5.x | 25th June 2012 | 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" | |
![]() |
Project Diagram | 1.0.0 | not checked | ||||
Relevance Filter | 1.1.1 | not checked | 2.x.x | ||||
Theory Plug-in | v1.0 | not checked | 2.2 | 8th July 2011 | Compatible with Rodin 2.2 only. | ||
Code Generation Feature | 0.2.3 | available | 22nd Mar. 2012 | ||||
SMT Solvers | 0.8.0 | not checked | 2.4 | 17th Feb. 2012 | Yoann Guyot or Laurent Voisin | ||
Qualitative Probability | 0.2.1 | available | 2.3.x | 23rd November 2011 | |||
Generic Instantiation | 0.2.2 | available | 2.3.x | 11th May 2012 | |||
B2Latex export | 0.5.3 | available | 2.5.x | 16th April 2012 |
B Method Update Site
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
---|---|---|---|---|---|---|---|
![]() |
Atelier-B provers | 2.0.1 | available | 2.4.x | 5th Oct. 2011 | Read the instructions concerning 64-bit compatibility : here |
Other Update Sites
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | ||
---|---|---|---|---|---|---|---|---|
![]() |
AnimB | not checked | Christophe Métayer | Use the update site http://www.animb.org/updatesite | ||||
Camille | 2.1.5 | available | 2.5.x | 27th July 2011 | Michael Jastram | Use the Camille update site. http://www.stups.uni-duesseldorf.de/camille_updates Make sure to install the Event-B EMF Framework version 3.7.0 or greater. | ||
![]() |
Modularisation | available | 2.x.x | Use the update site http://www.iliasov.org/modplugin | ||||
Group refinement | not checked | 2.6.x | Use the update site http://iliasov.org/refplugin | |||||
Flows/Use case extension | available | 2.x.x | Use the update site http://iliasov.org/usecase | |||||
![]() |
ProB | 2.3.1 | available | 2.5.x | 04/25/2012 | Jens Bendisposto | Use the ProB update site. http://www.stups.uni-duesseldorf.de/prob_updates The Plug-in includes BMotion Studio | |
![]() |
ProR | 0.2.0 | available | 2.5.x | 04/25/2012 | Michael Jastram | Update site: http://www.stups.uni-duesseldorf.de/pror_updates Project web site: http://eclipse.org/rmf | |
![]() |
MBT plugin | 2.0 | available | 2.5.x | 5th of March 2012 | Alin Stefanescu | Use the update site http://fmi.upit.ro/mbt_plugin | |
Mode/FT Views | 1.0.2 | not checked | 2.4.x | 4th July 2011 | Ilya Lopatkin | Update site: http://rodinmodeftview.sourceforge.net/ | ||
Transformation patterns | 1.0 | not checked | 2.x.x | 4th July 2011 | Ilya Lopatkin | Update site: http://rodinmodeftview.sourceforge.net/ | ||
VHDL code generator | 2.0.5 | not checked | 2.x.x | 12th March 2012 | Sergey Ostroumov | Update site: http://www.eventb-to-vhdl.tk/ |
*MCV stands for the Rodin's Maximum Compatible Version
Known plug-in incompatibilities
It unfortunately might 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 Rodin User List or feel free to complete the following table.
Plug-in name | Incompatible with |
---|