search

kiniry / Mobius

4 stars 8 forks source link

[ escjava-Research-197 ] new JML model classes #226

Open atiti opened 11 years ago

atiti commented 11 years ago

{{{

!html

Reply to: noreply@sort.ucd.ie }}} {{{ Research item #197, was opened at 2005-10-26 14:36 You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=780&aid=197&group_id=97

Category: JML Group: None

Status: Closed Resolution: Out of Date Priority: 2 Submitted By: Joseph Kiniry (jkiniry) Assigned to: Radu Grigore (rgrig) Summary: new JML model classes

Initial Comment: Joe and Patrice Chalin have begun designing and implementing new model classes for JML tools.

Comment By: Joseph Kiniry (jkiniry) Date: 2006-09-22 14:52

Message: Please provide a brief update as to your progress here to reflect our upcoming release. I am putting the resolution as "postponed" because I know that Radu has worked some on this but is currently focusing on other matters.

Comment By: Radu Grigore (rgrig) Date: 2005-12-02 10:00

Message: For the next two weeks (5 Dec - 16 Dec 2005) I plan to focus on advancing the work done here.

You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=780&aid=197&group_id=97 }}}

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:23:26 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: None (GH: None) Date: Tue Apr 27 14:34:16 2010

Milestone ESCJava2 2.0.9 release deleted