source: src/TODO @ 1431

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

Back-end todo (in Italian only, sorry...)

File size: 490 bytes
Line 
1TODO:
2
3VOLKER SORGE
4
51) implementare LIN/semantics.ma
62) traduzione LINToASM ed etichetti uniche
73) funzioni esterne
8   3.1) CSC bug in joint/semantics.ma
9   3.2) semantica tail calls to external functions
104) codice ERTLToLTL da abbellire
11
121) bug rappresentazione dei pointer come address
132) spurious PUSH/POP in the syntax,
143) spurious entry/exit label in the syntax
154) spurious sp/isp field in the semantics of all languages but/only RTL
16
17Assiomi traduzione in:
18 - LINToASM: fresh_prefix
Note: See TracBrowser for help on using the repository browser.