Download Latest Version ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Email in envelope

Get an email when there's a new version of RODIN

Home / Plugin_CODA / CODA Simulator / 3.0.0
Name Modified Size InfoDownloads / Week
Parent folder
ac.soton.coda.simulator.source.feature_3.0.0.release.jar 2019-01-08 2.2 kB
0
ac.soton.coda.simulator.source_3.0.0.release.jar 2019-01-08 30.8 kB
0
ac.soton.coda.simulator_3.0.0.release.jar 2019-01-08 137.5 kB
0
ac.soton.coda.simulator.feature_3.0.0.release.jar 2019-01-08 5.8 kB
0
ac.soton.coda.simulator.sdk_3.0.0.release.jar 2019-01-08 5.0 kB
0
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
Source: readme.txt, updated 2019-02-13