Rodin Platform 2.1 External Plug-ins: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Im06r
imported>Im06r
Line 27: Line 27:
| || Relevance Filter || ||<span style="color:#8B4513"> not available</span>||  || || [mailto:mschmalz@inf.ethz.ch email] ||  
| || Relevance Filter || ||<span style="color:#8B4513"> not available</span>||  || || [mailto:mschmalz@inf.ethz.ch email] ||  
|-
|-
| || Theory Plug-in ||v0.6 ||<span style="color:#8B4513"> available</span>||  || 4 January 2011|| [mailto:im06r@ecs.soton.ac.uk email] ||  
| || [[Theory Plug-in| Theory Plug-in]] ||v0.6 ||<span style="color:#8B4513"> available</span>||  || 4 January 2011|| [mailto:im06r@ecs.soton.ac.uk email] ||  
|-
|-
|}
|}

Revision as of 14:30, 8 February 2011


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 email
Decomposition plug-in not available
Project Diagram not available
Relevance Filter not available email
Theory Plug-in v0.6 available 4 January 2011 email

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