Skip to content

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

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