Rodin Platform Releases: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Nicolas
imported>Nicolas
Line 26: Line 26:
! scope=col | Version || Release Date
! scope=col | Version || Release Date
|-
|-
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 01/07/2009
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
|-
|-
|[[Rodin Platform 1.1 Release Notes|1.1]] || 15/10/2009
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
|-
|-
|[[Rodin Platform 1.2 Release Notes|1.2]] || 05/02/2010
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
|-
|-
|[[Rodin Platform 1.3 Release Notes|1.3]] || 05/05/2010
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
|-
|-
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 15/06/2010
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
|}
|}



Revision as of 17:12, 27 September 2010

Release Policy

  • The Rodin platform is released every 3 months.
  • The code is frozen during the 2 weeks preceding each release.
  • Each release is announced on the Devel mailing list. Two days later, the information is broadcast on the Announce and User mailing lists.
  • The Eclipse versioning policy is enforced.
  • The optional plug-ins shall strive to meet the release date: the release will not be held back.
  • The news related to the optional plug-ins are spread on the Announce and User mailing lists.
  • A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
  • The maintainers of the optional plug-ins shall update the External Plug-ins section of the release notes (plug-in version, link to the plug-in documentation) once they have ensured the compatibility of their plug-ins with the Rodin platform.

Upcoming Releases

Version Scheduled Release Date
2.0 2010/10/08

Previous Releases

Version Release Date
1.0 2009/07/01
1.1 2009/10/15
1.2 2010/02/05
1.3 2010/05/05
1.3.1 2010/06/15