Searched refs:adjust_op_vals (Results 1 - 6 of 6) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py1481 def adjust_op_vals (expr, vals): function
H A Dstack_logic.py389 syntax.adjust_op_vals (expr, [v for (_, v) in vs]))
H A Dsolver.py514 return syntax.adjust_op_vals (expr, vals)
H A Drep_graph.py1139 return syntax.adjust_op_vals (expr, vals)
H A Dpseudo_compile.py252 return syntax.adjust_op_vals (expr, vals)
H A Dlogic.py295 return syntax.adjust_op_vals (expr, vals)
1106 mk_offs = lambda vals: syntax.adjust_op_vals (expr, vals)
1586 return syntax.adjust_op_vals (expr, vals)

Completed in 93 milliseconds