Searched refs:summaries (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile.py82 summaries = [i for (i, l) in enumerate (last_lines) if l.strip() == 'Summary'] variable
83 if not summaries:
92 for l in [''] + last_lines[summaries[-1]:]:
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml518 val summaries = map loop_body_tail loops value
524 val zs = map clean_tails summaries

Completed in 90 milliseconds