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

    r2909 r2910  
    120120  'a1 -> 'a1 Status.preStatus -> BitVector.word -> Integers.int Types.option
    121121
     122val oC_as_call_ident :
     123  ASM.labelled_object_code -> BitVector.byte BitVectorTrie.bitVectorTrie ->
     124  Status.status Types.sig0 -> AST.ident
     125
    122126val oC_abstract_status :
    123127  ASM.labelled_object_code -> StructuredTraces.abstract_status
Note: See TracChangeset for help on using the changeset viewer.