/barrelfish-master/lib/cxx/unwind/ |
H A D | libunwind.cpp | 290 static bool checked = false; local 292 if (!checked) { 294 checked = true; 302 static bool checked = false; local 304 if (!checked) { 306 checked = true; 314 static bool checked = false; local 316 if (!checked) { 318 checked = true;
|
/barrelfish-master/lib/libc/nameser/ |
H A D | ns_name.c | 426 int n, len, checked, l; local 429 checked = 0; 452 checked += l + 1; 472 checked += 2; 478 if (checked >= eom - msg) {
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | project.pl | 52 % type-checked. project(Structs, K, Args) unifies Args with the
|
/barrelfish-master/usr/eclipseclp/documents/internal/project/ |
H A D | organisation.tex | 71 It consists of several sub-modules which can be checked out 184 \item checked out from cvs
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsstyle.tex | 95 is checked with the line coverage profiler.
|
H A D | umsmemory.tex | 168 (this can be checked with the debugger or the profiling facility). 207 In this case it should be checked whether the nondeterminism was intended.
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | design.tex | 23 tables after they are checked, so the all these areas would have to be copied
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | chr_doc.pl | 376 * try_label: A label_with declaration is checked. 490 * try_label: A label_with declaration is checked.
|
H A D | conjunto.pl | 146 checked and the constraint is delayed. It is activated as soos as the 586 their domain bounds are checked and the constraint is delayed. It is
|
H A D | chr.pl | 46 % The guard (Goal) is simply called and it's checked that there are no 232 % this list is checked
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | spell.pl | 222 % IncorrectFunctor is checked to be longer than 4 characters. This is
|
H A D | events.pl | 110 atom(CM), % The context module may not be checked yet, 146 atom(CM), % The context module is not checked yet,
|
/barrelfish-master/lib/openssl-1.0.0d/ |
H A D | makevms.com | 305 $! Rules are checked sequentially. If a rule disables an algorithm, it will
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | tkdebug.tex | 321 checked at each debug port. For our purpose, we enter the following: 377 4. So perhaps countries 3 and 4 are not checked by
|
H A D | constimpl.tex | 415 the instantiations will be checked for satisfying the constraint.
|
H A D | repairtut.tex | 626 is checked by looking at the conflict constraints. If there are no
|
H A D | propiachr.tex | 523 is checked to determine whether the rule can fire.
|
H A D | hybrid.tex | 911 The solution can be checked for feasibility against the remaining
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extchr.tex | 515 When executing a guard\index{guard}, it is checked that no global variables 527 checked if there is an identical one already in the store. If there 882 \item \verb/try_label/: A label\_with declaration is checked.
|
H A D | eplex.tex | 540 First, the constraints are normalised and checked for linearity. 964 immediately, or they can be checked for violation after the solver solves 990 the problem matrix at all (and are not checked for violations). This is
|
H A D | repair.tex | 73 in a domain is checked by communicating with a different solver that
|
/barrelfish-master/usr/eclipseclp/documents/search/ |
H A D | search.tex | 1079 assignment, i.e. it is checked whether they would be satisfied 1157 is checked by looking at the conflict constraints. If there are no 1263 \item As in the random walk example, constraint satisfaction is checked 1666 constraints), and then this variable is checked to make sure that it is
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | dbi.tex | 451 are checked to make sure exactly one row is processed per statement.
|
H A D | embremoteproto.tex | 252 subsequent connections (for ec_rpc and any peer queues) are checked to 1458 connection. The remote side sends a pass-term which is checked to see it is
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 1843 A normal debugging session consists of a sequence of leap, skip and creep operations to reach an interesting part of the program and then a more detailed step-by step analysis of what is happening. It is pointless and very time consuming to single-step through a part of the program that we have already checked, but we have to be careful not to skip over the interesting part of the program. 1869 \item {\it Correctness}\index{correctness} of a program can only be checked if we have obtained the expected results of a test in an independent way, either by hand or by a trusted program, or simply by re-using benchmark sets from a third party. 1873 It is important to realize the limitations of the tests that we perform. If we have never checked that the solutions produced by a regression test are correct, then they will be most likely {\it not} correct. We only know that they are still the same solutions that the program has found before. 1954 \item The test set(s) should exercise 100 percent of the final code. Conformity is checked with the line coverage profiler.
|