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/semantics.ml

    r3080 r3106  
    1515open ASMCosts
    1616
     17open Status
     18
     19open Fetch
     20
    1721open Assembly
    18 
    19 open Status
    20 
    21 open Fetch
    2222
    2323open PolicyFront
     
    316316    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    317317    preclassified_system_pass -> 'a1 **)
    318 let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_25220 =
    319   let pcs_pcs = x_25220 in h_mk_preclassified_system_pass pcs_pcs __
     318let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_3 =
     319  let pcs_pcs = x_3 in h_mk_preclassified_system_pass pcs_pcs __
    320320
    321321(** val preclassified_system_pass_rect_Type5 :
    322322    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    323323    preclassified_system_pass -> 'a1 **)
    324 let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_25222 =
    325   let pcs_pcs = x_25222 in h_mk_preclassified_system_pass pcs_pcs __
     324let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_5 =
     325  let pcs_pcs = x_5 in h_mk_preclassified_system_pass pcs_pcs __
    326326
    327327(** val preclassified_system_pass_rect_Type3 :
    328328    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    329329    preclassified_system_pass -> 'a1 **)
    330 let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_25224 =
    331   let pcs_pcs = x_25224 in h_mk_preclassified_system_pass pcs_pcs __
     330let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_7 =
     331  let pcs_pcs = x_7 in h_mk_preclassified_system_pass pcs_pcs __
    332332
    333333(** val preclassified_system_pass_rect_Type2 :
    334334    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    335335    preclassified_system_pass -> 'a1 **)
    336 let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_25226 =
    337   let pcs_pcs = x_25226 in h_mk_preclassified_system_pass pcs_pcs __
     336let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_9 =
     337  let pcs_pcs = x_9 in h_mk_preclassified_system_pass pcs_pcs __
    338338
    339339(** val preclassified_system_pass_rect_Type1 :
    340340    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    341341    preclassified_system_pass -> 'a1 **)
    342 let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_25228 =
    343   let pcs_pcs = x_25228 in h_mk_preclassified_system_pass pcs_pcs __
     342let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_11 =
     343  let pcs_pcs = x_11 in h_mk_preclassified_system_pass pcs_pcs __
    344344
    345345(** val preclassified_system_pass_rect_Type0 :
    346346    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    347347    preclassified_system_pass -> 'a1 **)
    348 let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_25230 =
    349   let pcs_pcs = x_25230 in h_mk_preclassified_system_pass pcs_pcs __
     348let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_13 =
     349  let pcs_pcs = x_13 in h_mk_preclassified_system_pass pcs_pcs __
    350350
    351351(** val pcs_pcs :
     
    434434| Compiler.Assembly_pass ->
    435435  (fun prog ->
    436     let { Types.fst = eta32049; Types.snd = policy } = Obj.magic prog in
    437     let { Types.fst = code; Types.snd = sigma } = eta32049 in
     436    let { Types.fst = eta4; Types.snd = policy } = Obj.magic prog in
     437    let { Types.fst = code; Types.snd = sigma } = eta4 in
    438438    Interpret2.aSM_preclassified_system code sigma policy)
    439439| Compiler.Object_code_pass ->
Note: See TracChangeset for help on using the changeset viewer.