Searched refs:result (Results 76 - 100 of 843) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dmklrtable.sml168 removed as the result of reduce/reduce conflicts. For a shift/reduce
177 k as (pair2 as (T t2,action2)) :: r2,result,errs) =
178 if t1 < t2 then f(r1,k,pair1::result,errs)
179 else if t1 > t2 then f(j,r2,pair2::result,errs)
191 in f(r1,r2,action::result,errs)
193 | f (nil,nil,result,errs) = (rev result,errs)
194 | f (pair1::r,nil,result,errs) = f(r,nil,pair1::result,errs)
195 | f (nil,pair2 :: r,result,err
[all...]
/seL4-l4v-master/HOL4/src/HolSmt/
H A DSolverSpec.sml7 datatype result = SAT of string option (* model, should perhaps be a thm *) type
19 (post : 'a -> string -> result) : Abbrev.goal -> result =
35 (* call 'post' to determine the result *)
36 val result = post x outfile value
41 (case result of
56 case result of
74 result
/seL4-l4v-master/HOL4/src/integer/testing/
H A Dtestdp.sml25 val result = SOME (proc t) handle HOL_ERR _ => NONE value
29 case result of
/seL4-l4v-master/HOL4/src/portableML/
H A DProfile.sml11 datatype 'a result = OK of 'a | Ex of exn
20 val result = OK (f x) handle e => Ex e value
25 (result, (timetaken, timetaken2))
61 val (result, timefx) = time f x value
63 val _ = case result of
71 return result
142 fun output_profile_result outstr result = output_profile_results outstr [result]
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DThread_Data.sml37 val result = Exn.capture (restore_attributes f) x; value
39 in Exn.release result end) ();
H A DPar_Exn.sml12 val is_interrupted: 'a Exn.result list -> bool
13 val release_all: 'a Exn.result list -> 'a list
14 val release_first: 'a Exn.result list -> 'a list
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_header_gen.py139 result = parser.parse_args()
141 if result.kernel_header is None and result.libsel4_header is None:
147 return result
/seL4-l4v-master/seL4/tools/
H A Dsyscall_header_gen.py139 result = parser.parse_args()
141 if result.kernel_header is None and result.libsel4_header is None:
147 return result
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_header_gen.py139 result = parser.parse_args()
141 if result.kernel_header is None and result.libsel4_header is None:
147 return result
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/
H A Dmachine.h86 rdmsr_safe_result_t result; local
100 result.success = returnto != 0;
101 result.value = ((uint64_t)high << 32) | (uint64_t)low;
102 return result;
/seL4-l4v-master/isabelle/src/Pure/Isar/
H A Dparse.scala100 val result = parse(p, in)
101 val rest = proper(result.next)
102 if (result.successful && !rest.atEnd) Error("bad input", rest)
103 else result
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dexn.scala64 def release[A](result: Result[A]): A =
65 result match {
105 val result = capture { body }
107 result match {
H A Dtiming.scala24 val result = Exn.capture(e)
34 Exn.release(result)
/seL4-l4v-master/l4v/isabelle/src/Pure/Isar/
H A Dparse.scala100 val result = parse(p, in)
101 val rest = proper(result.next)
102 if (result.successful && !rest.atEnd) Error("bad input", rest)
103 else result
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dexn.scala64 def release[A](result: Result[A]): A =
65 result match {
105 val result = capture { body }
107 result match {
H A Dtiming.scala24 val result = Exn.capture(e)
34 Exn.release(result)
/seL4-l4v-master/isabelle/src/Pure/Concurrent/
H A Dsynchronized.scala73 val (result, new_state) = f(state)
76 result
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dselftest.sml15 die "Decompilation of loop/example produced unexpected result"
/seL4-l4v-master/l4v/isabelle/src/Pure/Concurrent/
H A Dsynchronized.scala73 val (result, new_state) = f(state)
76 result
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DRandom.sml12 (* random words: 0w0 <= result <= max_word *)
34 (* random integers: 0 <= result < k *)
43 (* random reals: 0.0 <= result < 1.0 *)
/seL4-l4v-master/HOL4/polyml/basis/
H A DNetProtDB.sml35 datatype result = AResult of entry | NoResult type
42 val doCall: string -> result = RunCall.rtsCallFull1 "PolyNetworkGetProtByName"
49 val doCall: int -> result = RunCall.rtsCallFull1 "PolyNetworkGetProtByNo"
/seL4-l4v-master/isabelle/src/HOL/Mirabelle/lib/scripts/
H A Dmirabelle.pl167 my $result = system "bash", "-c", $cmd;
170 my $outcome = ($result ? "failure" : "success");
182 exit ($result ? 1 : 0);
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DRandom.sml12 (* random words: 0w0 <= result <= max_word *)
34 (* random integers: 0 <= result < k *)
43 (* random reals: 0.0 <= result < 1.0 *)
/seL4-l4v-master/l4v/isabelle/src/HOL/Mirabelle/lib/scripts/
H A Dmirabelle.pl167 my $result = system "bash", "-c", $cmd;
170 my $outcome = ($result ? "failure" : "success");
182 exit ($result ? 1 : 0);
/seL4-l4v-master/HOL4/src/metis/
H A Dselftest.sml23 fun normalForms_test (fname, function :conv, problem, result) = let
28 val r_s = padl 10 (term_to_string result);
31 require_msg (check_result (fn tm => (result ~~ (rhs (concl tm)))))

Completed in 124 milliseconds

1234567891011>>