Changeset 2775 for extracted/aSMCosts.ml


Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2773 r2775  
    208208   | Nat.S program_size' ->
    209209     (fun _ ->
    210        (let { Types.fst = eta30542; Types.snd = ticks } =
     210       (let { Types.fst = eta31765; Types.snd = ticks } =
    211211          Fetch.fetch code_memory' program_counter'
    212212        in
    213213       let { Types.fst = instruction; Types.snd = program_counter'' } =
    214          eta30542
     214         eta31765
    215215       in
    216216       (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.