Introduction

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 from our group and their source and tests (SDK features). 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.