Skip to content

Rodin 3.7.0 Bundles (June 2022)

Latest
Latest
Compare
Choose a tag to compare
@tshoang tshoang released this 27 Jun 21:37
v3.7.0-2206
c551c00
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Rodin Platform Bundles that include features developed by our group. The June 2022 (2206) bundles include updates of the base Rodin Platform to Rodin 3.7.0 and of the SMT Solvers features (to 1.5.0). The details for the individual bundle are as follows.

  • ac.soton.rodinp.releases: RL2206 bundle includes the released features from our group. This bundle is intended for users. Currently, the
    content of the bundle is as follows

    • Rodin Platform 3.7.0.202204290954-46a4e4e99
    • Rodin Handbook 2.5.0.201606291411
    • CamilleX 2.1.1.release
    • UML-B Statemachines 4.0.1.release
    • UML-B Statemachines Animation 3.0.0.release
    • UML-B Classdiagrams 3.0.0.release
    • Scenario Checker 1.0.0.release
    • Rose Editor 1.7.0.release
    • SMT Solvers 1.5.0.c5fa8c25
    • ProB 3.0.10.202205060126
    • RMF ProR 0.13.0.201509161042
    • Git Integration for Eclipse 6.0.0.202111291000-r

  • ac.soton.rodinp.baseline: BL2206 bundle 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. Currently, the content of the bundle is as follows

    • Rodin Platform 3.7.0.202204290954-46a4e4e99
    • Rodin Handbook 2.5.0.201606291411
    • CamilleX SDK 2.1.1.release
    • UML-B Statemachines SDK 4.0.1.release
    • UML-B Statemachines Animation SDK 3.0.0.release
    • UML-B Classdiagrams SDK 3.0.0.release
    • Scenario Checker SDK 1.0.0.release
    • Rose Editor SDK 1.7.0.release
    • Event-B Utils SDK 0.2.6.release
    • Event-B EMF SDK 6.1.0.release
    • EMF Translator SDK 3.0.1.release
    • Event-B EMF Extension SDK 6.1.0.release
    • Event-B Translator Support SDK 0.1.0.release
    • Event-B ProB Support SDK 0.0.1.release
    • UML-B Diagrams SDK 8.0.1.release
    • EMF Inclusion SDK 2.0.2.release
    • EMF Records SDK 0.1.2.release
    • EMF Containment SDK 0.0.2.release

  • ac.soton.rodinp.target: TG2206 bundle 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. Currently, the content of the bundle is as follows

    • Rodin Platform 3.7.0.202204290954-46a4e4e99
    • Rodin Handbook 2.5.0.201606291411
    • Event-B IDE Source 3.7.0.202204290954-46a4e4e99
    • Rodin Platform Source 3.7.0.202204290954-46a4e4e99
    • Rodin Platform Tests Source 3.7.0.202204290954-46a4e4e99
    • CamilleX SDK 2.1.1.release
    • UML-B Statemachines SDK 4.0.1.release
    • UML-B Statemachines Animation SDK 3.0.0.release
    • UML-B Classdiagrams SDK 3.0.0.release
    • Scenario Checker SDK 1.0.0.release
    • Rose Editor SDK 1.7.0.release
    • SMT Solvers 1.5.0.c5fa8c25
    • ProB 3.0.10.202205060126
    • Event-B Utils SDK 0.2.6.release
    • Event-B EMF SDK 6.1.0.release
    • EMF Translator SDK 3.0.1.release
    • Event-B EMF Extension SDK 6.1.0.release
    • Event-B Translator Support SDK 0.1.0.release
    • Event-B ProB Support SDK 0.0.1.release
    • UML-B Diagrams SDK 8.0.1.release
    • EMF Inclusion SDK 2.0.2.release
    • EMF Records SDK 0.1.2.release
    • EMF Containment SDK 0.0.2.release
    • XText SDK 2.25.0.v20210301-1429
    • Eclipse SDK 4.22.0.v20211124-1800
    • EMF SDK 2.28.0.v20211110-0654
    • GMF Tooling SDK 3.2.1.201409171321
    • RMF ProR SDK 0.13.0.201509161042
    • Sphinx SDK 0.11.0.201706140911
    • Git Integration for Eclipse 6.0.0.202111291000-r

Requirements

To run the Rodin bundles, you will need Java (version 11 or above). It can be from either Oracle, OpenJDK, or Amazon Corretto.

More information about the installation can be found in our Wiki.

Assets 11
Loading