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

    r2875 r2909  
    367367
    368368val lift_cost_map_back_to_front :
    369   Csyntax.clight_program -> BitVector.byte BitVectorTrie.bitVectorTrie ->
    370   CostLabel.costlabel BitVectorTrie.bitVectorTrie ->
     369  Csyntax.clight_program -> ASM.labelled_object_code ->
    371370  StructuredTraces.as_cost_map -> Label.clight_cost_map
    372371
Note: See TracChangeset for help on using the changeset viewer.