Searched refs:terminate (Results 1 - 25 of 62) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DregexpMisc.sml4 fun succeed() = OS.Process.terminate OS.Process.success
5 fun fail() = OS.Process.terminate OS.Process.failure;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgctaskfarm.h74 bool terminate; // Set to true to kill all workers. member in class:GCTaskFarm
H A Dgctaskfarm.cpp60 terminate = false;
79 terminate = false;
118 terminate = true;
121 // Wait for the threads to terminate.
168 while (! terminate) {
213 if (terminate) return;
H A Dsighandler.cpp145 static bool terminate = false; variable
524 if (! waitSema->Wait() || terminate) return 0;
577 terminate = true;
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DStream.sig29 (* Stream versions of standard list operations: these should all terminate *)
59 (* Stream versions of standard list operations: these might not terminate *)
H A DStream.sml38 (* Stream versions of standard list operations: these should all terminate *)
97 (* Stream versions of standard list operations: these might not terminate *)
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibStream.sig19 (* mlibStream versions of standard list operations: these should all terminate *)
34 (* mlibStream versions of standard list operations: these might not terminate *)
H A DmlibStream.sml28 (* mlibStream versions of standard list operations: these should all terminate *)
85 (* mlibStream versions of standard list operations: these might not terminate *)
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Dbash.scala53 case Some(limit) if count > limit => proc.terminate
127 def terminate()
137 private val shutdown_hook = new Thread { override def run = terminate() }
200 catch { case Exn.Interrupt() => terminate(); Exn.Interrupt.return_code }
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DStream.sig29 (* Stream versions of standard list operations: these should all terminate. *)
60 (* Stream versions of standard list operations: these might not terminate. *)
H A DStream.sml34 (* Stream versions of standard list operations: these should all terminate. *)
96 (* Stream versions of standard list operations: these might not terminate. *)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Dbash.scala53 case Some(limit) if count > limit => proc.terminate
127 def terminate()
137 private val shutdown_hook = new Thread { override def run = terminate() }
200 catch { case Exn.Interrupt() => terminate(); Exn.Interrupt.return_code }
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DStream.sig29 (* Stream versions of standard list operations: these should all terminate. *)
60 (* Stream versions of standard list operations: these might not terminate. *)
H A DStream.sml34 (* Stream versions of standard list operations: these should all terminate. *)
96 (* Stream versions of standard list operations: these might not terminate. *)
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/regular-play/test/
H A Dperformance.sml77 else OS.Process.terminate OS.Process.failure;
86 else OS.Process.terminate OS.Process.success;
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Dprover.scala111 try { process.terminate }
113 case exn @ ERROR(_) => system_output("Failed to terminate prover process: " + exn.getMessage)
166 def terminate()
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Dprover.scala111 try { process.terminate }
113 case exn @ ERROR(_) => system_output("Failed to terminate prover process: " + exn.getMessage)
166 def terminate()
/seL4-l4v-10.1.1/HOL4/examples/pgcl/src/
H A DposrealTools.sml181 fun terminate is_op rid tm = function
182 (if is_op tm then RAND_CONV (terminate is_op rid)
209 THENC terminate is_op rid
/seL4-l4v-10.1.1/HOL4/examples/fun-op-sem/for/
H A Dfor_ndScript.sml55 (* What is observable about program behaviour. A program can terminate
/seL4-l4v-10.1.1/HOL4/examples/computability/lambda/
H A DrecsetsScript.sml127 elements of the set (and fails to terminate on non-members)
130 will correctly terminate on element e of s.
133 this list, see if one of them is equal to e. If so, terminate.
221 (* other direction: that if our enum2semi function does terminate on an
320 (* yet another K - this one is the set of machines that terminate when
H A DHaltingProblemsScript.sml95 to arbitrary argument will terminate. *)
/seL4-l4v-10.1.1/HOL4/examples/fun-op-sem/cbv-lc/
H A DtypesScript.sml3 * terminate. *)
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dssh.scala271 def terminate()
281 catch { case Exn.Interrupt() => terminate(); Exn.Interrupt.return_code }
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DIntInf.sml59 terminate. *)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dssh.scala271 def terminate()
281 catch { case Exn.Interrupt() => terminate(); Exn.Interrupt.return_code }

Completed in 116 milliseconds

123