/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | topten.c | 126 readentry(rfile,tt) 128 struct toptenentry *tt; 142 final_fpos = tt->fpos = ftell(rfile); 146 &tt->ver_major, &tt->ver_minor, &tt->patchlevel, 147 &tt->points, &tt->deathdnum, &tt->deathlev, 148 &tt 918 register struct toptenentry *tt; local [all...] |
H A D | pager.c | 152 int tt = t ? t->ttyp : NO_TRAP; local 155 if (tt == BEAR_TRAP || tt == PIT || 156 tt == SPIKED_PIT || tt == WEB) 158 an(defsyms[trap_to_defsym(tt)].explanation)); 766 int x, y, tt; local 774 tt = trap->ttyp; 776 if (u.dz < 0 ? (tt == TRAPDOOR || tt [all...] |
H A D | mklev.c | 253 coord cc,tt, org, dest; local 261 /* find positions cc and tt for doors in croom and troom 271 finddpos(&tt, tx, troom->ly, tx, troom->hy); 278 finddpos(&tt, troom->lx, ty, troom->hx, ty); 285 finddpos(&tt, tx, troom->ly, tx, troom->hy); 292 finddpos(&tt, troom->lx, ty, troom->hx, ty); 296 tx = tt.x - dx; 297 ty = tt.y - dy; 311 if (okdoor(tt.x, tt [all...] |
H A D | teleport.c | 1098 int tt = trap->ttyp; local 1107 if ((tt == HOLE || tt == TRAPDOOR)) { 1113 (tt == HOLE) ? "hole" : "trap"); 1118 } else if (tt == MAGIC_PORTAL) { 1131 } else { /* (tt == LEVEL_TELEP) */
|
H A D | trap.c | 1197 int tt; local 1204 tt = trap->ttyp; 1209 switch (tt) { 1247 rnd((tt == PIT) ? 6 : 10), FALSE)) 1695 register int tt = trap->ttyp; local 1697 inescapable = ((tt == HOLE || tt == PIT) && 1706 ((mtmp->mtrapseen & (1 << (tt-1))) != 0 || 1707 (tt == HOLE && !mindless(mtmp->data)))) { 1711 mtmp->mtrapseen |= (1 << (tt [all...] |
H A D | display.c | 691 int tt = trap ? trap->ttyp : NO_TRAP; local 694 if (tt == BEAR_TRAP || tt == PIT || 695 tt == SPIKED_PIT ||tt == WEB) {
|
H A D | detect.c | 1132 int tt = what_trap(trap->ttyp); local 1150 You("find %s.", an(defsyms[trap_to_defsym(tt)].explanation));
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | topten.c | 126 readentry(rfile,tt) 128 struct toptenentry *tt; 142 final_fpos = tt->fpos = ftell(rfile); 146 &tt->ver_major, &tt->ver_minor, &tt->patchlevel, 147 &tt->points, &tt->deathdnum, &tt->deathlev, 148 &tt 918 register struct toptenentry *tt; local [all...] |
H A D | pager.c | 152 int tt = t ? t->ttyp : NO_TRAP; local 155 if (tt == BEAR_TRAP || tt == PIT || 156 tt == SPIKED_PIT || tt == WEB) 158 an(defsyms[trap_to_defsym(tt)].explanation)); 766 int x, y, tt; local 774 tt = trap->ttyp; 776 if (u.dz < 0 ? (tt == TRAPDOOR || tt [all...] |
H A D | mklev.c | 253 coord cc,tt, org, dest; local 261 /* find positions cc and tt for doors in croom and troom 271 finddpos(&tt, tx, troom->ly, tx, troom->hy); 278 finddpos(&tt, troom->lx, ty, troom->hx, ty); 285 finddpos(&tt, tx, troom->ly, tx, troom->hy); 292 finddpos(&tt, troom->lx, ty, troom->hx, ty); 296 tx = tt.x - dx; 297 ty = tt.y - dy; 311 if (okdoor(tt.x, tt [all...] |
H A D | teleport.c | 1098 int tt = trap->ttyp; local 1107 if ((tt == HOLE || tt == TRAPDOOR)) { 1113 (tt == HOLE) ? "hole" : "trap"); 1118 } else if (tt == MAGIC_PORTAL) { 1131 } else { /* (tt == LEVEL_TELEP) */
|
H A D | trap.c | 1197 int tt; local 1204 tt = trap->ttyp; 1209 switch (tt) { 1247 rnd((tt == PIT) ? 6 : 10), FALSE)) 1695 register int tt = trap->ttyp; local 1697 inescapable = ((tt == HOLE || tt == PIT) && 1706 ((mtmp->mtrapseen & (1 << (tt-1))) != 0 || 1707 (tt == HOLE && !mindless(mtmp->data)))) { 1711 mtmp->mtrapseen |= (1 << (tt [all...] |
H A D | display.c | 691 int tt = trap ? trap->ttyp : NO_TRAP; local 694 if (tt == BEAR_TRAP || tt == PIT || 695 tt == SPIKED_PIT ||tt == WEB) {
|
H A D | detect.c | 1132 int tt = what_trap(trap->ttyp); local 1150 You("find %s.", an(defsyms[trap_to_defsym(tt)].explanation));
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 11 \newcommand{\tb}[1]{\tt #1 \hfill} 23 % this will make \tt underscores look better, but requires that 412 ``{\tt --More--}'' on the top line, this means that {\it NetHack\/} has 431 The walls of a room, or an open door. Or a grave ({\tt |}). 519 symbol represents with the `{\tt /}' command (see the next section for 527 like ``{\tt search}'', do not require that any more information be collected 537 For example, a common question in the form ``{\tt What do you want to 539 Here, ``{\tt a-zA-Z}'' are the inventory letters of your possible choices. 540 Typing `{\tt ?}' gives you an inventory list of these items, so you can see 541 what each letter refers to. In this example, there is also a `{\tt *}' [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 11 \newcommand{\tb}[1]{\tt #1 \hfill} 23 % this will make \tt underscores look better, but requires that 412 ``{\tt --More--}'' on the top line, this means that {\it NetHack\/} has 431 The walls of a room, or an open door. Or a grave ({\tt |}). 519 symbol represents with the `{\tt /}' command (see the next section for 527 like ``{\tt search}'', do not require that any more information be collected 537 For example, a common question in the form ``{\tt What do you want to 539 Here, ``{\tt a-zA-Z}'' are the inventory letters of your possible choices. 540 Typing `{\tt ?}' gives you an inventory list of these items, so you can see 541 what each letter refers to. In this example, there is also a `{\tt *}' [all...] |
/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | lgamma_r.c | 100 /* tt = -(tail of tf) */ 101 tt = -3.63867699703950536541e-18, /* 0xBC50C7CA, 0xA48A971F */ variable 247 p = z*p1-(tt-w*(p2+y*p3));
|
H A D | lgammaf_r.c | 35 /* tt = -(tail of tf) */ 36 tt = 6.6971006518e-09, /* 0x31e61c52 */ variable 182 p = z*p1-(tt-w*(p2+y*p3));
|
H A D | lgammal.c | 123 /* tt = (tail of tf), i.e. tf + tt has extended precision. */ 124 tt = 3.3649914684731379602768989080467587736363E-18L, variable 128 /* lgam (x + tc) = tf + tt + x g(x)/h(x) 299 p = tt + y * p1/p2;
|
/seL4-refos-master/projects/refos/design/ |
H A D | paper.tex | 53 \renewcommand{\ttdefault}{cmtt} % CM rather than courier for \tt
|