/seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
H A D | smlTimeout.sig | 7 val timeout : real -> ('a -> 'b) -> 'a -> 'b value
|
H A D | smlTimeout.sml | 44 fun timeout t f x = timeLimit (Time.fromReal t) f x function 49 SOME (fst (timeout t (TC_OFF tac) g)) 57 timeout 5.0 loop ();
|
/seL4-l4v-master/seL4/src/drivers/timer/ |
H A D | am335x-timer.c | 97 int timeout; local 108 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--); 110 if (!timeout) { 136 int timeout; local 143 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--) 145 if (!timeout) { [all...] |
/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/ |
H A D | Timeout.sml | 1 (* Title: Pure/Concurrent/timeout.ML 4 Execution with (relative) timeout. 18 fun apply timeout f x = 25 Event_Timer.request (start + timeout)
|
/seL4-l4v-master/HOL4/examples/AI_tasks/TPTP/ |
H A D | vampire.sh | 9 timeout 60 ./vampire_v4.2.2_noz3 --time_limit 60 --proof tptp --output_axiom_names on $1 | grep "file[(]'\| SZS" > $OUT1
|
H A D | vampire_casc.sh | 9 timeout 60 ./vampire_v4.2.2_noz3 --mode casc --time_limit 60 --proof tptp --output_axiom_names on $1 | grep "file[(]'\| SZS" > $OUT1
|
H A D | eprover.sh | 9 timeout 60 ./eprover_v2.4 -s --auto --cpu-limit=60 --tptp3-in \
|
H A D | eprover_schedule.sh | 9 timeout 60 ./eprover_v2.4 -s --cpu-limit=60 --auto-schedule --tptp3-in \
|
/seL4-l4v-master/isabelle/src/Pure/Concurrent/ |
H A D | mailbox.scala | 24 def receive(timeout: Option[Time] = None): List[A] = 25 (mailbox.timed_access(_ => timeout.map(t => Time.now() + t),
|
H A D | synchronized.scala | 48 val timeout = (t - Time.now()).ms 49 if (timeout > 0L) { 50 wait(timeout)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Concurrent/ |
H A D | mailbox.scala | 24 def receive(timeout: Option[Time] = None): List[A] = 25 (mailbox.timed_access(_ => timeout.map(t => Time.now() + t),
|
H A D | synchronized.scala | 48 val timeout = (t - Time.now()).ms 49 if (timeout > 0L) { 50 wait(timeout)
|
/seL4-l4v-master/HOL4/src/holyhammer/provers/ |
H A D | vampire.sh | 11 timeout $1 ./vampire --time_limit $1 --proof tptp --output_axiom_names on $IN 2> $ERROR \
|
H A D | z3.sh | 12 timeout $1 ./z3 -tptp DISPLAY_UNSAT_CORE=true ELIM_QUANTIFIERS=true PULL_NESTED_QUANTIFIERS=true \
|
H A D | eprover.sh | 13 timeout $1 ./eprover -s --cpu-limit=$1 --auto-schedule --tptp3-in \
|
/seL4-l4v-master/isabelle/src/Pure/System/ |
H A D | process_result.scala | 13 timeout: Boolean = false, 21 def was_timeout: Process_Result = copy(rc = 1, timeout = true)
|
/seL4-l4v-master/isabelle/src/HOL/Mirabelle/lib/Tools/ |
H A D | mirabelle | 25 timeout="$MIRABELLE_TIMEOUT" 36 echo " -t TIMEOUT timeout for each action in seconds (default $timeout)"
|
/seL4-l4v-master/l4v/isabelle/src/Pure/System/ |
H A D | process_result.scala | 13 timeout: Boolean = false, 21 def was_timeout: Process_Result = copy(rc = 1, timeout = true)
|
/seL4-l4v-master/l4v/isabelle/src/HOL/Mirabelle/lib/Tools/ |
H A D | mirabelle | 25 timeout="$MIRABELLE_TIMEOUT" 36 echo " -t TIMEOUT timeout for each action in seconds (default $timeout)"
|
/seL4-l4v-master/HOL4/src/integer/testing/ |
H A D | tcooper.c | 25 int timeout = argc > 3 ? atoi(argv[3]) : 5; local 28 fprintf(stderr, "Usage: %s dp-program logfile [timeout]\n", argv[0]); 32 if (timeout <= 0) { 85 tv.tv_sec = timeout;
|
/seL4-l4v-master/isabelle/src/HOL/Mirabelle/lib/scripts/ |
H A D | mirabelle.pl | 17 my $timeout = $ENV{'MIRABELLE_TIMEOUT'}; 87 Config.put_global Mirabelle.timeout $timeout #>
|
/seL4-l4v-master/l4v/isabelle/src/HOL/Mirabelle/lib/scripts/ |
H A D | mirabelle.pl | 17 my $timeout = $ENV{'MIRABELLE_TIMEOUT'}; 87 Config.put_global Mirabelle.timeout $timeout #>
|
/seL4-l4v-master/l4v/misc/regression/ |
H A D | testspec.py | 28 self.timeout = 0 34 'timeout': lambda self, timeout: timeout, 39 __slots__ = 'base_dir', 'cwd', 'timeout', 'cpu_timeout', 'depends' 51 """Parse attributes such as "timeout" in the given XML tag, 62 parse_attr("timeout", "timeout", int) 63 parse_attr("cpu_timeout", "cpu-timeout", float) 72 'name', 'command', 'cwd', 'timeout', 'cpu_timeou [all...] |
/seL4-l4v-master/isabelle/src/HOL/Tools/ATP/scripts/ |
H A D | remote_atp | 98 $Agent->timeout($Options{'t'} + 15);
|
/seL4-l4v-master/l4v/isabelle/src/HOL/Tools/ATP/scripts/ |
H A D | remote_atp | 98 $Agent->timeout($Options{'t'} + 15);
|