Searched refs:timeout (Results 26 - 41 of 41) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/examples/fun-op-sem/for/
H A Dfor_nd_semScript.sml269 (* Crash when there is a clock that gives a non-value, non-timeout
287 (* Crash when there is a clock that gives a non-value, non-timeout
H A Dfor_nd_compileScript.sml619 (* Crash when there is a clock that gives a non-value, non-timeout
H A DforScript.sml920 (* simple_sem_t_reln implies there exists a clock for sem_t that does not timeout *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dnetwork.cpp1166 case 64: /* Blocking select call. Infinite timeout. */
1169 case 65: /* Polling select call. Zero timeout. */
1172 case 66: /* Select call with non-zero timeout. */
1388 struct timeval timeout; local
1417 /* Whatever the timeout specified we simply poll here. */
1418 memset(&timeout, 0, sizeof(timeout));
1419 selectRes = select(FD_SETSIZE, &readers, &writers, &excepts, &timeout);
1422 if (selectRes == 0) { /* Timed out. Have to look at the timeout value. */
1425 case 0: /* Check the timeout
[all...]
H A Dxwindows.cpp565 TimeVal timeout; /* here */ member in struct:T_List_struct
3684 int timeout,interval,blanking,exposures; local
3687 XGetScreenSaver(d,&timeout,&interval,&blanking,&exposures);
3692 data->Set(0, DEREFWORD(Make_int(timeout)));
4541 TList->expired = TimeLeq(&TList->timeout,&now);
4573 TimeAdd(&now,&dt,&newp->timeout);
4581 if (TimeLt(&newp->timeout,&(*tail)->timeout)) break;
4679 TimeAdd(&now,&dt,&newp->timeout);
4687 if (TimeLt(&newp->timeout,
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dserver_commands.scala87 "timeout" -> result.timeout,
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dserver_commands.scala87 "timeout" -> result.timeout,
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DSocket.sml101 { rds: sock_desc list, wrs : sock_desc list, exs : sock_desc list, timeout: Time.time option } ->
638 (* The time parameter for a wait is the absolute time when the timeout expires. *)
642 fun select { rds: sock_desc list, wrs : sock_desc list, exs : sock_desc list, timeout: Time.time option } :
653 case timeout of
/seL4-l4v-10.1.1/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex332 \item[\labelitemi] \textbf{\textit{timeout}} (\S\ref{timeouts}) controls the
591 automatic provers. The prover to use and its timeout can be set using the
592 \textit{prover} (\S\ref{mode-of-operation}) and \textit{timeout}
611 \textbf{sledgehammer} [\textit{isar\_proofs}, \,\textit{timeout} = 120]
641 (\S\ref{output-format}) are disabled, and \textit{timeout} (\S\ref{timeouts}) is
928 each time but fewer and fewer facts. According to benchmarks with a timeout of
1278 \item[\labelitemi] \textbf{\textit{timeout}:} Sledgehammer timed out.
1287 {\small See also \textit{timeout} (\S\ref{timeouts}).}
1295 \opdefault{timeout}{float}{\upshape 30}
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex332 \item[\labelitemi] \textbf{\textit{timeout}} (\S\ref{timeouts}) controls the
591 automatic provers. The prover to use and its timeout can be set using the
592 \textit{prover} (\S\ref{mode-of-operation}) and \textit{timeout}
611 \textbf{sledgehammer} [\textit{isar\_proofs}, \,\textit{timeout} = 120]
641 (\S\ref{output-format}) are disabled, and \textit{timeout} (\S\ref{timeouts}) is
928 each time but fewer and fewer facts. According to benchmarks with a timeout of
1278 \item[\labelitemi] \textbf{\textit{timeout}:} Sledgehammer timed out.
1287 {\small See also \textit{timeout} (\S\ref{timeouts}).}
1295 \opdefault{timeout}{float}{\upshape 30}
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml123 fun wait_timeout timeout cond = (*requires SYNCHRONIZED*)
124 Multithreading.sync_wait (SOME (Time.now () + timeout)) cond lock;
/seL4-l4v-10.1.1/isabelle/src/Doc/Nitpick/document/
H A Droot.tex1733 \textbf{nitpick\_params} [\textit{verbose}, \,\textit{timeout} = 60]
1750 (\S\ref{optimizations}) is taken to be 1, and \textit{timeout}
2368 \textit{timeout} (\S\ref{timeouts}).}
2375 \opdefault{timeout}{float}{\upshape 30}
2614 $\textbf{val}\,~\textit{params} = \textit{Nitpick\_Isar.default\_params}~\textit{thy}~[(\textrm{``}\textrm{timeout\/}\textrm{''},\, \textrm{``}\textrm{none}\textrm{''})]$ \\
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Nitpick/document/
H A Droot.tex1733 \textbf{nitpick\_params} [\textit{verbose}, \,\textit{timeout} = 60]
1750 (\S\ref{optimizations}) is taken to be 1, and \textit{timeout}
2368 \textit{timeout} (\S\ref{timeouts}).}
2375 \opdefault{timeout}{float}{\upshape 30}
2614 $\textbf{val}\,~\textit{params} = \textit{Nitpick\_Isar.default\_params}~\textit{thy}~[(\textrm{``}\textrm{timeout\/}\textrm{''},\, \textrm{``}\textrm{none}\textrm{''})]$ \\
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dsessions.scala501 def timeout: Time = Time.seconds(options.real("timeout") * options.real("timeout_scale"))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dsessions.scala501 def timeout: Time = Time.seconds(options.real("timeout") * options.real("timeout_scale"))
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttSearch.sml862 | SearchTimeOut => (debug "proof: timeout"; ProofTimeOut)

Completed in 239 milliseconds

12