Skip to content

Baseline Bundle

Thái Sơn Hoàng edited this page Jun 29, 2022 · 4 revisions

This bundle is intended for developers and to be used as the API baseline. This bundle includes the released features including their source and tests (SDK) from our group. Currently, the content of the bundle (v3.7.0-BL2206) 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
Clone this wiki locally