Changeset 2498 for src/ASM/Assembly.ma


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/Assembly.ma

    r2316 r2498  
    783783    ∀sigma: Word → Word.
    784784    ∀policy: Word → bool.
    785       Σres:list Byte × (BitVectorTrie costlabel 16).
     785      Σres:list Byte × costlabel_map.
    786786       sigma_policy_specification p sigma policy →
    787787       let 〈preamble,instr_list〉 ≝ p in
Note: See TracChangeset for help on using the changeset viewer.