Changeset 2516 for src/ASM/Assembly.ma


Ignore:
Timestamp:
Dec 2, 2012, 5:45:36 PM (7 years ago)
Author:
mckinna
Message:

removed typedefs; restored older versions; moved typedefs to compiler.ma
AssemblyProofSplit? *still* doesn't typecheck: disambiguation errors!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

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