Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| 3.0.1 | 2019-02-13 | ||
| 3.0.0 | 2019-01-08 | ||
| 2.2.0 | 2018-12-10 | ||
| readme.txt | 2019-02-13 | 1.4 kB | |
| Totals: 4 Items | 1.4 kB | 0 | |
An extension to Pro-B to provide replayable simulation of Component Diagrams. Release history: ------------------------------------------------------------------- ### 3.0.1 ### - fix install licence message ### 3.0.0 ### simulator (3.0.0) - start any associated statemachine animations - renamed plugin to remove '.ui' - update to use new eclipse extension framework for commands and handlers - provide CODA simulator perspective instead of adding to ProB perspective - change gold oracle extension to gold_oracle as gold.oracle no longer selects in dialog filter - fix bug in starting animator (causing ProB error message) - fix problems in simulator view layout ### 2.2.0 ### simulator.ui (2.1.0) - upgrade execution environment to Java 1.8 - use EcoreUtil.getURI as getUri has been removed from EventB Elements ### 2.1.2 ###Update copyright and branding information, update dependency - Simulator Branding: Update copyright and branding information, no functional \ change - Simulator UI: Update dependency and copyright statement. ### 2.0.3 ###Used shared-licence, used branding plugin ### 2.0.2 ###Update licence information, fix bundle localisation ### 2.0.1 ###Updated for Rodin 3.1.x ### 2.0.0 ###Updated for new features in CODA 4.0.0 ### 1.0.2 ###Fix problem with Oracle folders ### 1.0.1 ###Fix problem with Oracle folders ### 1.0.0 ###First Release ### 0.0.1 ###First prototype release