Ignore:
Timestamp:
Feb 22, 2013, 10:39:26 PM (7 years ago)
Author:
sacerdot
Message:

PolicyFront?.ma repaired

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2711 r2713  
    11Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM
    22
    3 joint/linearise.ma:               prova rotta ci sta lavorando Paolo
    4   joint/lineariseProof.ma
    5   LTL/LTLToLIN.ma                 ma funziona una volta riparato linearise.ma
     3joint/lineariseProof.ma           da riparare
    64
    75LIN/joint_LTL_LIN_semantics.ma:   parametri
     
    119RTL/RTL_semantics.ma:             parametri
    1210
    13 ASM/PolicyFront.ma:               nuove istruzioni
    14   ASM/PolicyStep.ma:              nuove istruzioni
    15     ASM/Policy.ma:                nuove istruzioni
     11ASM/PolicyStep.ma:                nuove istruzioni
     12  ASM/Policy.ma:                  nuove istruzioni
     13
    1614ASM/AssemblyProofSplitSplit.ma:   nuove istruzioni
    1715  ASM/AssemblyProofSpli.ma:       nuove istruzioni
Note: See TracChangeset for help on using the changeset viewer.