Ignore:
Timestamp:
Apr 6, 2013, 7:35:25 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/extracted/abstractStatus.mli

    r2905 r3106  
    113113val aSM_classify0 : ASM.instruction -> StructuredTraces.status_class
    114114
    115 val current_instruction0 :
    116   BitVector.byte BitVectorTrie.bitVectorTrie -> BitVector.word ->
    117   ASM.instruction
    118 
    119115val current_instruction :
    120116  BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
     
    122118
    123119val current_instruction_label :
    124   BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
    125   BitVectorTrie.bitVectorTrie -> Status.status -> CostLabel.costlabel
    126   Types.option
     120  BitVector.byte BitVectorTrie.bitVectorTrie -> ASM.costlabel_map ->
     121  Status.status -> CostLabel.costlabel Types.option
    127122
    128123val word_deqset : Deqsets.deqSet
Note: See TracChangeset for help on using the changeset viewer.