Changeset 2649 for extracted/aSMCosts.ml


Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2601 r2649  
    11open Preamble
    22
     3open String
     4
    35open LabelledObjects
    46
    5 open Coqlib
    6 
    7 open Floats
    8 
    97open Arithmetic
    108
     
    2119open Deqsets
    2220
     21open ErrorMessages
     22
    2323open PreIdentifiers
    2424
     
    3838
    3939open Identifiers
    40 
    41 open Char
    42 
    43 open String
    4440
    4541open Extranat
     
    188184   | Nat.S program_size' ->
    189185     (fun _ ->
    190        (let { Types.fst = eta27925; Types.snd = ticks } =
     186       (let { Types.fst = eta24805; Types.snd = ticks } =
    191187          Fetch.fetch code_memory' program_counter'
    192188        in
    193189       let { Types.fst = instruction0; Types.snd = program_counter'' } =
    194          eta27925
     190         eta24805
    195191       in
    196192       (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.