Ignore:
Timestamp:
Feb 22, 2013, 5:56:31 PM (7 years ago)
Author:
sacerdot
Message:

More progress in ASM towards implementing the new pseudoinstructions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2693 r2705  
    11Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM
    22
    3 joint/linearise.ma:               prova rotta
     3joint/linearise.ma:               prova rotta ci sta lavorando Paolo
    44  joint/lineariseProof.ma
    5   LTL/LTLToLIN.ma
     5  LTL/LTLToLIN.ma                 ma funziona una volta riparato linearise.ma
    66
    77LIN/joint_LTL_LIN_semantics.ma:   parametri
    88  LIN/LIN_semantics.ma
    99  LTL/LTL_semantics.ma
     10
    1011LIN/LINToASM.ma:                  FCOND rotto, deve fare cose diverse ora?
    1112
    1213RTL/RTL_semantics.ma:             parametri
     14
     15ASM/*                             rotto, nuove istruzioni
    1316
    1417ASM/AssemblyProofSplit.ma         working, just veeery slow
Note: See TracChangeset for help on using the changeset viewer.