Changeset 2710 for src/BACKEND_BROKEN_FILES

Timestamp:

Feb 22, 2013, 7:20:24 PM (7 years ago)

Author:

sacerdot

Message:

ASMCosts.ma repaired

File:

• src/BACKEND_BROKEN_FILES (modified) (1 diff)

src/BACKEND_BROKEN_FILES

@@ -9 +9 @@
   LTL/LTL_semantics.ma
 
-LIN/LINToASM.ma:                  FCOND rotto, deve fare cose diverse ora?
-
 RTL/RTL_semantics.ma:             parametri
 
-ASM/*                             rotto, nuove istruzioni
+ASM/CostsProof.ma:                nuove istruzioni
+ASM/PolicyFront.ma:               nuove istruzioni
+  ASM/PolicyStep.ma:              nuove istruzioni
+    ASM/Policy.ma:                nuove istruzioni
+ASM/AssemblyProofSplitSplit.ma:   nuove istruzioni
+  ASM/AssemblyProofSpli.ma:       nuove istruzioni
+    ASM/AssemblyProof.ma:         nuove istruzioni
+      ASM/StatusProofSplit.ma     nuove istruzioni
+ASM/Test.ma:                      nuove istruzioni
 
 ASM/AssemblyProofSplit.ma         working, just veeery slow