Ignore:
Timestamp:
Mar 14, 2013, 10:37:39 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTL_semantics.ml

    r2867 r2873  
    158158    (Registers.register List.list -> ByteValues.program_counter ->
    159159    ByteValues.bebit -> SemanticsUtils.reg_sp -> 'a1) -> frame -> 'a1 **)
    160 let rec frame_rect_Type4 h_mk_frame x_26197 =
     160let rec frame_rect_Type4 h_mk_frame x_26366 =
    161161  let { fr_ret_regs = fr_ret_regs0; fr_pc = fr_pc0; fr_carry = fr_carry0;
    162     fr_regs = fr_regs0 } = x_26197
     162    fr_regs = fr_regs0 } = x_26366
    163163  in
    164164  h_mk_frame fr_ret_regs0 fr_pc0 fr_carry0 fr_regs0
     
    167167    (Registers.register List.list -> ByteValues.program_counter ->
    168168    ByteValues.bebit -> SemanticsUtils.reg_sp -> 'a1) -> frame -> 'a1 **)
    169 let rec frame_rect_Type5 h_mk_frame x_26199 =
     169let rec frame_rect_Type5 h_mk_frame x_26368 =
    170170  let { fr_ret_regs = fr_ret_regs0; fr_pc = fr_pc0; fr_carry = fr_carry0;
    171     fr_regs = fr_regs0 } = x_26199
     171    fr_regs = fr_regs0 } = x_26368
    172172  in
    173173  h_mk_frame fr_ret_regs0 fr_pc0 fr_carry0 fr_regs0
     
    176176    (Registers.register List.list -> ByteValues.program_counter ->
    177177    ByteValues.bebit -> SemanticsUtils.reg_sp -> 'a1) -> frame -> 'a1 **)
    178 let rec frame_rect_Type3 h_mk_frame x_26201 =
     178let rec frame_rect_Type3 h_mk_frame x_26370 =
    179179  let { fr_ret_regs = fr_ret_regs0; fr_pc = fr_pc0; fr_carry = fr_carry0;
    180     fr_regs = fr_regs0 } = x_26201
     180    fr_regs = fr_regs0 } = x_26370
    181181  in
    182182  h_mk_frame fr_ret_regs0 fr_pc0 fr_carry0 fr_regs0
     
    185185    (Registers.register List.list -> ByteValues.program_counter ->
    186186    ByteValues.bebit -> SemanticsUtils.reg_sp -> 'a1) -> frame -> 'a1 **)
    187 let rec frame_rect_Type2 h_mk_frame x_26203 =
     187let rec frame_rect_Type2 h_mk_frame x_26372 =
    188188  let { fr_ret_regs = fr_ret_regs0; fr_pc = fr_pc0; fr_carry = fr_carry0;
    189     fr_regs = fr_regs0 } = x_26203
     189    fr_regs = fr_regs0 } = x_26372
    190190  in
    191191  h_mk_frame fr_ret_regs0 fr_pc0 fr_carry0 fr_regs0
     
    194194    (Registers.register List.list -> ByteValues.program_counter ->
    195195    ByteValues.bebit -> SemanticsUtils.reg_sp -> 'a1) -> frame -> 'a1 **)
    196 let rec frame_rect_Type1 h_mk_frame x_26205 =
     196let rec frame_rect_Type1 h_mk_frame x_26374 =
    197197  let { fr_ret_regs = fr_ret_regs0; fr_pc = fr_pc0; fr_carry = fr_carry0;
    198     fr_regs = fr_regs0 } = x_26205
     198    fr_regs = fr_regs0 } = x_26374
    199199  in
    200200  h_mk_frame fr_ret_regs0 fr_pc0 fr_carry0 fr_regs0
     
    203203    (Registers.register List.list -> ByteValues.program_counter ->
    204204    ByteValues.bebit -> SemanticsUtils.reg_sp -> 'a1) -> frame -> 'a1 **)
    205 let rec frame_rect_Type0 h_mk_frame x_26207 =
     205let rec frame_rect_Type0 h_mk_frame x_26376 =
    206206  let { fr_ret_regs = fr_ret_regs0; fr_pc = fr_pc0; fr_carry = fr_carry0;
    207     fr_regs = fr_regs0 } = x_26207
     207    fr_regs = fr_regs0 } = x_26376
    208208  in
    209209  h_mk_frame fr_ret_regs0 fr_pc0 fr_carry0 fr_regs0
Note: See TracChangeset for help on using the changeset viewer.