-
Notifications
You must be signed in to change notification settings - Fork 1
Introduction
Thái Sơn Hoàng edited this page May 20, 2022
·
3 revisions
The Rodin platform is an extensible Eclipse-based tool supporting the Event-B modelling method. For convenience, we maintain different bundles of the Rodin platform with useful features for users (Releases bundle) and developers (Baseline and Target bundles).
- Releases: includes the released features from our group
- Baseline: includes the released features including their source and tests (SDK) from our group. This bundle is intended for developers and to be used as the API baseline.
- Target: includes the released features including their source and tests (SDK) from our group. Additionally, this bundle also include the SDK of Eclipse features that our features depend on. This bundle is intended for developers and to be used as the target platform.
(c) University of Southampton