Ignore:
Timestamp:
Nov 27, 2012, 6:01:50 PM (7 years ago)
Author:
mckinna
Message:

Refactor:
Typedefs object_code and costlabel_map lifted out from ASMCostsSplit.ma
Dependencies simplified.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/AbstractStatus.ma

    r1944 r2498  
    4848definition current_instruction_label ≝
    4949  λcode_memory.
    50   λcost_labels: BitVectorTrie costlabel 16.
     50  λcost_labels: costlabel_map.
    5151  λs: Status code_memory.
    5252  let pc ≝ program_counter … code_memory s in
Note: See TracChangeset for help on using the changeset viewer.