/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | read.pl | 332 % base. Then we fail all the way back to read(), and that prints the
|
H A D | tidy.pl | 354 attraction moves a number out (N*X+N*X)->N*(X+X) tidy moves it back in.
|
H A D | distfix.pl | 386 % base. Then we fail all the way back to read(), and that prints the
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | calendar.pl | 585 back and checking whether they match:
|
H A D | toplevel.pl | 493 % Once Eclipse has control back, it executes 'abort' handler
|
H A D | tracer_tty.pl | 592 x[N] examine goal with invoc N (default: back to current port)\n\
|
H A D | linearize.pl | 51 % delinearize/2 converts back into normal arithmetic expression, but 158 summary:"Convert a linear form back to a standard arithmetic expression", 515 summary:"Convert a polynomial form back to a standard arithmetic expression",
|
H A D | tracer_tcl.pl | 574 Reply = [Status,["1"|NewPath]]. % add back the root node 1040 send_display_string(Id, Row, Col, Old, G, back),
|
/barrelfish-2018-10-04/lib/tommath/ |
H A D | bn.tex | 407 When you are finished with an mp\_int it is ideal to return the heap it used back to the system. The following function 1397 $127$ digits just that it falls back to a baseline algorithm after that point. 1453 /* now reduce `c' back down to c = a^2R^2 * R^-1 == a^2R */ 1467 /* now reduce `c' back down to c = a^3R^2 * R^-1 == a^3R */ 1474 /* now reduce (again) `c' back down to c = a^3R * R^-1 == a^3 */
|
/barrelfish-2018-10-04/doc/002-mackerel/ |
H A D | Mackerel.tex | 91 If you wish to use the (deprecated) bitfield-based back-end instead, 758 list the individual locations for the array (note: the back-end does 1248 read from the register before writing back the value. Therefore, 1336 read from the register before writing back the value. Therefore, 1446 structures to represent registers. This back end should not be used, 1683 will be written back with their correct values. It will also force 1771 will be written back with their correct values. It will also force
|
/barrelfish-2018-10-04/doc/000-overview/ |
H A D | Overview.tex | 320 reflected back to the application by means of an upcall. 513 back to the CPU driver. 577 useful initial capabilities (such as a communication channel back
|
/barrelfish-2018-10-04/doc/022-armv8/ |
H A D | report.tex | 292 ARMv7 codebase carries a significant legacy, reaching right back to ARMv5, we 878 indirect jumps (load to PC) back to the instruction set. 992 (L1), outer (L2+, usually), write-back or write-through. Combined with the
|
/barrelfish-2018-10-04/doc/026-device-queues/ |
H A D | devif.tex | 126 has to be considered. In certain cases, a write to a buffer might not have been written back 252 All the changes to the buffer have to be written back to memory and not only 292 \item Changes to the buffer are written back to memory
|
/barrelfish-2018-10-04/doc/009-notifications/ |
H A D | Notify.tex | 90 domains initially poll for messages, but eventually back off to a more
|
/barrelfish-2018-10-04/doc/023-coreboot/ |
H A D | coreboot.tex | 210 sending a message back to it. Then, the boot driver will tell its local monitor
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/sha/asm/ |
H A D | sha512-ia64.pl | 41 # operation is available "back" *to* integer ALU, not to mention that 508 // I adhere to mmi; in order to hold Itanium 1 back and avoid 6 cycle
|
/barrelfish-2018-10-04/doc/019-device-drivers/ |
H A D | DeviceDriver.tex | 261 address in your address space (given back to you by \varname{vbase}). Since 516 create fine grained capabilities for this entire memory range. If you go back
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | prolog.tex | 1044 calls. In particular, backtracking is possible (see section~\ref{back}); 1089 \label{back}
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embjava.tex | 302 back from {\eclipse} it will be an instance of {\it java.lang.Object} 409 coming back from {\eclipse} cannot be relied upon to be of one type or 942 may be deferred until ECLiPSe has control back. 1010 never be transferred back from {\eclipse} to Java.
|
H A D | umscmacros.tex | 177 return code is correctly passed back to the system.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 1705 For unification of nested structures, it may be necessary to jump back 1722 are conditional jumps back and forth between the sequences. 1728 the temporary is tested and possibly control is transferred back 1900 the state changes to either of DEAD (for standard predicates), or back
|
H A D | umscmacros.tex | 194 return code is correctly passed back to the system.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsdebug.tex | 735 %back to {\it creep} mode using \^\space C while the skipped procedure is 1250 current subterm moves back up the structure to its parent for each level it 1279 It is possible to quickly move back to the top of a goal that is being 1823 %back to the debugger.
|
H A D | umsflags.tex | 136 processed only when the flag is switched back to {\tt on}.
|
H A D | umsmacros.tex | 314 When we want to convert the \predspec{s/1} terms back to normal integers so that
|