Ignore:
Timestamp:
Jan 18, 2011, 7:23:28 PM (9 years ago)
Author:
sacerdot
Message:

CSC + Nicolas + Dominic:

1) back-porting of changes by Nicolas from the compiler
2) new file ASMCosts to compute the cost of labels
3) several changes here and there to implement 2)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASMInterpret.mli

    r216 r454  
    100100val string_of_status: status -> string
    101101
    102 module IntMap: Map.S with type key = int
     102module WordMap: Map.S with type key = BitVectors.word
    103103
    104 val assembly: ASM.assembly_program -> BitVectors.byte list (*ASM.instruction list * symbol_table *) * string IntMap.t
     104type labelled_memory = BitVectors.byte list * string WordMap.t * bool (* has main *)
     105
     106val assembly:
     107 [< ASM.labelled_instruction] ASM.program ->
     108  (*ASM.instruction list * symbol_table *) labelled_memory
    105109
    106110(*
     
    111115val initialize: status
    112116
     117val load_code_memory: BitVectors.byte list -> Physical.WordMap.map
    113118val load_mem: Physical.WordMap.map -> status -> status
    114119val load: BitVectors.byte list -> status -> status
Note: See TracChangeset for help on using the changeset viewer.