|
Last change
on this file since 2970 was
1457,
checked in by sacerdot, 9 years ago
|
|
Bug fixed: when calling an internal function, the pc block is now set to
the block allocated for the internal function. However, so far this was
not an invariant used inside joint/semantics.ma, but only in the instantiation
of the different languages.
|
|
File size:
606 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 semantica: aritmetica dei puntatori su Code non deve essere permessa |
|---|
| 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.
