search

kiniry / Mobius

4 stars 8 forks source link

[Task #1132] document escjava3_logic #243

Open atiti opened 11 years ago

atiti commented 11 years ago

{{{

!html

Reply to: noreply@sort.ucd.ie }}} {{{ Task #1132 has been updated.

Project: ESC/Java2 Subproject: To Do Summary: document escjava3_logic Complete: 5% Status: Closed

Description: The escjava3_logic is a whole new sorted logic, specified in PVS and realised also in SMT-LIB provers, particularly Tinelli's Sammy.

This logic must be documented in the Logics & Provers book as well.

Follow-Ups:

Date: 2007-04-25 17:13 By: jkiniry

Comment: We must integrate Ke Sun's work, if he touched/looked at this logic in his PVS VCgen. Reassigning this task only to myself.

Date: 2006-10-13 21:00 By: jkiniry

Comment: Fixing end date.

For more info, visit:

http://sort.ucd.ie/pm/task.php?func=detailtask&project_task_id=1132&group_id=97&group_project_id=170 }}}

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:24:28 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: (GH: None) Date: Sat Dec 15 17:26:50 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: kiniry (GH: kiniry) Date: Tue Aug 25 15:13:11 2009

Duplicate of #348.