Searched refs:get_node_pc_env (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/graph-refine/ |
H A D | rep_graph.py | 251 x_pc_env = rep.get_node_pc_env (xvis[0], tag = xvis[1]) 252 y_pc_env = rep.get_node_pc_env (yvis[0], tag = yvis[1]) 361 def get_node_pc_env (self, (n, vcount), tag = None, request = True): member in class:GraphSlice 410 self.get_node_pc_env (n_vc, tag, request = False) 416 prev_pc_env = self.get_node_pc_env ((split, vcount2)) 598 if self.get_node_pc_env ((n, vcount), request = False) == None: 643 (pc, env) = self.get_node_pc_env (n, request = False) 738 (_, env) = self.get_node_pc_env (n_vc_y, tag_y) 809 self.get_node_pc_env (cont, tag = tag) 1043 pc_env = self.get_node_pc_env (( [all...] |
H A D | check.py | 101 r = rep.get_node_pc_env ((n, limits)) 105 rep.get_node_pc_env (('Ret', limits), inline_tag) 106 rep.get_node_pc_env (('Err', limits), inline_tag)
|
H A D | debug.py | 545 (_, env) = rep.get_node_pc_env ((n, vc), tag) 805 (pc, env) = rep.get_node_pc_env ((n, vc), tag = tag)
|
H A D | stack_logic.py | 187 (_, env) = rep.get_node_pc_env (n_vc) 195 pc_env = rep.get_node_pc_env (n_vc) 908 (_, env) = rep.get_node_pc_env ((entry, ()))
|
H A D | search.py | 419 (pc, env) = rep.get_node_pc_env ((i, restrs2))
|
Completed in 55 milliseconds