search

kiniry / Mobius

4 stars 8 forks source link

[Task #1135] New intermediate representation ASTs. #230

Open atiti opened 11 years ago

atiti commented 11 years ago

{{{

!html

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

Project: ESC/Java2 Subproject: To Do Summary: New intermediate representation ASTs. Complete: 90% Status: Closed

Description: Clement is creating new ASTs for the various intermediate representations inside of ESC/Java2 (DSA and GC). He is also writing a translator to take the existing AST into the new one. This work is necessary so that the new VC generators are decoupled from the existing infrastructure and code base and can then be used directly in the MOBIUS IVE.

Clement, please update this task accordingly.

Follow-Ups:

Date: 2005-09-26 21:28 By: smelc

Comment: The design of the ast is stable now. I need to handle all constructs that can appear inside proofs, but it's should be really straightforward now.

Date: 2005-09-01 13:02 By: smelc

Comment: The form of the ast is almost fixed I guess. I have to add a few classes to handle every information we can extract (about type of variable for example) from the old vc generator.

Date: 2005-08-29 09:44 By: smelc

Comment: Currently I don't know if it will be possible to have an ast as precise as I wish because we have to type some nodes, and if the old logic wasn't coherent, this work is maybe non deterministic, which will be very very bad for us..

For more info, visit:

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

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:23:52 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:22:29 2010

This new backend became the old backend and Mikolas and Radu worked it over.

atiti commented 11 years ago

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

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

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

Duplicate of #335.