Changeset 2797 for extracted/lINToASM.ml


Ignore:
Timestamp:
Mar 7, 2013, 12:55:34 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again after James's cleanup and the implementation of the
new testing function to be used in the untrusted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lINToASM.ml

    r2775 r2797  
    127127    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    128128    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    129 let rec aSM_universe_rect_Type4 globals h_mk_ASM_universe x_24208 =
     129let rec aSM_universe_rect_Type4 globals h_mk_ASM_universe x_24287 =
    130130  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    131131    ident_map0; label_map = label_map0; address_map = address_map0 } =
    132     x_24208
     132    x_24287
    133133  in
    134134  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    140140    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    141141    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    142 let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_24210 =
     142let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_24289 =
    143143  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    144144    ident_map0; label_map = label_map0; address_map = address_map0 } =
    145     x_24210
     145    x_24289
    146146  in
    147147  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    153153    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    154154    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    155 let rec aSM_universe_rect_Type3 globals h_mk_ASM_universe x_24212 =
     155let rec aSM_universe_rect_Type3 globals h_mk_ASM_universe x_24291 =
    156156  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    157157    ident_map0; label_map = label_map0; address_map = address_map0 } =
    158     x_24212
     158    x_24291
    159159  in
    160160  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    166166    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    167167    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    168 let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_24214 =
     168let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_24293 =
    169169  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    170170    ident_map0; label_map = label_map0; address_map = address_map0 } =
    171     x_24214
     171    x_24293
    172172  in
    173173  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    179179    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    180180    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    181 let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_24216 =
     181let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_24295 =
    182182  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    183183    ident_map0; label_map = label_map0; address_map = address_map0 } =
    184     x_24216
     184    x_24295
    185185  in
    186186  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    192192    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    193193    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    194 let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_24218 =
     194let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_24297 =
    195195  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    196196    ident_map0; label_map = label_map0; address_map = address_map0 } =
    197     x_24218
     197    x_24297
    198198  in
    199199  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
Note: See TracChangeset for help on using the changeset viewer.