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/interpret2.mli

    r3080 r3106  
    179179  (BitVector.word -> Bool.bool) -> Measurable.preclassified_system
    180180
     181val aSM_status :
     182  ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
     183  (BitVector.word -> Bool.bool) -> StructuredTraces.abstract_status
     184
Note: See TracChangeset for help on using the changeset viewer.