| /seL4-mcs-10.1.1/tools/ |
| H A D | circular_includes.py | 72 parser = argparse.ArgumentParser() variable
73 parser.add_argument('--ignore', nargs='+',
75 args = parser.parse_args()
|
| H A D | invocation_header_gen.py | 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'),
169 parser.add_argument('--libsel4', action='store_true',
171 group = parser.add_mutually_exclusive_group()
177 return parser.parse_args()
|
| H A D | syscall_header_gen.py | 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'),
152 result = parser.parse_args()
157 parser.print_help()
|
| H A D | reciprocal.py | 42 parser = argparse.ArgumentParser(description="Generate magic numbers for emulating 64-bit division with multiplication by reciprocal using algorithm from Hacker's Delight, chapter 10.")
43 parser.add_argument("--divisor", type=int,required=True,help="Devisor to calculate magic numbers for")
44 args = parser.parse_args()
|
| H A D | bitfield_gen.py | 2581 parser = optparse.OptionParser() variable
2582 parser.add_option('--c_defs', action='store_true', default=False)
2583 parser.add_option('--environment', action='store', default='sel4',
2585 parser.add_option('--hol_defs', action='store_true', default=False)
2586 parser.add_option('--hol_proofs', action='store_true', default=False)
2587 parser.add_option('--sorry_lemmas', action='store_true',
2589 parser.add_option('--prune', action='append',
2591 parser.add_option('--toplevel', action='append',
2593 parser.add_option('--umm_types', action='store',
2595 parser
[all...] |
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | invocation_header_gen.py | 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'),
169 parser.add_argument('--libsel4', action='store_true',
171 group = parser.add_mutually_exclusive_group()
177 return parser.parse_args()
|
| H A D | syscall_header_gen.py | 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'),
152 result = parser.parse_args()
157 parser.print_help()
|
| H A D | syscall_stub_gen.py | 997 parser = ArgumentParser(description='seL4 System Call Stub Generator.',
1000 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
1002 parser.add_argument("-b", "--buffer", dest="buffer", action="store_true", default=False,
1004 parser.add_argument("-a", "--arch", dest="arch", required=True, choices=WORD_SIZE_BITS_ARCH,
1007 wsizegroup = parser.add_mutually_exclusive_group()
1013 parser.add_argument("files", metavar="FILES", nargs="+",
1016 return parser
1020 parser = process_args()
1021 args = parser.parse_args()
1024 parser
[all...] |
| H A D | bitfield_gen.py | 2581 parser = optparse.OptionParser() variable
2582 parser.add_option('--c_defs', action='store_true', default=False)
2583 parser.add_option('--environment', action='store', default='sel4',
2585 parser.add_option('--hol_defs', action='store_true', default=False)
2586 parser.add_option('--hol_proofs', action='store_true', default=False)
2587 parser.add_option('--sorry_lemmas', action='store_true',
2589 parser.add_option('--prune', action='append',
2591 parser.add_option('--toplevel', action='append',
2593 parser.add_option('--umm_types', action='store',
2595 parser
[all...] |
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 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'),
169 parser.add_argument('--libsel4', action='store_true',
171 group = parser.add_mutually_exclusive_group()
177 return parser.parse_args()
|
| H A D | syscall_header_gen.py | 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'),
152 result = parser.parse_args()
157 parser.print_help()
|
| H A D | syscall_stub_gen.py | 997 parser = ArgumentParser(description='seL4 System Call Stub Generator.',
1000 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
1002 parser.add_argument("-b", "--buffer", dest="buffer", action="store_true", default=False,
1004 parser.add_argument("-a", "--arch", dest="arch", required=True, choices=WORD_SIZE_BITS_ARCH,
1007 wsizegroup = parser.add_mutually_exclusive_group()
1013 parser.add_argument("files", metavar="FILES", nargs="+",
1016 return parser
1020 parser = process_args()
1021 args = parser.parse_args()
1024 parser
[all...] |
| H A D | bitfield_gen.py | 2581 parser = optparse.OptionParser() variable
2582 parser.add_option('--c_defs', action='store_true', default=False)
2583 parser.add_option('--environment', action='store', default='sel4',
2585 parser.add_option('--hol_defs', action='store_true', default=False)
2586 parser.add_option('--hol_proofs', action='store_true', default=False)
2587 parser.add_option('--sorry_lemmas', action='store_true',
2589 parser.add_option('--prune', action='append',
2591 parser.add_option('--toplevel', action='append',
2593 parser.add_option('--umm_types', action='store',
2595 parser
[all...] |
| /seL4-mcs-10.1.1/manual/tools/ |
| H A D | gen_invocations.py | 106 parser = argparse.ArgumentParser(description='Generates doxygen-annotated header '
110 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
113 parser.add_argument("files", metavar="FILES", nargs="+", type=str,
116 parser.add_argument("-d", "--dtd", nargs="?", type=str,
119 return parser
122 parser = process_args()
123 args = parser.parse_args()
|
| H A D | parse_doxygen_xml.py | 543 parser = argparse.ArgumentParser()
545 parser.add_argument("-f", "--format", choices=["latex", "markdown"],
548 parser.add_argument("-i", "--input", dest="input", type=str,
550 parser.add_argument("-o", "--output", dest="output", type=str,
553 parser.add_argument("-l", "--level", type=int,
556 return parser
|