Ignore:
Timestamp:
Mar 19, 2013, 10:21:08 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.mli

    r2905 r2909  
    115115open Interpret
    116116
     117val aSMRegisterRets : ASM.subaddressing_mode List.list
     118
     119val as_result_of_finaladdr :
     120  'a1 -> 'a1 Status.preStatus -> BitVector.word -> Integers.int Types.option
     121
    117122val oC_abstract_status :
    118   BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
    119   BitVectorTrie.bitVectorTrie -> StructuredTraces.abstract_status
     123  ASM.labelled_object_code -> StructuredTraces.abstract_status
    120124
    121125val trace_any_label_length :
    122   BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
    123   BitVectorTrie.bitVectorTrie -> StructuredTraces.trace_ends_with_ret ->
     126  ASM.labelled_object_code -> StructuredTraces.trace_ends_with_ret ->
    124127  Status.status -> Status.status -> StructuredTraces.trace_any_label ->
    125128  Nat.nat
     
    128131
    129132val compute_paid_trace_any_label :
    130   BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
    131   BitVectorTrie.bitVectorTrie -> StructuredTraces.trace_ends_with_ret ->
     133  ASM.labelled_object_code -> StructuredTraces.trace_ends_with_ret ->
    132134  Status.status -> Status.status -> StructuredTraces.trace_any_label ->
    133135  Nat.nat
    134136
    135137val compute_paid_trace_label_label :
    136   BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
    137   BitVectorTrie.bitVectorTrie -> StructuredTraces.trace_ends_with_ret ->
     138  ASM.labelled_object_code -> StructuredTraces.trace_ends_with_ret ->
    138139  Status.status -> Status.status -> StructuredTraces.trace_label_label ->
    139140  Nat.nat
    140141
    141142val block_cost' :
    142   BitVector.byte BitVectorTrie.bitVectorTrie -> BitVector.word -> Nat.nat ->
    143   CostLabel.costlabel BitVectorTrie.bitVectorTrie -> Bool.bool -> Nat.nat
    144   Types.sig0
     143  ASM.labelled_object_code -> BitVector.word -> Nat.nat -> Bool.bool ->
     144  Nat.nat Types.sig0
    145145
    146146val block_cost :
    147   BitVector.byte BitVectorTrie.bitVectorTrie -> BitVector.word ->
    148   CostLabel.costlabel BitVectorTrie.bitVectorTrie -> Nat.nat Types.sig0
     147  ASM.labelled_object_code -> BitVector.word -> Nat.nat Types.sig0
    149148
Note: See TracChangeset for help on using the changeset viewer.