Ignore:
Timestamp:
Mar 7, 2013, 12:55:34 PM (8 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/rTLabsToRTL.ml

    r2775 r2797  
    150150    -> 'a1) -> register_type -> 'a1 **)
    151151let rec register_type_rect_Type4 h_register_int h_register_ptr = function
    152 | Register_int x_20923 -> h_register_int x_20923
    153 | Register_ptr (x_20925, x_20924) -> h_register_ptr x_20925 x_20924
     152| Register_int x_21002 -> h_register_int x_21002
     153| Register_ptr (x_21004, x_21003) -> h_register_ptr x_21004 x_21003
    154154
    155155(** val register_type_rect_Type5 :
     
    157157    -> 'a1) -> register_type -> 'a1 **)
    158158let rec register_type_rect_Type5 h_register_int h_register_ptr = function
    159 | Register_int x_20929 -> h_register_int x_20929
    160 | Register_ptr (x_20931, x_20930) -> h_register_ptr x_20931 x_20930
     159| Register_int x_21008 -> h_register_int x_21008
     160| Register_ptr (x_21010, x_21009) -> h_register_ptr x_21010 x_21009
    161161
    162162(** val register_type_rect_Type3 :
     
    164164    -> 'a1) -> register_type -> 'a1 **)
    165165let rec register_type_rect_Type3 h_register_int h_register_ptr = function
    166 | Register_int x_20935 -> h_register_int x_20935
    167 | Register_ptr (x_20937, x_20936) -> h_register_ptr x_20937 x_20936
     166| Register_int x_21014 -> h_register_int x_21014
     167| Register_ptr (x_21016, x_21015) -> h_register_ptr x_21016 x_21015
    168168
    169169(** val register_type_rect_Type2 :
     
    171171    -> 'a1) -> register_type -> 'a1 **)
    172172let rec register_type_rect_Type2 h_register_int h_register_ptr = function
    173 | Register_int x_20941 -> h_register_int x_20941
    174 | Register_ptr (x_20943, x_20942) -> h_register_ptr x_20943 x_20942
     173| Register_int x_21020 -> h_register_int x_21020
     174| Register_ptr (x_21022, x_21021) -> h_register_ptr x_21022 x_21021
    175175
    176176(** val register_type_rect_Type1 :
     
    178178    -> 'a1) -> register_type -> 'a1 **)
    179179let rec register_type_rect_Type1 h_register_int h_register_ptr = function
    180 | Register_int x_20947 -> h_register_int x_20947
    181 | Register_ptr (x_20949, x_20948) -> h_register_ptr x_20949 x_20948
     180| Register_int x_21026 -> h_register_int x_21026
     181| Register_ptr (x_21028, x_21027) -> h_register_ptr x_21028 x_21027
    182182
    183183(** val register_type_rect_Type0 :
     
    185185    -> 'a1) -> register_type -> 'a1 **)
    186186let rec register_type_rect_Type0 h_register_int h_register_ptr = function
    187 | Register_int x_20953 -> h_register_int x_20953
    188 | Register_ptr (x_20955, x_20954) -> h_register_ptr x_20955 x_20954
     187| Register_int x_21032 -> h_register_int x_21032
     188| Register_ptr (x_21034, x_21033) -> h_register_ptr x_21034 x_21033
    189189
    190190(** val register_type_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.