Ignore:
Timestamp:
Mar 19, 2013, 8:42:43 AM (7 years ago)
Author:
sacerdot
Message:

Semantics of ASM in place (up to return values and function call names).
The test example badly diverges in ASM after being ok in LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.mli

    r2773 r2905  
    115115open Interpret
    116116
    117 val aSM_abstract_status :
     117val oC_abstract_status :
    118118  BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
    119119  BitVectorTrie.bitVectorTrie -> StructuredTraces.abstract_status
Note: See TracChangeset for help on using the changeset viewer.