Ignore:
Timestamp:
Nov 29, 2012, 8:12:34 PM (7 years ago)
Author:
mckinna
Message:

more tweaks. compiler and correctness still build.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASMCostsSplit.ma

    r2504 r2508  
    327327      traverse_code code_memory cost_labels cost_labels_injective.
    328328
    329 (* moved to Fetch.ma *)
     329(* JHM: moved to Fetch.ma *)
    330330(* definition object_code ≝ list Byte. *)
    331331(* definition costlabel_map ≝ BitVectorTrie costlabel 16.   *)
Note: See TracChangeset for help on using the changeset viewer.