Searched refs:b_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 | 20 float b_y; member in struct:B
34 result.b.b_y = source.b.b_y;
41 source.b.b_x, source.b.b_y,
43 result.b.b_x, result.b.b_y);
119 CHECK (result.b.b_y == source.b.b_y);
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | elliptic_exampleScript.sml | 324 let (b_x,b_y) = ex1_curve_add (t_x,t_y,m_x,m_y) in
325 (a_x,a_y,b_x,b_y)`;
328 `ex1_elgamal_decrypt (a_x,a_y,b_x,b_y) =
330 ex1_curve_add (t_x,t_y,b_x,b_y)`;
|
Completed in 78 milliseconds