Rodin Platform 2.1 External Plug-ins
From Event-B
Rodin Update Site
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
---|---|---|---|---|---|---|---|
UML-B | not available | ||||||
Event-B EMF framework | not available | Users should not need to install this framework. It will be installed automatically by other plug-ins as required. | |||||
Rose | not available | ||||||
Records | not available | This release includes EMF and Refactory support for records. | |||||
Teamwork | not available | ||||||
Shared Event Composition plug-in | not available | ||||||
Refactory plug-in | not available | ||||||
Decomposition plug-in | not available | ||||||
Project Diagram | not available | ||||||
Relevance Filter | not available | ||||||
Theory Plug-in | v0.6 | available | 4 January 2011 |
B Method Update Site
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
---|---|---|---|---|---|---|---|
Atelier-B provers | not available |
Other Updates Sites
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
---|---|---|---|---|---|---|---|
AnimB | not available | Christophe Métayer | Use the update site http://www.animb.org/updatesite | ||||
Camille | not available | Use the ProB update site. You need to add the Galileo update site (see Event-B EMF framework 3.2.0) | |||||
Modularisation | not available | Use the update site http://www.iliasov.org/modplugin | |||||
Group refinement | not available | Use the update site http://iliasov.org/refplugin | |||||
ProB | not available | We are actively working on the release. | |||||
ProR | not available | Michael Jastram |
*MCV stands for the Rodin's Maximum Compatible Version
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 Rodin User List or feel free to complete the following table.
Plug-in name | Incompatible with |
---|