Changeset 1451 for src/TODO


Ignore:
Timestamp:
Oct 22, 2011, 4:18:11 AM (8 years ago)
Author:
sacerdot
Message:
  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:
1 edited

Legend:

Unmodified
Added
Removed
  • src/TODO

    r1431 r1451  
    33VOLKER SORGE
    44
    5 1) implementare LIN/semantics.ma
     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
    682) traduzione LINToASM ed etichetti uniche
    793) funzioni esterne
     
    10124) codice ERTLToLTL da abbellire
    1113
    12 1) bug rappresentazione dei pointer come address
    13142) spurious PUSH/POP in the syntax,
    14153) spurious entry/exit label in the syntax
Note: See TracChangeset for help on using the changeset viewer.