Rodin Platform 2.8.0 External Plug-ins

From Event-B
Revision as of 16:49, 7 May 2013 by imported>Tommy (Created page with "==== Rodin Update Site ==== {{SimpleHeader}} |- ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info |- | [[Image:IUMLB_...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Rodin Update Site

Plug-in name Version Status MCV* Release Date Contact Additional info
IUMLB big.png Event-B State-machines 1.2.0 not checked 3rd June 2012 email State-machines contained in Event-B Machines
IUMLB big.png Event-B State-machine Animation 1.1.0 not checked 28th May 2012 email Compatible with Event-B statemachines 1.2.0 and ProB 2.3.2.
Umlb32.gif UML-B 2.2.0 not checked 9th Feb. 2011 email Original UML-B modelling environment
Umlb32.gif UML-B Statemachine Animation 1.1.0 not checked 15th Feb. 2011 email Compatible with UML-B 2.2 and ProB 2.1.
Event-B EMF framework 3.7.0 not checked 30th April 2012 email Provided for plug-in developers. End 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.3.0 not checked 3rd June 2012 email Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
Event-B EMF support for diagrams 2.1.0 not checked 3rd June 2012 email Provided for plug-in developers. End 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.gif Rose 1.3.0 not checked 25th Aug. 2011 email Mainly useful for Plug-in developers. Tree-structured editor that handles extensions without modification
Records 1.0.1 not checked 16th Oct. 2010 email No longer actively supported - please email if you wish to use this plugin
Teamwork 1.1.0 not checked 15th Oct. 2010 email No longer actively supported - please email if you wish to use this plugin
Shared Event Composition 1.6.0 not checked 16th August 2012 email Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects
Refactory 1.2.2 not checked 2.6.x 16th August 2012 email Version compatible with Rodin 2.6.
DecompositionPlug-in logo.png Decomposition 1.2.6 not checked 11th Dec 2012 email Compatible with Rodin 2.7 .
Project diagram icon s.png Project Diagram 1.0.0 not checked 15th Nov. 2010 email Machine - Context relationship diagram
Relevance Filter 1.1.1 not checked 2.x.x
Theory Plug-in v1.0 not checked 2.2 8th July 2011 email Compatible with Rodin 2.2 only.
Code Generation Feature 0.2.3 not checked* 22nd Mar. 2012 email *See Code Generation page for details of a compatibility issue.
SMT Solvers 0.8.0 not available 2.4 17th Feb. 2012 Laurent Voisin This plug-in is not currently available. Please contact Laurent Voisin
Qualitative Probability 0.2.1 not checked 2.3.x 23rd November 2011 email
Generic Instantiation 0.2.2 not checked 2.3.x 11th May 2012 email
B2Latex export 0.5.3 not checked 2.5.x 16th April 2012 email