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

    r2905 r2909  
    155155  Types.option
    156156
     157val aSM_as_result :
     158  ASM.pseudo_assembly_program -> Status.pseudoStatus -> Integers.int
     159  Types.option
     160
    157161val aSM_abstract_status :
    158162  ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
Note: See TracChangeset for help on using the changeset viewer.