Searched refs:get_node_pc_env (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dstack_logic.py189 (_, env) = rep.get_node_pc_env (n_vc)
197 pc_env = rep.get_node_pc_env (n_vc)
910 (_, env) = rep.get_node_pc_env ((entry, ()))
H A Dsearch.py421 (pc, env) = rep.get_node_pc_env ((i, restrs2))
H A Drep_graph.py253 x_pc_env = rep.get_node_pc_env (xvis[0], tag = xvis[1])
254 y_pc_env = rep.get_node_pc_env (yvis[0], tag = yvis[1])
363 def get_node_pc_env (self, (n, vcount), tag = None, request = True): member in class:GraphSlice
412 self.get_node_pc_env (n_vc, tag, request = False)
418 prev_pc_env = self.get_node_pc_env ((split, vcount2))
600 if self.get_node_pc_env ((n, vcount), request = False) == None:
645 (pc, env) = self.get_node_pc_env (n, request = False)
740 (_, env) = self.get_node_pc_env (n_vc_y, tag_y)
811 self.get_node_pc_env (cont, tag = tag)
1045 pc_env = self.get_node_pc_env ((
[all...]
H A Ddebug.py547 (_, env) = rep.get_node_pc_env ((n, vc), tag)
807 (pc, env) = rep.get_node_pc_env ((n, vc), tag = tag)
H A Dcheck.py103 r = rep.get_node_pc_env ((n, limits))
107 rep.get_node_pc_env (('Ret', limits), inline_tag)
108 rep.get_node_pc_env (('Err', limits), inline_tag)

Completed in 53 milliseconds