Searched refs:get_node_pc_env (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/graph-refine/
H A Drep_graph.py251 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 Dcheck.py101 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 Ddebug.py545 (_, env) = rep.get_node_pc_env ((n, vc), tag)
805 (pc, env) = rep.get_node_pc_env ((n, vc), tag = tag)
H A Dstack_logic.py187 (_, 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 Dsearch.py419 (pc, env) = rep.get_node_pc_env ((i, restrs2))

Completed in 55 milliseconds