Ignore:
Timestamp:
Feb 22, 2013, 11:39:03 AM (7 years ago)
Author:
sacerdot
Message:
  1. Stuff moved to correct places.
  2. ERTLptr pass added
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2661 r2693  
    1010LIN/LINToASM.ma:                  FCOND rotto, deve fare cose diverse ora?
    1111
    12 ERTL/liveness.ma:                 FCOND rotto
    13  ERTL/Interference.ma
    14   ERTL/ERTLToLTL.ma
    15 
    1612RTL/RTL_semantics.ma:             parametri
    17 RTL/RTLToERTL.ma:                 parametri (??)
    18 
    19 RTLabs/RTLabsToRTL.ma             prova rotta (Ferruccio?) ci sta lavorando Paolo
    2013
    2114ASM/AssemblyProofSplit.ma         working, just veeery slow
Note: See TracChangeset for help on using the changeset viewer.