source: src/TODO @ 1451

Last change on this file since 1451 was 1451, checked in by sacerdot, 8 years ago
  1. All axioms in LIN/semantics.ma closed
  2. 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 
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 rappresentazione dei pointer come address
82) traduzione LINToASM ed etichetti uniche
93) funzioni esterne
10   3.1) CSC bug in joint/semantics.ma
11   3.2) semantica tail calls to external functions
124) codice ERTLToLTL da abbellire
13
142) spurious PUSH/POP in the syntax,
153) spurious entry/exit label in the syntax
164) spurious sp/isp field in the semantics of all languages but/only RTL
17
18Assiomi traduzione in:
19 - LINToASM: fresh_prefix
Note: See TracBrowser for help on using the repository browser.