Searched refs:itertools (Results 1 - 13 of 13) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
H A D | seven.py | 28 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 D | gen_invocations.py | 18 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 D | stage9.py | 29 from itertools import chain
|
H A D | stage4.py | 34 import itertools namespace 65 for referent in itertools.chain(
|
/seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/ |
H A D | run_tests | 18 import itertools 346 for this_build_config in map(dict, itertools.product(
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 34 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 D | testspec.py | 17 import itertools namespace 233 for x in itertools.count(2):
|
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 41 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 D | bitfield_gen.py | 18 import itertools namespace 1256 return itertools.chain(*(values(d) for d in dicts))
|
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | syscall_stub_gen.py | 41 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 D | bitfield_gen.py | 18 import itertools namespace 1256 return itertools.chain(*(values(d) for d in dicts))
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | objects.py | 33 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 D | bitfield_gen.py | 18 import itertools namespace 1256 return itertools.chain(*(values(d) for d in dicts))
|
Completed in 103 milliseconds