Tree [6c0f32] master /
 History

HTTPS access


File Date Author Commit
 ch.ethz.eventb.utils 2015-12-16 Thái Sơn Hoàng Thái Sơn Hoàng [a4740f] Increase version number to 0.2.3
 ch.ethz.eventb.utils-feature 2015-12-16 Thái Sơn Hoàng Thái Sơn Hoàng [a4740f] Increase version number to 0.2.3
 ch.ethz.eventb.utils.sdk 2015-12-16 Thái Sơn Hoàng Thái Sơn Hoàng [a4740f] Increase version number to 0.2.3
 ch.ethz.eventb.utils.tests 2015-10-07 Thai Son Hoang Thai Son Hoang [443ca8] Make use of the shared license feature
 org.rodinp.licence 2016-11-24 Thái Sơn Hoàng Thái Sơn Hoàng [6c0f32] Set Rodin Linence feature version to 1.0.0.release
 .gitignore 2014-05-29 Thái Sơn Hoàng Thái Sơn Hoàng [9e7305] Ignore bin folder
 README.md 2015-12-16 Thái Sơn Hoàng Thái Sơn Hoàng [41f841] Update README.md

Read Me

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.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks