Changeset 1457 for src/TODO


Ignore:
Timestamp:
Oct 23, 2011, 10:15:51 PM (8 years ago)
Author:
sacerdot
Message:

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:
1 edited

Legend:

Unmodified
Added
Removed
  • src/TODO

    r1453 r1457  
    550) factorize lin_fetch_function and graph_fetch_function
    66    and maybe also lin_fetch_statement and graph_fetch_statement
    7 1) bug chiamata di funzioni esterne: non riusare il blocco del vecchio pc!
    8    bug semantica: aritmetica dei puntatori su Code non deve essere permessa
     71) bug semantica: aritmetica dei puntatori su Code non deve essere permessa
    982) traduzione LINToASM ed etichetti uniche
    1093) funzioni esterne
Note: See TracChangeset for help on using the changeset viewer.