/seL4-camkes-master/projects/musllibc/src/math/i386/ |
H A D | log.s | 1 .global log 2 .type log,@function 3 log: label
|
/seL4-camkes-master/projects/musllibc/src/math/i386_sel4/ |
H A D | log.s | 1 .global log 2 .type log,@function 3 log: label
|
/seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
H A D | log.py | 24 log = logging.getLogger('CAmkES') variable 29 log.setLevel(logging.CRITICAL + 1) 31 log.setLevel(logging.INFO) 33 log.setLevel(logging.DEBUG) 35 log.setLevel(logging.WARNING) 38 def info(msg): log.info(msg) 39 def warning(msg): log.warning(msg) 40 def error(msg): log.error(msg) 41 def debug(msg): log.debug(msg) 42 def exception(msg): log [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/ |
H A D | kernel_logging.c | 17 kernel_logging_sync_log(kernel_log_entry_t log[], unsigned int n) argument
|
/seL4-camkes-master/projects/musllibc/src/complex/ |
H A D | clog.c | 5 /* log(z) = log(|z|) + i arg(z) */ 13 return CMPLX(log(r), phi);
|
H A D | catan.c | 42 * Im w = - log(------------) 112 w = w + (0.25 * log(a)) * I;
|
/seL4-camkes-master/projects/musllibc/src/math/ |
H A D | acosh.c | 8 /* acosh(x) = log(x + sqrt(x*x-1)) */ 21 return log(2*x - 1/(x+sqrt(x*x-1))); 23 return log(x) + 0.693147180559945309417232121458176568;
|
H A D | asinh.c | 3 /* asinh(x) = sign(x)*log(|x|+sqrt(x*x+1)) ~= x - x^3/6 + o(x^5) */ 16 x = log(x) + 0.693147180559945309417232121458176568; 19 x = log(2*x + 1/(sqrt(x*x+1)+x));
|
H A D | tgamma.c | 196 /* lgamma(x) ~ -log(|x|) for tiny |x| */ 199 return -log(absx); 206 return log(fabs(x)); 209 /* second term (log(S)-g) could be more precise here.. */ 210 /* or with stirling: (|x|-0.5)*(log(|x|)-1) + poly(1/|x|) */ 211 r = (absx-0.5)*(log(absx+gmhalf)-1) + (log(S(absx)) - (gmhalf+0.5)); 216 r = log(pi/(fabs(x)*absx)) - r;
|
H A D | logl.c | 36 * log(1+x) = x - 0.5 x**2 + x**3 P(x)/Q(x). 40 * log(x) = log(1+z/2) - log(1-z/2) = z + z**3 P(z)/Q(z). 60 return log(x); 63 /* Coefficients for log(1+x) = x - x**2/2 + x**3 P(x)/Q(x) 86 /* Coefficients for log(x) = z + z^3 P(z^2)/Q(z^2), 129 /* logarithm using log(x) = z + z**3 P(z)/Q(z), 151 /* logarithm using log(1+x) = x - .5x**2 + x**3 P(x)/Q(x) */ 173 return log( [all...] |
H A D | lgamma_r.c | 21 * lgamma(1+s) = log(s) + lgamma(s) 23 * lgamma(7.3) = log(6.3) + lgamma(6.3) 24 * = log(6.3*5.3) + lgamma(5.3) 25 * = log(6.3*5.3*4.3*3.3*2.3) + lgamma(2.3) 49 * lgamma(x)~(x-0.5)log(x)-x+0.5*log(2pi)+1/(12x)-1/(360x**3)+.... 51 * lgamma(x)~(x-0.5)*(log(x)-1)-.5*(log(2pi)-1) + ...) 53 * f(z) = lgamma(x) - (x-0.5)(log(x)-1) 66 * lgamma(x) = log(|Gamm [all...] |
/seL4-camkes-master/projects/picotcp/test/ |
H A D | perf.sh | 6 (iperf -s >/tmp/iperf.log)& 9 RES=`cat /tmp/iperf.log |grep Mbits |sed -e "s/.*Bytes//g" |sed -e "s/^[ ]*//g"` 25 rm -f /tmp/iperf.log
|
/seL4-camkes-master/tools/cogent/cogent/doc/ |
H A D | Makefile | 10 rm -f *.aux *.blg *.out *.bbl *.log
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | __main__.py | 22 import camkes.internal.log as log namespace 34 log.error(line) 36 log.error(message) 39 log.debug('\n --- Python traceback ---\n%s ------------------------\n' % tb) 96 log.set_verbosity(options.verbosity)
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/ci/ |
H A D | build_cmake.sh | 88 ctest -T memcheck | tee memcheck.log 95 cat memcheck.log | grep "Memory Leak" > /dev/null
|
/seL4-camkes-master/projects/capdl/capDL-tool/doc/tex/ |
H A D | Makefile | 19 rm -f *.log
|
/seL4-camkes-master/kernel/tools/ |
H A D | lex.py | 582 def __init__(self, ldict, log=None, reflags=0): 591 if log is None: 592 self.log = PlyLogger(sys.stderr) 594 self.log = log 614 self.log.error("No token list is defined") 619 self.log.error("tokens must be a list or tuple") 624 self.log.error("tokens is empty") 635 self.log.error("Bad token name '%s'", n) 638 self.log [all...] |
/seL4-camkes-master/kernel/manual/ |
H A D | Makefile | 232 rm -f *.aux *.toc *.bbl *.blg *.dvi *.log *.pstex* *.eps *.cb *.brf \ 233 *.out *.ps *-diff.tex *.mps .log *.pdf *.tgz *~ *.lof *.lot env.tex 276 $(LaTeX) $$i.tex >>.log; \ 298 ${Q}$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi 299 ${Q}if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* > /dev/null && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi 300 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 34 import camkes.internal.log as log namespace 65 log.error(line) 67 log.error(message) 70 log.debug('\n --- Python traceback ---\n%s ------------------------\n' % tb) 214 log.set_verbosity(options.verbosity) 237 log.warning('attribute %s.%s has type string but is ' 242 log.warning('attribute %s.%s has type int but is set '
|
/seL4-camkes-master/projects/musllibc/ |
H A D | Makefile | 71 ${SOURCE_DIR}/configure ${configure_line} 2>&1 > config.log || cat config.log && sed -ibak 's/^ARCH = \(.*\)/ARCH = \1_sel4/' config.mak || true
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/ |
H A D | Makefile.in | 196 am__copy_in_global_log_rx = ^[ ]*:copy-in-global-log:[ ]* 206 if ((getline line2 < ($$0 ".log")) < 0) \ 223 close ($$0 ".log"); \ 226 # standard input, create the global log from their .trs and .log files. 260 while ((rc = (getline line < ($$0 ".log"))) != 0) \ 263 fatal("failed to read from " $$0 ".log"); \ 269 close ($$0 ".log"); \ 283 # directory for the log if needed. Stores in $dir the directory 284 # containing $f, in $tst the test, in $log th [all...] |
/seL4-camkes-master/tools/cogent/regression/ |
H A D | run_tests.py | 107 # Return a tuple of (success, log, time_taken, memory_usage). 110 # log is output to stdout where we can't easily get to it. 318 (passed, status, log, time_taken, mem) = run_test(t, verbose=args.verbose) 323 failed_test_log.append((t.name, log, time_taken)) 332 for (failed_test, log, _) in failed_test_log: 336 log = log.rstrip("\n") + "\n" 337 lines = log.split("\n")
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | test-driver | 45 test-driver --test-name=NAME --log-file=PATH --trs-file=PATH 49 The '--test-name', '--log-file' and '--trs-file' options are mandatory. 64 --log-file) log_file=$2; shift;; 78 test x"$log_file" = x && missing_opts="$missing_opts --log-file" 129 echo ":copy-in-global-log: $gcopy" >> $trs_file
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | whence.py | 36 def log(self, subdir): member in class:GitRepo 38 return reversed(subprocess.check_output(['git', 'log', '--pretty=tformat:%H', '.'], 81 commits = list(upstream.log(opts.upstream_subdir))
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/ |
H A D | kernel_logging.h | 31 /* Copies up to n entries from the kernel's internal log to the specified array, 34 unsigned int kernel_logging_sync_log(kernel_log_entry_t log[], unsigned int n); 36 /* Returns the key field of a log entry. */ 46 /* Sets the key field of a log entry to a given value. */ 54 /* Returns the data field of a log entry. */ 64 /* Sets the data field of a log entry to a given value. */ 72 /* Resets the log buffer to contain no entries. */
|