Skip to content

Releases: eventB-Soton/Rodin-Bundles

Rodin 3.7.0 Bundles (December 2022)

04 Apr 08:17
@tshoang tshoang
v3.7.0-2212
20b7320
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.
Compare
Choose a tag to compare
Rodin 3.7.0 Bundles (December 2022) Pre-release
Pre-release

This is the bundle containing CamilleX 3.0

Assets 11
Loading

Rodin 3.7.0 Bundles (June 2022)

27 Jun 21:37
@tshoang tshoang
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.
Compare
Choose a tag to compare
Rodin 3.7.0 Bundles (June 2022) Latest
Latest

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

Rodin 3.6.0 Bundles (December 2021)

19 Jan 18:37
@tshoang tshoang
v3.6.0-2112
7846281
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.
Compare
Choose a tag to compare
Rodin 3.6.0 Bundles (December 2021)

Rodin Platform Bundles that includes features developed by our group. The December 2021 (2112) bundles include update to CamilleX (from 2.1.0 to 2.1.1) and the inclusion of Git Integration (for releases and target bundles. The details for the individual bundle are as follows.

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

    • Rodin Product 3.6.0.202105121522-77c344946
    • 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.4.0.8c9a179
    • ProB 3.0.10.202106111432
    • RMF ProR 0.13.0.201509161042
    • Git Integration for Eclipse 5.10.0.202012080955-r

  • ac.soton.rodinp.baseline: BL2112 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 Product 3.6.0.202105121522-77c344946
    • 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: TG2112 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 Product 3.6.0.202105121522-77c344946
    • Rodin Handbook 2.5.0.201606291411
    • Event-B IDE Source 3.6.0.202105121522-77c344946
    • Rodin Platform Source 3.6.0.202105121522-77c344946
    • Rodin Platform Tests Source 3.6.0.202105121522-77c344946
    • 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.4.0.8c9a179
    • ProB 3.0.10.202106111432
    • 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.24.0.v20201130-1016
    • Eclipse SDK 4.18.0.I20201202-1800
    • EMF SDK 2.24.0.v20200917-1439
    • GMF Tooling SDK 3.2.1.201409171321
    • RMF ProR SDK 0.13.0.201509161042
    • Sphinx SDK 0.11.0.201706140911
    • Git Integration for Eclipse 5.10.0.202012080955-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 installation can be found in our Wiki

Assets 11
Loading

Rodin 3.6.0 Bundles (July 2021)

16 Jul 09:40
@tshoang tshoang
v3.6.0-2107
This tag was signed with the committer’s verified signature. The key has expired.
tshoang Thái Sơn Hoàng
GPG key ID: 95DBC290B12E0C97
Expired
Learn about vigilant mode.
2a969c7
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.
Compare
Choose a tag to compare
Rodin 3.6.0 Bundles (July 2021)

This is the July 2021 build of the Rodin Platform Bundles based on Rodin 3.6.0. Currently, the following bundles are included:

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

    • Rodin Product 3.6.0.202105121522-77c344946
    • Rodin Handbook 2.5.0.201606291411
    • CamilleX 2.1.0.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.4.0.8c9a179
    • ProB 3.0.10.202106111432
    • RMF ProR 0.13.0.201509161042

  • ac.soton.rodinp.baseline: Bundle including 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 Product 3.6.0.202105121522-77c344946
    • Rodin Handbook 2.5.0.201606291411
    • CamilleX SDK 2.1.0.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: Bundle including the released features including their source and tests (SDK) from our group. Additionally,
    this bundle also includes 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 Product 3.6.0.202105121522-77c344946
    • Rodin Handbook 2.5.0.201606291411
    • Event-B IDE Source 3.6.0.202105121522-77c344946
    • Rodin Platform Source 3.6.0.202105121522-77c344946
    • Rodin Platform Tests Source 3.6.0.202105121522-77c344946
    • CamilleX SDK 2.1.0.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.4.0.8c9a179
    • ProB 3.0.10.202106111432
    • 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.24.0.v20201130-1016
    • Eclipse SDK 4.18.0.I20201202-1800
    • EMF SDK 2.24.0.v20200917-1439
    • GMF Tooling SDK 3.2.1.201409171321
    • RMF ProR SDK 0.13.0.201509161042
    • Sphinx SDK 0.11.0.201706140911

We recommend that you install the Atelier-B provers (via Atelier-B Update
Site) and the Relevance Filter plug-in (from the Rodin Plug-ins update site) to
enhance your proof experience.

Assets 11
Loading

Rodin 3.5.0 (December 2020)

03 Dec 15:31
@tshoang tshoang
v3.5.0-2012
7626c68
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.
Compare
Choose a tag to compare
Rodin 3.5.0 (December 2020)

This is the December-2020 build of the bundles to include the source of Rodin for the target bundles.
This release contains the following bundles.

  • rodin-3.5.0.202009111309-9f39f1653-RL2012: (unchanged) Bundle including the released features
    from our group. This bundle is intended for users. Currently, the
    content of the bundle is as follows

    • Rodin Product 3.5.0.202009111309-74e0e4188
    • CamilleX 2.0.0.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 0.0.0.release
    • Rose Editor 1.7.0.release
    • SMT Solvers 1.4.0.8c9a179
    • ProB 3.0.10.202009160721

  • rodin-3.5.0.202009111309-9f39f1653-BL2012: (unchanged) Bundle including 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 Product 3.5.0.202009111309-74e0e4188
  • CamilleX SDK 2.0.0.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 0.0.0.release
  • Rose Editor SDK 1.7.0.release
  • Event-B Utils SDK 0.2.4.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.0.release
  • UML-B Diagrams SDK 8.0.1.release
  • EMF Inclusion SDK 2.0.0.release
  • EMF Records SDK 0.1.0.release
  • EMF Containment SDK 0.0.2.release
  • rodin-3.5.0.202009111309-9f39f1653-TG2012: This is now.include the source for the Rodin platform. Bundle including 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 Product 3.5.0.202009111309-74e0e4188 and source
  • CamilleX SDK 2.0.0.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 0.0.0.release
  • Rose Editor SDK 1.7.0.release
  • SMT Solvers 1.4.0.8c9a179
  • ProB 3.0.10.202009160721
  • Event-B Utils SDK 0.2.4.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.0.release
  • UML-B Diagrams SDK 8.0.1.release
  • EMF Inclusion SDK 2.0.0.release
  • EMF Records SDK 0.1.0.release
  • EMF Containment SDK 0.0.2.release
  • XText SDK 2.22.0.v20200602-1533
  • Eclipse SDK 5.17.0.v20200604-0951
  • EMF SDK 2.22.0.v20200519-1135
  • GEF SDK 3.11.0.201606061308
  • GMF Runtime SDK 1.13.0.202004160913
Assets 11
Loading

v0.0.0: Initial release

23 Sep 17:31
@tshoang tshoang
v0.0.0
b9ed59f
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.
Compare
Choose a tag to compare
v0.0.0: Initial release

Initial release contains the following bundles

  • rodin-3.5.0.202009111309-74e0e4188-RL2008: Bundle including the released features
    from our group. This bundle is intended for users. Currently, the
    content of the bundle is as follows

    • Rodin Product 3.5.0.202009111309-74e0e4188
    • CamilleX 2.0.0.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 0.0.0.release
    • Rose Editor 1.7.0.release
    • SMT Solvers 1.4.0.8c9a179
    • ProB 3.0.10.202009160721

  • rodin-3.5.0.202009111309-74e0e4188-BL2008: Bundle including 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 Product 3.5.0.202009111309-74e0e4188
    • CamilleX SDK 2.0.0.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 0.0.0.release
    • Rose Editor SDK 1.7.0.release
    • Event-B Utils SDK 0.2.4.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.0.release
    • UML-B Diagrams SDK 8.0.1.release
    • EMF Inclusion SDK 2.0.0.release
    • EMF Records SDK 0.1.0.release
    • EMF Containment SDK 0.0.2.release

  • rodin-3.5.0.202009111309-74e0e4188-TG2008: Bundle including 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 Product 3.5.0.202009111309-74e0e4188
    • CamilleX SDK 2.0.0.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 0.0.0.release
    • Rose Editor SDK 1.7.0.release
    • SMT Solvers 1.4.0.8c9a179
    • ProB 3.0.10.202009160721
    • Event-B Utils SDK 0.2.4.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.0.release
    • UML-B Diagrams SDK 8.0.1.release
    • EMF Inclusion SDK 2.0.0.release
    • EMF Records SDK 0.1.0.release
    • EMF Containment SDK 0.0.2.release
    • XText SDK 2.22.0.v20200602-1533
    • Eclipse SDK 5.17.0.v20200604-0951
    • EMF SDK 2.22.0.v20200519-1135
    • GEF SDK 3.11.0.201606061308
    • GMF Runtime SDK 1.13.0.202004160913
Assets 11
Loading