Skip to content

Releases bundle

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

This bundle is intended for Rodin Users. The bundle includes the released features from our group. Currently, the content of the latest bundle (v3.7.0-RL2206) 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

(c) University of Southampton

Clone this wiki locally