| /seL4-l4v-10.1.1/seL4/tools/ |
| H A D | circular_includes.py | 21 import argparse namespace
72 parser = argparse.ArgumentParser()
|
| H A D | invocation_header_gen.py | 18 import argparse namespace
163 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
165 parser.add_argument('--xml', type=argparse.FileType('r'),
167 parser.add_argument('--dest', type=argparse.FileType('w'),
|
| H A D | syscall_header_gen.py | 18 import argparse namespace
143 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
145 parser.add_argument('--xml', type=argparse.FileType('r'),
147 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
149 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
|
| /seL4-l4v-10.1.1/seL4/libsel4/tools/ |
| H A D | invocation_header_gen.py | 18 import argparse namespace
163 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
165 parser.add_argument('--xml', type=argparse.FileType('r'),
167 parser.add_argument('--dest', type=argparse.FileType('w'),
|
| H A D | syscall_header_gen.py | 18 import argparse namespace
143 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
145 parser.add_argument('--xml', type=argparse.FileType('r'),
147 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
149 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
|
| H A D | syscall_stub_gen.py | 49 from argparse import ArgumentParser
|
| /seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 18 import argparse namespace
163 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
165 parser.add_argument('--xml', type=argparse.FileType('r'),
167 parser.add_argument('--dest', type=argparse.FileType('w'),
|
| H A D | syscall_header_gen.py | 18 import argparse namespace
143 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
145 parser.add_argument('--xml', type=argparse.FileType('r'),
147 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
149 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
|
| H A D | syscall_stub_gen.py | 49 from argparse import ArgumentParser
|
| /seL4-l4v-10.1.1/l4v/misc/filemerge/faster/ |
| H A D | make_tables.py | 13 import argparse, os, sys namespace
21 parser = argparse.ArgumentParser(
23 parser.add_argument('--output', '-o', type=argparse.FileType('w'),
|
| /seL4-l4v-10.1.1/l4v/spec/cspec/ |
| H A D | mk_umm_types.py | 18 import argparse namespace
36 parser = argparse.ArgumentParser(
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | decompile.py | 3 import argparse namespace
8 parser = argparse.ArgumentParser(description='Decompile an ELF file.')
|
| /seL4-l4v-10.1.1/l4v/misc/scripts/ |
| H A D | thydeps | 22 import argparse
109 parser = argparse.ArgumentParser(
|
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | convert_loop_bounds.py | 93 import argparse namespace
94 parser = argparse.ArgumentParser()
|
| /seL4-l4v-10.1.1/seL4/manual/tools/ |
| H A D | gen_invocations.py | 21 import argparse namespace
106 parser = argparse.ArgumentParser(description='Generates doxygen-annotated header '
|
| H A D | parse_doxygen_xml.py | 18 import argparse namespace
543 parser = argparse.ArgumentParser()
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/ |
| H A D | stats.py | 15 import argparse namespace
111 parser = argparse.ArgumentParser(
|
| /seL4-l4v-10.1.1/l4v/misc/git-commit-emails/ |
| H A D | commit-email.py | 23 import argparse namespace
245 parser = argparse.ArgumentParser(
|
| /seL4-l4v-10.1.1/l4v/misc/regression/ |
| H A D | testspec.py | 14 import argparse namespace
304 parser = argparse.ArgumentParser(description="Regression Framework Testspec Parser")
|
| H A D | run_tests.py | 18 import argparse namespace
408 parser = argparse.ArgumentParser(description="Parallel Regression Framework",
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/ |
| H A D | release.py | 12 import argparse namespace
103 parser = argparse.ArgumentParser(
|