|
Last change
on this file since 1451 was
1451,
checked in by sacerdot, 9 years ago
|
- All axioms in LIN/semantics.ma closed
- succ_pc and pointer_of_label moved to more_sem_params1; their type have
been changed too to implement LIN/semantics.ma
|
|
File size:
579 bytes
|
| Line | |
|---|
| 1 | TODO: |
|---|
| 2 | |
|---|
| 3 | VOLKER SORGE |
|---|
| 4 | |
|---|
| 5 | 0) factorize lin_fetch_function and graph_fetch_function |
|---|
| 6 | and maybe also lin_fetch_statement and graph_fetch_statement |
|---|
| 7 | 1) bug rappresentazione dei pointer come address |
|---|
| 8 | 2) traduzione LINToASM ed etichetti uniche |
|---|
| 9 | 3) funzioni esterne |
|---|
| 10 | 3.1) CSC bug in joint/semantics.ma |
|---|
| 11 | 3.2) semantica tail calls to external functions |
|---|
| 12 | 4) codice ERTLToLTL da abbellire |
|---|
| 13 | |
|---|
| 14 | 2) spurious PUSH/POP in the syntax, |
|---|
| 15 | 3) spurious entry/exit label in the syntax |
|---|
| 16 | 4) spurious sp/isp field in the semantics of all languages but/only RTL |
|---|
| 17 | |
|---|
| 18 | Assiomi traduzione in: |
|---|
| 19 | - LINToASM: fresh_prefix |
|---|
Note: See
TracBrowser
for help on using the repository browser.
