Searched refs:itertools (Results 1 - 8 of 8) sorted by last modified time

/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py41 import itertools namespace
811 stripped_head = list(itertools.dropwhile(lambda s: not s, stripped_lines))
812 stripped_tail = itertools.dropwhile(lambda s: not s, reversed(stripped_head))
H A Dbitfield_gen.py18 import itertools namespace
1256 return itertools.chain(*(values(d) for d in dicts))
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_stub_gen.py41 import itertools namespace
811 stripped_head = list(itertools.dropwhile(lambda s: not s, stripped_lines))
812 stripped_tail = itertools.dropwhile(lambda s: not s, reversed(stripped_head))
H A Dbitfield_gen.py18 import itertools namespace
1256 return itertools.chain(*(values(d) for d in dicts))
/seL4-l4v-master/seL4/tools/
H A Dbitfield_gen.py18 import itertools namespace
1256 return itertools.chain(*(values(d) for d in dicts))
/seL4-l4v-master/seL4/manual/tools/
H A Dgen_invocations.py18 import itertools namespace
34 arch_types = list(itertools.chain(*syscall_stub_gen.init_arch_types(WORD_SIZE).values()))
79 for interface_name, methods in itertools.groupby(methods, lambda x: x[0]):
/seL4-l4v-master/graph-refine/
H A Dsolver.py1425 import itertools namespace
1426 return itertools.chain (vs, itertools.starmap (add,
1427 itertools.repeat ([])))
H A Dsearch.py23 import itertools namespace
881 (x, y) = itertools.tee (v[0])
916 (x, y) = itertools.tee (r)

Completed in 96 milliseconds