Ignore:
Timestamp:
Apr 6, 2013, 7:35:25 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/extracted/aSMCosts.ml

    r3080 r3106  
    502502   | Nat.S program_size' ->
    503503     (fun _ ->
    504        (let { Types.fst = eta31588; Types.snd = ticks } =
     504       (let { Types.fst = eta302; Types.snd = ticks } =
    505505          Fetch.fetch prog.ASM.cm program_counter'
    506506        in
    507507       let { Types.fst = instruction; Types.snd = program_counter'' } =
    508          eta31588
     508         eta302
    509509       in
    510510       (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.