Ignore:
Timestamp:
Mar 13, 2013, 11:12:29 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after indianess bug fixes by Paolo.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semantics.ml

    r2829 r2867  
    2424
    2525open Policy
     26
     27open AssocList
     28
     29open Uses
    2630
    2731open ASM
     
    320324    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    321325    preclassified_system_pass -> 'a1 **)
    322 let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_198 =
    323   let pcs_pcs = x_198 in h_mk_preclassified_system_pass pcs_pcs __
     326let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_26223 =
     327  let pcs_pcs = x_26223 in h_mk_preclassified_system_pass pcs_pcs __
    324328
    325329(** val preclassified_system_pass_rect_Type5 :
    326330    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    327331    preclassified_system_pass -> 'a1 **)
    328 let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_200 =
    329   let pcs_pcs = x_200 in h_mk_preclassified_system_pass pcs_pcs __
     332let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_26225 =
     333  let pcs_pcs = x_26225 in h_mk_preclassified_system_pass pcs_pcs __
    330334
    331335(** val preclassified_system_pass_rect_Type3 :
    332336    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    333337    preclassified_system_pass -> 'a1 **)
    334 let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_202 =
    335   let pcs_pcs = x_202 in h_mk_preclassified_system_pass pcs_pcs __
     338let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_26227 =
     339  let pcs_pcs = x_26227 in h_mk_preclassified_system_pass pcs_pcs __
    336340
    337341(** val preclassified_system_pass_rect_Type2 :
    338342    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    339343    preclassified_system_pass -> 'a1 **)
    340 let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_204 =
    341   let pcs_pcs = x_204 in h_mk_preclassified_system_pass pcs_pcs __
     344let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_26229 =
     345  let pcs_pcs = x_26229 in h_mk_preclassified_system_pass pcs_pcs __
    342346
    343347(** val preclassified_system_pass_rect_Type1 :
    344348    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    345349    preclassified_system_pass -> 'a1 **)
    346 let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_206 =
    347   let pcs_pcs = x_206 in h_mk_preclassified_system_pass pcs_pcs __
     350let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_26231 =
     351  let pcs_pcs = x_26231 in h_mk_preclassified_system_pass pcs_pcs __
    348352
    349353(** val preclassified_system_pass_rect_Type0 :
    350354    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    351355    preclassified_system_pass -> 'a1 **)
    352 let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_208 =
    353   let pcs_pcs = x_208 in h_mk_preclassified_system_pass pcs_pcs __
     356let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_26233 =
     357  let pcs_pcs = x_26233 in h_mk_preclassified_system_pass pcs_pcs __
    354358
    355359(** val pcs_pcs :
     
    427431      ERTLptr_semantics.eRTLptr_semantics)
    428432| Compiler.Ltl_pass ->
    429   Joint_fullexec.joint_preclassified_system LTL_semantics.lTL_semantics
     433  Joint_fullexec.joint_preclassified_system
     434    (SemanticsUtils.sem_graph_params_to_sem_params
     435      LTL_semantics.lTL_semantics)
    430436| Compiler.Lin_pass ->
    431437  Joint_fullexec.joint_preclassified_system LIN_semantics.lIN_semantics
Note: See TracChangeset for help on using the changeset viewer.