Changeset 2710 for src/BACKEND_BROKEN_FILES
- Timestamp:
- Feb 22, 2013, 7:20:24 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/BACKEND_BROKEN_FILES
r2705 r2710 9 9 LTL/LTL_semantics.ma 10 10 11 LIN/LINToASM.ma: FCOND rotto, deve fare cose diverse ora?12 13 11 RTL/RTL_semantics.ma: parametri 14 12 15 ASM/* rotto, nuove istruzioni 13 ASM/CostsProof.ma: nuove istruzioni 14 ASM/PolicyFront.ma: nuove istruzioni 15 ASM/PolicyStep.ma: nuove istruzioni 16 ASM/Policy.ma: nuove istruzioni 17 ASM/AssemblyProofSplitSplit.ma: nuove istruzioni 18 ASM/AssemblyProofSpli.ma: nuove istruzioni 19 ASM/AssemblyProof.ma: nuove istruzioni 20 ASM/StatusProofSplit.ma nuove istruzioni 21 ASM/Test.ma: nuove istruzioni 16 22 17 23 ASM/AssemblyProofSplit.ma working, just veeery slow
Note: See TracChangeset
for help on using the changeset viewer.