search

kiniry / Mobius

4 stars 8 forks source link

[ escjava-Feature Requests-116 ] Add support for the PVS theorem prover #190

Open atiti opened 11 years ago

atiti commented 11 years ago

{{{

!html

Reply to: noreply@sort.ucd.ie }}} {{{ Feature Requests item #116, was opened at 2005-08-08 20:17 You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=444&aid=116&group_id=97

Category: None Group: None

Status: Closed Resolution: Out of Date Priority: 3 Submitted By: Joseph Kiniry (jkiniry) Assigned to: Ke Sun (sunke) Summary: Add support for the PVS theorem prover

Initial Comment: Clement is working on this project this Summer. The CVS head currently had a prototype.

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

Message: Initial work on this was accomplished by Clement, then enriched by folks at UCD, and now work by Ke Sun at Eindhoven in NL. I'm reassigning it to him so that we can get an update.

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

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:20:46 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

atiti commented 11 years ago

From: kiniry (GH: kiniry) Date: Fri Apr 30 14:17:40 2010

RU worked on this, so we are waiting to hear about its status.