Ignore:
Timestamp:
Mar 15, 2013, 11:11:45 PM (7 years ago)
Author:
sacerdot
Message:

Exported again, now the execution is correct up to LIN for a simple program.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semanticsUtils.ml

    r2873 r2890  
    154154    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    155155    -> hw_register_env -> 'a1 **)
    156 let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_26234 =
    157   let { reg_env = reg_env0; other_bit = other_bit0 } = x_26234 in
     156let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_26260 =
     157  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26260 in
    158158  h_mk_hw_register_env reg_env0 other_bit0
    159159
     
    161161    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    162162    -> hw_register_env -> 'a1 **)
    163 let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_26236 =
    164   let { reg_env = reg_env0; other_bit = other_bit0 } = x_26236 in
     163let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_26262 =
     164  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26262 in
    165165  h_mk_hw_register_env reg_env0 other_bit0
    166166
     
    168168    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    169169    -> hw_register_env -> 'a1 **)
    170 let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_26238 =
    171   let { reg_env = reg_env0; other_bit = other_bit0 } = x_26238 in
     170let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_26264 =
     171  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26264 in
    172172  h_mk_hw_register_env reg_env0 other_bit0
    173173
     
    175175    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    176176    -> hw_register_env -> 'a1 **)
    177 let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_26240 =
    178   let { reg_env = reg_env0; other_bit = other_bit0 } = x_26240 in
     177let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_26266 =
     178  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26266 in
    179179  h_mk_hw_register_env reg_env0 other_bit0
    180180
     
    182182    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    183183    -> hw_register_env -> 'a1 **)
    184 let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_26242 =
    185   let { reg_env = reg_env0; other_bit = other_bit0 } = x_26242 in
     184let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_26268 =
     185  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26268 in
    186186  h_mk_hw_register_env reg_env0 other_bit0
    187187
     
    189189    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    190190    -> hw_register_env -> 'a1 **)
    191 let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_26244 =
    192   let { reg_env = reg_env0; other_bit = other_bit0 } = x_26244 in
     191let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_26270 =
     192  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26270 in
    193193  h_mk_hw_register_env reg_env0 other_bit0
    194194
     
    301301    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    302302    'a1) -> reg_sp -> 'a1 **)
    303 let rec reg_sp_rect_Type4 h_mk_reg_sp x_26260 =
    304   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26260 in
     303let rec reg_sp_rect_Type4 h_mk_reg_sp x_26286 =
     304  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26286 in
    305305  h_mk_reg_sp reg_sp_env0 stackp0
    306306
     
    308308    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    309309    'a1) -> reg_sp -> 'a1 **)
    310 let rec reg_sp_rect_Type5 h_mk_reg_sp x_26262 =
    311   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26262 in
     310let rec reg_sp_rect_Type5 h_mk_reg_sp x_26288 =
     311  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26288 in
    312312  h_mk_reg_sp reg_sp_env0 stackp0
    313313
     
    315315    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    316316    'a1) -> reg_sp -> 'a1 **)
    317 let rec reg_sp_rect_Type3 h_mk_reg_sp x_26264 =
    318   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26264 in
     317let rec reg_sp_rect_Type3 h_mk_reg_sp x_26290 =
     318  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26290 in
    319319  h_mk_reg_sp reg_sp_env0 stackp0
    320320
     
    322322    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    323323    'a1) -> reg_sp -> 'a1 **)
    324 let rec reg_sp_rect_Type2 h_mk_reg_sp x_26266 =
    325   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26266 in
     324let rec reg_sp_rect_Type2 h_mk_reg_sp x_26292 =
     325  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26292 in
    326326  h_mk_reg_sp reg_sp_env0 stackp0
    327327
     
    329329    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    330330    'a1) -> reg_sp -> 'a1 **)
    331 let rec reg_sp_rect_Type1 h_mk_reg_sp x_26268 =
    332   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26268 in
     331let rec reg_sp_rect_Type1 h_mk_reg_sp x_26294 =
     332  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26294 in
    333333  h_mk_reg_sp reg_sp_env0 stackp0
    334334
     
    336336    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    337337    'a1) -> reg_sp -> 'a1 **)
    338 let rec reg_sp_rect_Type0 h_mk_reg_sp x_26270 =
    339   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26270 in
     338let rec reg_sp_rect_Type0 h_mk_reg_sp x_26296 =
     339  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26296 in
    340340  h_mk_reg_sp reg_sp_env0 stackp0
    341341
     
    459459    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    460460    -> 'a1) -> sem_graph_params -> 'a1 **)
    461 let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_26286 =
    462   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26286 in
     461let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_26312 =
     462  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26312 in
    463463  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    464464
     
    466466    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    467467    -> 'a1) -> sem_graph_params -> 'a1 **)
    468 let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_26288 =
    469   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26288 in
     468let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_26314 =
     469  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26314 in
    470470  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    471471
     
    473473    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    474474    -> 'a1) -> sem_graph_params -> 'a1 **)
    475 let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_26290 =
    476   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26290 in
     475let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_26316 =
     476  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26316 in
    477477  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    478478
     
    480480    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    481481    -> 'a1) -> sem_graph_params -> 'a1 **)
    482 let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_26292 =
    483   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26292 in
     482let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_26318 =
     483  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26318 in
    484484  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    485485
     
    487487    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    488488    -> 'a1) -> sem_graph_params -> 'a1 **)
    489 let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_26294 =
    490   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26294 in
     489let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_26320 =
     490  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26320 in
    491491  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    492492
     
    494494    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    495495    -> 'a1) -> sem_graph_params -> 'a1 **)
    496 let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_26296 =
    497   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26296 in
     496let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_26322 =
     497  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26322 in
    498498  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    499499
     
    599599    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    600600    -> 'a1) -> sem_lin_params -> 'a1 **)
    601 let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_26313 =
    602   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26313 in
     601let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_26339 =
     602  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26339 in
    603603  h_mk_sem_lin_params slp_pars0 slp_sup0
    604604
     
    606606    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    607607    -> 'a1) -> sem_lin_params -> 'a1 **)
    608 let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_26315 =
    609   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26315 in
     608let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_26341 =
     609  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26341 in
    610610  h_mk_sem_lin_params slp_pars0 slp_sup0
    611611
     
    613613    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    614614    -> 'a1) -> sem_lin_params -> 'a1 **)
    615 let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_26317 =
    616   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26317 in
     615let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_26343 =
     616  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26343 in
    617617  h_mk_sem_lin_params slp_pars0 slp_sup0
    618618
     
    620620    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    621621    -> 'a1) -> sem_lin_params -> 'a1 **)
    622 let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_26319 =
    623   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26319 in
     622let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_26345 =
     623  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26345 in
    624624  h_mk_sem_lin_params slp_pars0 slp_sup0
    625625
     
    627627    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    628628    -> 'a1) -> sem_lin_params -> 'a1 **)
    629 let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_26321 =
    630   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26321 in
     629let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_26347 =
     630  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26347 in
    631631  h_mk_sem_lin_params slp_pars0 slp_sup0
    632632
     
    634634    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    635635    -> 'a1) -> sem_lin_params -> 'a1 **)
    636 let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_26323 =
    637   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26323 in
     636let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_26349 =
     637  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26349 in
    638638  h_mk_sem_lin_params slp_pars0 slp_sup0
    639639
Note: See TracChangeset for help on using the changeset viewer.