Searched refs:itertools (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/internal/
H A Dseven.py28 import itertools namespace
41 from itertools import ifilter as filter
49 from itertools import imap as map
57 from itertools import izip as zip
/seL4-camkes-master/kernel/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-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage9.py29 from itertools import chain
H A Dstage4.py34 import itertools namespace
65 for referent in itertools.chain(
/seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/
H A Drun_tests18 import itertools
346 for this_build_config in map(dict, itertools.product(
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DContext.py34 import itertools namespace
169 'itertools': itertools,
204 'flatMap': lambda f, xs: list(itertools.chain.from_iterable(map(f, xs))),
205 'flatten': lambda xss: list(itertools.chain.from_iterable(xss)),
/seL4-camkes-master/tools/cogent/regression/
H A Dtestspec.py17 import itertools namespace
233 for x in itertools.count(2):
/seL4-camkes-master/kernel/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-camkes-master/kernel/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-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py33 import itertools namespace
261 for inf in itertools.chain(i.type.consumes, i.type.dataports,
265 for end in itertools.chain(conn.from_ends, conn.to_ends):
/seL4-camkes-master/kernel/tools/
H A Dbitfield_gen.py18 import itertools namespace
1256 return itertools.chain(*(values(d) for d in dicts))

Completed in 103 milliseconds