Ignore:
Timestamp:
Mar 29, 2013, 6:38:26 PM (7 years ago)
Author:
sacerdot
Message:

New major extraction that should have solved all remaining issues.
As tests/PROBLEMI shows, we still have some bugs with:

a) initialization of global data (regression)
b) function pointers call

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret2.mli

    r2951 r3043  
    143143
    144144val execute_1_pseudo_instruction' :
    145   ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
     145  ASM.pseudo_assembly_program -> (ASM.identifier -> BitVector.word) ->
     146  (ASM.identifier -> BitVector.word) -> (BitVector.word -> BitVector.word) ->
    146147  (BitVector.word -> Bool.bool) -> Status.pseudoStatus -> Status.pseudoStatus
    147148
     
    164165
    165166val aSM_as_call_ident :
    166   ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
     167  ASM.pseudo_assembly_program -> (ASM.identifier -> BitVector.word) ->
     168  (ASM.identifier -> BitVector.word) -> (BitVector.word -> BitVector.word) ->
    167169  (BitVector.word -> Bool.bool) -> Status.pseudoStatus Types.sig0 ->
    168170  AST.ident
    169171
    170172val aSM_abstract_status :
    171   ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
     173  ASM.pseudo_assembly_program -> (ASM.identifier -> BitVector.word) ->
     174  (ASM.identifier -> BitVector.word) -> (BitVector.word -> BitVector.word) ->
    172175  (BitVector.word -> Bool.bool) -> StructuredTraces.abstract_status
    173176
Note: See TracChangeset for help on using the changeset viewer.