Ignore:
Timestamp:
Feb 22, 2013, 7:20:24 PM (7 years ago)
Author:
sacerdot
Message:

ASMCosts.ma repaired

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2705 r2710  
    99  LTL/LTL_semantics.ma
    1010
    11 LIN/LINToASM.ma:                  FCOND rotto, deve fare cose diverse ora?
    12 
    1311RTL/RTL_semantics.ma:             parametri
    1412
    15 ASM/*                             rotto, nuove istruzioni
     13ASM/CostsProof.ma:                nuove istruzioni
     14ASM/PolicyFront.ma:               nuove istruzioni
     15  ASM/PolicyStep.ma:              nuove istruzioni
     16    ASM/Policy.ma:                nuove istruzioni
     17ASM/AssemblyProofSplitSplit.ma:   nuove istruzioni
     18  ASM/AssemblyProofSpli.ma:       nuove istruzioni
     19    ASM/AssemblyProof.ma:         nuove istruzioni
     20      ASM/StatusProofSplit.ma     nuove istruzioni
     21ASM/Test.ma:                      nuove istruzioni
    1622
    1723ASM/AssemblyProofSplit.ma         working, just veeery slow
Note: See TracChangeset for help on using the changeset viewer.