Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
ac.soton.coda.simulator.source.feature_3.0.0.release.jar | 2019-01-08 | 2.2 kB | |
ac.soton.coda.simulator.source_3.0.0.release.jar | 2019-01-08 | 30.8 kB | |
ac.soton.coda.simulator_3.0.0.release.jar | 2019-01-08 | 137.5 kB | |
ac.soton.coda.simulator.feature_3.0.0.release.jar | 2019-01-08 | 5.8 kB | |
ac.soton.coda.simulator.sdk_3.0.0.release.jar | 2019-01-08 | 5.0 kB | |
Totals: 5 Items | 181.3 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