Searched refs:inst_eqs (Results 1 - 4 of 4) sorted by path
| /seL4-l4v-master/graph-refine/ |
| H A D | check.py | 132 def inst_eqs (p, restrs, eqs, tag_map = {}): function
152 return inst_eqs (p, (), inp_eqs)
694 inst_eqs (p, restrs, out_eqs)]
|
| H A D | rep_graph.py | 854 inp_eqs = inst_eqs (inp_eqs, envs, self.solv)
855 out_eqs = inst_eqs (out_eqs, envs, self.solv)
1149 def inst_eqs (eqs, envs, solv): function
|
| H A D | stack_logic.py | 244 return check.inst_eqs (p, (), eqs, {true_tag: tag})
|
| H A D | trace_refute.py | 152 free_hyps += check.inst_eqs (p, (), inp_eqs, tags)
|
Completed in 45 milliseconds