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 | |||
| 0.1.0 | 2018-12-10 | ||
| readme.txt | 2018-12-10 | 1.3 kB | |
| Totals: 2 Items | 1.3 kB | 0 | |
Event-B EMF Decomposition Regions Feature. Release history: ------------------------------------------------------------------------------------- ### 0.1.0 ### ac.soton.eventb.emf.decomposition 0.1.0 - provide AbstractRegion as alternative to manually configured regions - upgrade execution environment to Java 1.8 ac.soton.eventb.emf.decomposition.edit 0.1.0 - provide AbstractRegion as alternative to manually configured regions - upgrade execution environment to Java 1.8 ac.soton.eventb.emf.decomposition.generator 0.1.0 - provide AbstractRegion as alternative to manually configured regions - fix problems in decomposition region rule - support un-ready regions - name composition machine ".xmc" and serialise as EMF XMI - add event synchronisations in composition machine - add event refinement in composition machine - Add gluing invariants into composition machine for prefixing - refactored to utilise positioning and filtering features of translator - various bug fixes - upgrade execution environment to Java 1.8 ac.soton.eventb.emf.decomposition.navigator 0.1.0 - provide AbstractRegion as alternative to manually configured regions - make composite machine visible in navigator - add manual flatten command - upgrade execution environment to Java 1.8 ### 0.0.1 ### - Prototype Release