Searched refs:ty (Results 1 - 8 of 8) sorted by relevance
/seL4-camkes-master/tools/cogent/cogent/tests/tests/fail_flags_ffi-gen-synonym/ |
H A D | BUILD | 4 CTGFILE=ty-mapping.cfg 6 cogent $SRC -t --cust-ty-gen="$CTGFILE"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/polymorphic/fail_flags_ffi-gen-poly/ |
H A D | BUILD | 4 CTGFILE=ty-mapping.cfg 6 cogent $SRC -t --cust-ty-gen="$CTGFILE"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/ |
H A D | wip_anti-dispatch.c | 11 int bar ($ty:((A -> A, A)) x)
|
/seL4-camkes-master/projects/musllibc/src/math/ |
H A D | __rem_pio2f.c | 45 double tx[1],ty[1]; local 68 n = __rem_pio2_large(tx,ty,e0,1,0); 70 *y = -ty[0]; 73 *y = ty[0];
|
H A D | __rem_pio2.c | 52 double tx[3],ty[2]; local 168 n = __rem_pio2_large(tx,ty,(int)(ix>>20)-(0x3ff+23),i+1,1); 170 y[0] = -ty[0]; 171 y[1] = -ty[1]; 174 y[0] = ty[0]; 175 y[1] = ty[1];
|
H A D | __rem_pio2l.c | 73 double tx[NX],ty[NY]; local 124 n = __rem_pio2_large(tx, ty, ex-0x3fff-23, i+1, NY); 125 w = ty[1]; 127 w += ty[2]; 128 r = ty[0] + w; 130 comments of __rem_pio2_large which seem wrong if |ty[0]| > |ty[1]+ty[2]| */ 131 w -= r - ty[0];
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/flags/pass_flags_ffi-gen/ |
H A D | Makefile | 23 CTGFILE=ty-mapping.cfg 49 --cust-ty-gen="$(CTGFILE)" \
|
/seL4-camkes-master/tools/cogent/cogent/doc/ |
H A D | doc.tex | 72 morekeywords={$ty, $exp, $id, $spec}, 218 \text{opt. ty. ann.} & \cdot^\tau & ::= & \cdot : \tau \\
|
Completed in 48 milliseconds