Difference between revisions of "Rodin Platform 2.0 External Plug-ins"

From Event-B
Jump to: navigation, search
m (Other Updates Sites)
(Rodin Update Site)
Line 22: Line 22:
 
|-
 
|-
 
| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| ?? || <span style="color:#006400">available</span> || || || ||
 
| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| ?? || <span style="color:#006400">available</span> || || || ||
 +
|-
 +
| || Relevance Filter || 1.0.0 || <span style="color:#006400">available</span> || 2.x.x || || [mailto:mschmalz@inf.ethz.ch email] ||
 
|}
 
|}
  

Revision as of 14:22, 8 December 2010

Rodin Update Site

Plug-in name Version Status MCV* Release Date Contact Additional info
Umlb32.gif UML-B 2.1.1 available
Event-B EMF framework 3.2.1 available Users should not need to install this framework. It will be installed automatically by other plug-ins as required.
Error creating thumbnail: Unable to save thumbnail to destination
Rose 1.1.0 available
Records 1.0.1 available This release includes EMF and Refactory support for records.
Teamwork 1.1.0 available
Shared Event Composition plug-in 1.2 available
Refactory plug-in 1.0.0 available email
DecompositionPlug-in logo.png Decomposition plug-in 1.1.0 available
Error creating thumbnail: Unable to save thumbnail to destination
Project Diagram  ?? available
Relevance Filter 1.0.0 available 2.x.x email

B Method Update Site

Plug-in name Version Status MCV* Release Date Contact Additional info
Atelier-B provers 1.2.1 available

Other Updates Sites

Plug-in name Version Status MCV* Release Date Contact Additional info
AnimB.png AnimB 0.2.1 available Christophe Métayer Use the update site http://www.animb.org/updatesite
Camille 2.0.1 available Use the ProB update site. You need to add the Galileo update site (see Event-B EMF framework 3.2.0)
Mlogo big.png Modularisation 1.4.2 available Use the update site http://www.iliasov.org/modplugin
Group refinement 0.1.1 available Use the update site http://iliasov.org/refplugin
Prob eventb wiki logo.png ProB not available 1.3.1  ?? We are actively working on the release.
ProR logo.png ProR 4.4.0 available Michael Jastram

*MCV stands for the Rodin's Maximum Compatible Version