Ignore:
Timestamp:
Mar 19, 2013, 11:19:32 PM (7 years ago)
Author:
sacerdot
Message:

Abstract statuses for ASM and OC completed.
A simple test program can now be run in every pass of the compiler, always
showing the same behaviour (up to initialization).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret2.mli

    r2909 r2910  
    159159  Types.option
    160160
     161open AssocList
     162
     163val aSM_as_call_ident :
     164  ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
     165  (BitVector.word -> Bool.bool) -> Status.pseudoStatus Types.sig0 ->
     166  AST.ident
     167
    161168val aSM_abstract_status :
    162169  ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
Note: See TracChangeset for help on using the changeset viewer.