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.tests.feature_x.x.x.x.jar The tests feature.
-
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
- add method getSCInvariants() to EventBSCUtils to get the invariants from statically checked machine.
- Create a new Tests feature
- Change the SDK feature to generate source features.
- add method getVariableType(…) to EventBSCUtils to get the type of a variable from the statically checked machine
- Added utilitities related to Event-B UI: Event-B content provider, Event-B label provider, Event-B viewer filter.
- Published the SDK feature of the package.
- Changed the structure of the tests plugin.