Searched refs:re (Results 51 - 67 of 67) sorted by relevance

123

/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DContext.py38 orderedset, os, pdb, re, six, sys, textwrap, math namespace
176 're': re,
221 re.sub(r'\((.*)\)', r'_\1', name)),
395 func to get a value. In either event re-stash the resulting value under the
420 '''Guarded allocation of an object. That is, if the object we're trying to
/seL4-camkes-master/tools/cogent/cogent/tests/
H A Drun-test-suite.py9 import re namespace
236 if re.compile(r'^\s*--dist-dir').match(flag):
499 # If we're only running specific tests
/seL4-camkes-master/tools/cogent/cogent/misc/
H A Dcogent.vim32 syn region cogentTakePut start="{\|#{"rs=s end="}"re=e containedin=cogentDefinition contained contains=cogentLineComment,cogentBlockComment,cogentBoolean,cogentSpecialChar,cogentCharacter,cogentString,cogentNumber,cogentOperator,cogentBar,cogentCaseArr,cogentSemiColon,cogentComma,cogentKeyword,cogentTypeId,cogentTakePut,cogentOpenBrace,cogentCloseBrace,cogentLetBang transparent
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage3.py37 import re namespace
859 assert all(map(re.compile(r'\w+$').match, LIFT)), 'illegal character in ' \
/seL4-camkes-master/kernel/manual/parts/
H A Dapi.tex98 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
H A Dcspace.tex256 re-use.
H A Dthreads.tex524 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until
/seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/
H A DfilterProgScript.sml16 (* The regexp wrt. which we're filtering *)
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py17 import re namespace
2767 search_re = re.compile('[a-zA-Z0-9_]+')
2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
/seL4-camkes-master/kernel/libsel4/tools/
H A Dbitfield_gen.py17 import re namespace
2767 search_re = re.compile('[a-zA-Z0-9_]+')
2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
/seL4-camkes-master/kernel/tools/
H A Dbitfield_gen.py17 import re namespace
2767 search_re = re.compile('[a-zA-Z0-9_]+')
2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex1525 % \item Shareable values ($\intu{\primtype{T}}$) are never present in the same context as their linear equivalents. We might be able to get away with saying they're never in an execution context at all, as they're only introduced by let!.
1527 % \item Update semantics properties. Not sure these would be necessary to relate the two semantics, as they're stronger statements (\emph{all} data, not just data I'm accessing right now). Still, it'd be nice to generate proofs of this, because it shows that the C is not only correct with respect to its results but also in terms of memory management (in particular, freeing stuff).
/seL4-camkes-master/tools/riscv-pk/
H A Dconfigure138 # into an infinite loop, continuously re-executing ourselves.
157 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
258 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
491 # If we had to re-execute with $CONFIG_SHELL, we're ensured to have
927 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
5121 -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
5778 # effectively closing config.log, so it can be properly (re)opened and
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dltmain.sh579 # If we're not in dry-run mode, bomb out on failure
1434 # but don't create it if we're doing a dry run.
6077 need_relink=no # whether we're linking any uninstalled libtool libraries
6376 # If there is no dlopen support or we're linking statically,
6490 # If there is no dlname, no dlopen support or we're linking
6852 # Try looking first in the location we're being installed to.
6925 # Try looking first in the location we're being installed to.
6959 # We're trying link a shared library against a static one
8653 # If we're not building shared, we need to use non_pic_objs
H A Dconfigure138 # into an infinite loop, continuously re-executing ourselves.
157 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
266 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
499 # If we had to re-execute with $CONFIG_SHELL, we're ensured to have
1009 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
2948 to "yes", and re-run configure.
3886 # Copy depcomp to subdir because otherwise we won't find it if we're
5221 # If you have `file' or equivalent on your system and you're not sure
6080 # If we're usin
[all...]
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Dltmain.sh579 # If we're not in dry-run mode, bomb out on failure
1434 # but don't create it if we're doing a dry run.
6077 need_relink=no # whether we're linking any uninstalled libtool libraries
6376 # If there is no dlopen support or we're linking statically,
6490 # If there is no dlname, no dlopen support or we're linking
6852 # Try looking first in the location we're being installed to.
6925 # Try looking first in the location we're being installed to.
6959 # We're trying link a shared library against a static one
8653 # If we're not building shared, we need to use non_pic_objs
/seL4-camkes-master/tools/rumprun/tests/configure/
H A Dconfigure138 # into an infinite loop, continuously re-executing ourselves.
157 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
266 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
499 # If we had to re-execute with $CONFIG_SHELL, we're ensured to have
1020 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
3070 to "yes", and re-run configure.
4027 # Copy depcomp to subdir because otherwise we won't find it if we're
4412 # Copy depcomp to subdir because otherwise we won't find it if we're
5787 # If you have `file' or equivalent on your system and you're no
[all...]

Completed in 207 milliseconds

123