Roadmap

• Milestone: OpenJML-alpha

  5 months late (07/31/09)

  0%

  Closed tickets:

  0

  Active tickets:

  1

  / Total tickets:

  1

  The first public release of OpenJML.

• Milestone: OpenJML-beta

  3 months late (09/30/09)

  0%

  Closed tickets:

  0

  Active tickets:

  4

  / Total tickets:

  4

  The second public release of OpenJML. The schedule for this milestone is provisional. It is arbitrarily set at the beginning of the fourth quarter of 2009 at the moment.