source: src/TODO @ 1453

Last change on this file since 1453 was 1453, checked in by sacerdot, 8 years ago

...

File size: 681 bytes
Line 
1TODO:
2
3VOLKER SORGE
4
50) factorize lin_fetch_function and graph_fetch_function
6    and maybe also lin_fetch_statement and graph_fetch_statement
71) bug chiamata di funzioni esterne: non riusare il blocco del vecchio pc!
8   bug semantica: aritmetica dei puntatori su Code non deve essere permessa
92) traduzione LINToASM ed etichetti uniche
103) funzioni esterne
11   3.1) CSC bug in joint/semantics.ma
12   3.2) semantica tail calls to external functions
134) codice ERTLToLTL da abbellire
14
152) spurious PUSH/POP in the syntax,
163) spurious entry/exit label in the syntax
174) spurious sp/isp field in the semantics of all languages but/only RTL
18
19Assiomi traduzione in:
20 - LINToASM: fresh_prefix
Note: See TracBrowser for help on using the repository browser.