Searched refs:found (Results 1 - 25 of 260) sorted by relevance

1234567891011

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dbinary_search.c19 unsigned found = 0; local
21 while (l < r && !found) {
25 found = 1;
32 return found;
/seL4-l4v-10.1.1/l4v/misc/regression/
H A Dtimeout_output26 echo " (more information might be found in $FILE)"
28 echo No timing log for "$1" was found.
/seL4-l4v-10.1.1/HOL4/src/holyhammer/examples/
H A Dproof.sml8 (* holyhammer cj; proof found by eprover *)
15 (* holyhammer cj; proof found by eprover *)
21 (* holyhammer cj3; proof found by eprover *)
28 proof found by eprover
35 (* holyhammer cj; old proof found by vampire 2.6 *)
41 (* holyhammer cj; old proof found by vampire 2.6 *)
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dstream.sml4 is found in base.sig *)
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dstream.sml4 is found in base.sig *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile99 found=no
106 found=yes
111 found=yes
116 found=yes
123 if test "$found" != yes; then
/seL4-l4v-10.1.1/isabelle/src/Pure/Concurrent/
H A Dpar_list.scala52 results.collectFirst({ case Exn.Exn(found: Found) => found.res }) match {
/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile35 $(error C Preprocessor '${TOOLPREFIX}cpp' not found)
37 $(warning C Preprocessor '${TOOLPREFIX}cpp' not found; defaulting to native cpp)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Concurrent/
H A Dpar_list.scala52 results.collectFirst({ case Exn.Exn(found: Found) => found.res }) match {
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DtripleSyntax.sml32 | NONE => raise ERR "get_component" "not found"
/seL4-l4v-10.1.1/HOL4/src/q/
H A DOldAbbrevTactics.sml27 "PAT_ABBREV_TAC" "No matching term found"
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DSequence.sig10 Memoing, using polymorphic refs, was found to be slower! (More GCs)
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_stream.sml26 is found in base.sig *)
/seL4-l4v-10.1.1/HOL4/tools/
H A Dunquote-init.sml3 * of "use" is found in the "Meta" structure. *
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.c822 the indices of the found FDD variables. It is the users
840 int found=0; local
842 for (m=0 ; m<domain[n].binsize && !found ; m++)
844 for (i=0 ; i<fn && !found ; i++)
848 found=1;
858 int found=0; local
860 for (m=0 ; m<domain[n].binsize && !found ; m++)
862 for (i=0 ; i<fn && !found ; i++)
866 found=1;
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dmatch_goal.sml8 exception found exception
9 val _ = Redblackmap.app (fn (_,v') => if v = v' then raise found else ()) m
11 handle found => true
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A Dord-map-sig.sml24 * Raises LibBase.NotFound if not found.
35 * Raises LibBase.NotFound if not found.
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A Dord-map-sig.sml24 * Raises LibBase.NotFound if not found.
35 * Raises LibBase.NotFound if not found.
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A Dord-map-sig.sml24 * Raises LibBase.NotFound if not found.
35 * Raises LibBase.NotFound if not found.
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dinternal_functions.sig19 occurrences found during a left-to-right scan, and doing the replacements
20 as they are found. (I.e., subst("aa", "b", "aaa") returns "ba", despite
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A Dconfigure_default.sh105 echo MLton not available or not found.
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/
H A Dbackend_test.sml3 (* A more complicated example can be found in the "CADE_example.sml" *)
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/
H A DPARITY.ml3 % System for Higher-Order Logic" (which can be found on hol/doc/HOLSYS.tex). %
/seL4-l4v-10.1.1/HOL4/src/res_quan/src/
H A DCond_rewrite.sml62 then (* found consistant match *)
65 then (* found consistant match *)
81 (* are found. *)
88 (* m1 and the matches newly found in the assumption asm. *)
157 (* the goal. It fails of no match is found, otherwise, it does: *)
/seL4-l4v-10.1.1/isabelle/src/Doc/Nitpick/document/
H A Droot.tex133 \textit{Main}. The examples presented in this manual can be found
220 Nitpick found a counterexample: \\[2\smallskipamount]
234 {\slshape Nitpick found a counterexample: \\[2\smallskipamount]
239 {\slshape Nitpick found a counterexample: \\[2\smallskipamount]
276 Nitpick found a counterexample for \textit{card} $'a$~= 3: \\[2\smallskipamount]
283 Nitpick found a counterexample in which $'a$ has cardinality 3. (For
310 Nitpick found a counterexample for \textit{card} $'a$~= 3: \\[2\smallskipamount]
337 \slshape Nitpick found no counterexample
346 \slshape Nitpick found no counterexample.
371 Nitpick found
[all...]

Completed in 279 milliseconds

1234567891011