/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | mklrtable.sml | 168 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 D | SolverSpec.sml | 7 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 D | testdp.sml | 25 val result = SOME (proc t) handle HOL_ERR _ => NONE value 29 case result of
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Profile.sml | 11 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 D | Thread_Data.sml | 37 val result = Exn.capture (restore_attributes f) x; value 39 in Exn.release result end) ();
|
H A D | Par_Exn.sml | 12 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 D | syscall_header_gen.py | 139 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 D | syscall_header_gen.py | 139 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 D | syscall_header_gen.py | 139 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 D | machine.h | 86 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 D | parse.scala | 100 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 D | exn.scala | 64 def release[A](result: Result[A]): A = 65 result match { 105 val result = capture { body } 107 result match {
|
H A D | timing.scala | 24 val result = Exn.capture(e) 34 Exn.release(result)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Isar/ |
H A D | parse.scala | 100 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 D | exn.scala | 64 def release[A](result: Result[A]): A = 65 result match { 105 val result = capture { body } 107 result match {
|
H A D | timing.scala | 24 val result = Exn.capture(e) 34 Exn.release(result)
|
/seL4-l4v-master/isabelle/src/Pure/Concurrent/ |
H A D | synchronized.scala | 73 val (result, new_state) = f(state) 76 result
|
/seL4-l4v-master/HOL4/examples/machine-code/graph/ |
H A D | selftest.sml | 15 die "Decompilation of loop/example produced unexpected result"
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Concurrent/ |
H A D | synchronized.scala | 73 val (result, new_state) = f(state) 76 result
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Random.sml | 12 (* 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 D | NetProtDB.sml | 35 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 D | mirabelle.pl | 167 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 D | Random.sml | 12 (* 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 D | mirabelle.pl | 167 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 D | selftest.sml | 23 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)))))
|