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_Event-B EMF Support For Decomposition / 0.1.0
Name Modified Size InfoDownloads / Week
Parent folder
ac.soton.eventb.emf.decomposition.source_0.1.0.release.jar 2018-12-10 18.2 kB
0
ac.soton.eventb.emf.decomposition.navigator.source_0.1.0.release.jar 2018-12-10 4.8 kB
0
ac.soton.eventb.emf.decomposition.navigator_0.1.0.release.jar 2018-12-10 8.5 kB
1 1 weekly downloads
ac.soton.eventb.emf.decomposition.edit_0.1.0.release.jar 2018-12-10 60.2 kB
1 1 weekly downloads
ac.soton.eventb.emf.decomposition.generator.source_0.1.0.release.jar 2018-12-10 16.1 kB
0
ac.soton.eventb.emf.decomposition.generator_0.1.0.release.jar 2018-12-10 27.0 kB
1 1 weekly downloads
ac.soton.eventb.emf.decomposition.edit.source_0.1.0.release.jar 2018-12-10 30.5 kB
0
ac.soton.eventb.emf.decomposition_0.1.0.release.jar 2018-12-10 26.2 kB
1 1 weekly downloads
ac.soton.eventb.emf.decomposition.sdk_0.1.0.release.jar 2018-12-10 3.4 kB
0
ac.soton.eventb.emf.decomposition.source.feature_0.1.0.release.jar 2018-12-10 464 Bytes
0
ac.soton.eventb.emf.decomposition.feature_0.1.0.release.jar 2018-12-10 4.1 kB
1 1 weekly downloads
Totals: 11 Items   199.3 kB 5 
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
Source: readme.txt, updated 2018-12-10