Searched refs:a_y (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | nested_struct11.c | 15 float a_y; member in struct:A
32 result.a.a_y = source.a.a_y;
40 source.a.a_x, source.a.a_y,
42 result.a.a_x, result.a.a_y,
117 CHECK (result.a.a_y == source.a.a_y);
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | elliptic_exampleScript.sml | 322 let (a_x,a_y) = ex1_curve_mult (ex1_elgamal_g_x,ex1_elgamal_g_y,k) in
325 (a_x,a_y,b_x,b_y)`;
328 `ex1_elgamal_decrypt (a_x,a_y,b_x,b_y) =
|
Completed in 41 milliseconds