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 | |||
| README.md | 2015-10-27 | 877 Bytes | |
| ch.ethz.eventb.utils.tests.source_0.2.1.201510271533.jar | 2015-10-27 | 17.5 kB | |
| ch.ethz.eventb.utils.tests_0.2.1.201510271533.jar | 2015-10-27 | 26.8 kB | |
| ch.ethz.eventb.utils.source_0.2.2.201510271533.jar | 2015-10-27 | 14.0 kB | |
| ch.ethz.eventb.utils_0.2.2.201510271533.jar | 2015-10-27 | 17.1 kB | |
| ch.ethz.eventb.utils.sdk_0.2.2.201510271533.jar | 2015-10-27 | 3.4 kB | |
| ch.ethz.eventb.utils_feature_0.2.2.201510271533.jar | 2015-10-27 | 3.4 kB | |
| ch.ethz.eventb.utils_0.2.2.zip | 2015-10-27 | 92.0 kB | |
| Totals: 8 Items | 175.1 kB | 0 | |
Event-B Utilities Package
This package provides additional functionalities to manipulate Event-B components. There are different bundles for the package can be installed via the update site (RODIN sourceforge update site).
-
ch.ethz.eventb.utils_feature_x.x.x.x.jar The basic feature containing the binary build of the package.
-
ch.ethz.eventb.utils.sdk_x.x.x.x.jar The SDK feature containing the source code and tests used for development.
The complete source code of the package can be downloaded as a zip file ch.ethz.eventb.utils_x.x.x.zip
Change Logs
Version 0.2.2
- Added utilitities related to Event-B UI: Event-B content provider, Event-B label provider, Event-B viewer filter.
Version 0.2.1
- Published the SDK feature of the package.
- Changed the structure of the tests plugin.
