Searched refs:split_heads (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-master/graph-refine/
H A Dsearch.py1728 restr_points = check.split_heads (details)
1853 xs = set ([p.loop_id (h) for h in check.split_heads (split)])
H A Dcheck.py348 def split_heads ((l_details, r_details, eqs, n, _)): function

Completed in 41 milliseconds