Changeset 1357 for Deliverables/D2.2/8051-indexed-labels-branch/src/ASM/ASMInterpret.mli

Timestamp:

Oct 11, 2011, 5:42:20 PM (9 years ago)

Author:

tranquil

Message:

• changed implementation of constant indexings with extensible arrays
• work on ASM completed
• next: optimizations!

File:

• Deliverables/D2.2/8051-indexed-labels-branch/src/ASM/ASMInterpret.mli (modified) (1 diff)

Deliverables/D2.2/8051-indexed-labels-branch/src/ASM/ASMInterpret.mli

@@ -98 +98 @@
 
       exit_addr   : BitVectors.word;
-
+(*
       ind_0s      : int BitVectors.WordMap.t;
       ind_incs    : int BitVectors.WordMap.t;
       cost_labels : CostLabel.t BitVectors.WordMap.t
+*)
     }