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 | |||
| 2.5.0 | 2019-01-08 | ||
| 2.4.0 | 2018-11-04 | ||
| 2.3.0 | 2015-06-24 | ||
| 2.2.0 | 2015-03-26 | ||
| 2.1.2 | 2014-12-18 | ||
| 2.1.1 | 2014-05-27 | ||
| 2.1.0 | 2014-05-27 | ||
| 2.0.0 | 2014-04-14 | ||
| 1.2.0 | 2013-01-16 | ||
| readme.txt | 2019-01-08 | 1.1 kB | |
| Totals: 10 Items | 1.1 kB | 0 | |
iUMLB State-Machines Animation provides an interface to ProB so that iUMLB state-machines can be animated.
Release history:
----------------------------------------------------------------------------------------------------------
2.5.0 export package ac.soton.eventb.statemachines.animation
2.4.0 upgrade execution environment to Java 1.8 & update dependencies
2.3.0 tell sm editor when animating, fix problems with animating statemachines,
correct externalisation/localisation etc.
2.2.0 Add support for animation of lifted statemachines (iUML-B tracker #17)
2.1.2 autosave preference removed, update dependencies
2.1.1 bugfix - only deselect transitions when animation has enabled that transition
2.1.0 update dependencies for Rodin 3.0
2.0.0 support new features of statemachines (junction, join, fork, any) in release 2.0.0 of Statemachines
1.2.0 - support animation of multiple diagrams
1.1.0 Utilise generic diagrams toolbar
1.0.0 Support for enumeration-translated statemachines
0.2.0 Uses new metamodel (without refinement classes)
0.1.2 Actions in toolbar
0.1.1 Minor fixes
0.1.0 Initial internal release