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/backEndOps.ml

    r2775 r2797  
    402402    -> (BitVector.bit -> op2 -> BitVector.byte -> BitVector.byte ->
    403403    (BitVector.byte, BitVector.bit) Types.prod) -> 'a1) -> eval -> 'a1 **)
    404 let rec eval_rect_Type4 h_mk_Eval x_18972 =
    405   let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18972 in
     404let rec eval_rect_Type4 h_mk_Eval x_18985 =
     405  let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18985 in
    406406  h_mk_Eval opaccs0 op4 op5
    407407
     
    411411    -> (BitVector.bit -> op2 -> BitVector.byte -> BitVector.byte ->
    412412    (BitVector.byte, BitVector.bit) Types.prod) -> 'a1) -> eval -> 'a1 **)
    413 let rec eval_rect_Type5 h_mk_Eval x_18974 =
    414   let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18974 in
     413let rec eval_rect_Type5 h_mk_Eval x_18987 =
     414  let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18987 in
    415415  h_mk_Eval opaccs0 op4 op5
    416416
     
    420420    -> (BitVector.bit -> op2 -> BitVector.byte -> BitVector.byte ->
    421421    (BitVector.byte, BitVector.bit) Types.prod) -> 'a1) -> eval -> 'a1 **)
    422 let rec eval_rect_Type3 h_mk_Eval x_18976 =
    423   let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18976 in
     422let rec eval_rect_Type3 h_mk_Eval x_18989 =
     423  let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18989 in
    424424  h_mk_Eval opaccs0 op4 op5
    425425
     
    429429    -> (BitVector.bit -> op2 -> BitVector.byte -> BitVector.byte ->
    430430    (BitVector.byte, BitVector.bit) Types.prod) -> 'a1) -> eval -> 'a1 **)
    431 let rec eval_rect_Type2 h_mk_Eval x_18978 =
    432   let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18978 in
     431let rec eval_rect_Type2 h_mk_Eval x_18991 =
     432  let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18991 in
    433433  h_mk_Eval opaccs0 op4 op5
    434434
     
    438438    -> (BitVector.bit -> op2 -> BitVector.byte -> BitVector.byte ->
    439439    (BitVector.byte, BitVector.bit) Types.prod) -> 'a1) -> eval -> 'a1 **)
    440 let rec eval_rect_Type1 h_mk_Eval x_18980 =
    441   let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18980 in
     440let rec eval_rect_Type1 h_mk_Eval x_18993 =
     441  let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18993 in
    442442  h_mk_Eval opaccs0 op4 op5
    443443
     
    447447    -> (BitVector.bit -> op2 -> BitVector.byte -> BitVector.byte ->
    448448    (BitVector.byte, BitVector.bit) Types.prod) -> 'a1) -> eval -> 'a1 **)
    449 let rec eval_rect_Type0 h_mk_Eval x_18982 =
    450   let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18982 in
     449let rec eval_rect_Type0 h_mk_Eval x_18995 =
     450  let { opaccs = opaccs0; op0 = op4; op3 = op5 } = x_18995 in
    451451  h_mk_Eval opaccs0 op4 op5
    452452
Note: See TracChangeset for help on using the changeset viewer.