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 DBUILD4 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 DBUILD4 CTGFILE=ty-mapping.cfg
6 cogent $SRC -t --cust-ty-gen="$CTGFILE"
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/
H A Dwip_anti-dispatch.c11 int bar ($ty:((A -> A, A)) x)
/seL4-camkes-master/projects/musllibc/src/math/
H A D__rem_pio2f.c45 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.c52 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.c73 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 DMakefile23 CTGFILE=ty-mapping.cfg
49 --cust-ty-gen="$(CTGFILE)" \
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex72 morekeywords={$ty, $exp, $id, $spec},
218 \text{opt. ty. ann.} & \cdot^\tau & ::= & \cdot : \tau \\

Completed in 48 milliseconds