Rodin Platform 3.0 Release Notes

From Event-B
Revision as of 12:42, 24 December 2012 by imported>Laurent (Java 7)
Jump to navigationJump to search

Rodin 3.0 is planned for early 2013.

It will contain:

  • Binders in extensions
  • Switch to Java SE 7
  • Prepare for migration to Eclipse 4
  • Stronger AST Library
  • Stronger sequent prover
  • Refactoring of the core production to features
  • Parent-child relationship moved appart from UI to the EventB core [ see Element Hierarchy Extension Point & Library ]
  • Refactor the keyboard plug-in to separate UI from ASCII/Math translation
  • Refactor the statistics view to handle other kinds of "ElementNode"s (than just Context and Machine Root)

N.B. Release notes are commented in this page.