Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semantics.ml

    r2951 r2960  
    324324    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    325325    preclassified_system_pass -> 'a1 **)
    326 let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_6084 =
    327   let pcs_pcs = x_6084 in h_mk_preclassified_system_pass pcs_pcs __
     326let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_108 =
     327  let pcs_pcs = x_108 in h_mk_preclassified_system_pass pcs_pcs __
    328328
    329329(** val preclassified_system_pass_rect_Type5 :
    330330    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    331331    preclassified_system_pass -> 'a1 **)
    332 let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_6086 =
    333   let pcs_pcs = x_6086 in h_mk_preclassified_system_pass pcs_pcs __
     332let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_110 =
     333  let pcs_pcs = x_110 in h_mk_preclassified_system_pass pcs_pcs __
    334334
    335335(** val preclassified_system_pass_rect_Type3 :
    336336    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    337337    preclassified_system_pass -> 'a1 **)
    338 let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_6088 =
    339   let pcs_pcs = x_6088 in h_mk_preclassified_system_pass pcs_pcs __
     338let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_112 =
     339  let pcs_pcs = x_112 in h_mk_preclassified_system_pass pcs_pcs __
    340340
    341341(** val preclassified_system_pass_rect_Type2 :
    342342    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    343343    preclassified_system_pass -> 'a1 **)
    344 let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_6090 =
    345   let pcs_pcs = x_6090 in h_mk_preclassified_system_pass pcs_pcs __
     344let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_114 =
     345  let pcs_pcs = x_114 in h_mk_preclassified_system_pass pcs_pcs __
    346346
    347347(** val preclassified_system_pass_rect_Type1 :
    348348    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    349349    preclassified_system_pass -> 'a1 **)
    350 let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_6092 =
    351   let pcs_pcs = x_6092 in h_mk_preclassified_system_pass pcs_pcs __
     350let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_116 =
     351  let pcs_pcs = x_116 in h_mk_preclassified_system_pass pcs_pcs __
    352352
    353353(** val preclassified_system_pass_rect_Type0 :
    354354    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    355355    preclassified_system_pass -> 'a1 **)
    356 let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_6094 =
    357   let pcs_pcs = x_6094 in h_mk_preclassified_system_pass pcs_pcs __
     356let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_118 =
     357  let pcs_pcs = x_118 in h_mk_preclassified_system_pass pcs_pcs __
    358358
    359359(** val pcs_pcs :
     
    447447| Compiler.Assembly_pass ->
    448448  (fun prog ->
    449     let { Types.fst = eta27867; Types.snd = policy } = Obj.magic prog in
    450     let { Types.fst = code; Types.snd = sigma } = eta27867 in
     449    let { Types.fst = eta26; Types.snd = policy } = Obj.magic prog in
     450    let { Types.fst = code; Types.snd = sigma } = eta26 in
    451451    Interpret2.aSM_preclassified_system code sigma policy)
    452452| Compiler.Object_code_pass ->
Note: See TracChangeset for help on using the changeset viewer.