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_EventBUtilities / 0.2.3
Name Modified Size InfoDownloads / Week
Parent folder
README.md 2015-12-16 1.0 kB
0
ch.ethz.eventb.utils.tests.source_0.2.1.201512161944.jar 2015-12-16 17.5 kB
0
ch.ethz.eventb.utils.tests_0.2.1.201512161944.jar 2015-12-16 26.8 kB
0
ch.ethz.eventb.utils.sdk_0.2.3.201512161944.jar 2015-12-16 3.4 kB
0
ch.ethz.eventb.utils.source_0.2.3.201512161944.jar 2015-12-16 14.1 kB
0
ch.ethz.eventb.utils_0.2.3.201512161944.jar 2015-12-16 17.4 kB
0
ch.ethz.eventb.utils_feature_0.2.3.201512161944.jar 2015-12-16 3.4 kB
0
ch.ethz.eventb.utils_0.2.3.zip 2015-12-16 92.5 kB
0
Totals: 8 Items   176.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).

  1. ch.ethz.eventb.utils_feature_x.x.x.x.jar The basic feature containing the binary build of the package.

  2. 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.3

  • add method getVariableType(…) to EventBSCUtils to get the type of a variable from the statically checked machine

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.
Source: README.md, updated 2015-12-16