Skip to content

Target Bundle

Jump to bottom
Thái Sơn Hoàng edited this page Jun 29, 2022 · 3 revisions

This bundle is intended for developers and to be used as the target platform. This 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. Currently, the content of the bundle (v3.7.0-TG2206) 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

(c) University of Southampton

Clone this wiki locally