/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 38 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 D | run-test-suite.py | 9 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 D | cogent.vim | 32 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 D | stage3.py | 37 import re namespace 859 assert all(map(re.compile(r'\w+$').match, LIFT)), 'illegal character in ' \
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | api.tex | 98 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
|
H A D | cspace.tex | 256 re-use.
|
H A D | threads.tex | 524 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 D | filterProgScript.sml | 16 (* The regexp wrt. which we're filtering *)
|
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 17 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 D | bitfield_gen.py | 17 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 D | bitfield_gen.py | 17 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 D | doc.tex | 1525 % \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 D | configure | 138 # 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 D | ltmain.sh | 579 # 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 D | configure | 138 # 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 D | ltmain.sh | 579 # 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 D | configure | 138 # 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...] |