Searched refs:vis (Results 1 - 7 of 7) sorted by last modified time
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | trace_refute.py | 254 vis = get_vis (p, n, focused_loops = focused_loops)
255 hyps = rep_graph.mk_function_link_hyps (p, vis, to_tags['ASM'],
261 vis = get_vis (p, cn, focused_loops = focused_loops)
262 hyps += rep_graph.mk_function_link_hyps (p, vis, to_tags['C'])
|
| H A D | search.py | 793 vis = stuff['vis']
805 (vis (n, l_start + (i * l_step)), l_tag)),
806 (expr2, (vis (n2, r_start + (i * r_step)), r_tag)))
808 vis_hyp = rep_graph.pc_true_hyp ((vis (n, l_start), l_tag))
852 def vis (n, i): function in function:linear_setup_stuff
855 smt = lambda expr, n, i: rep.to_smt_expr (expr, vis (n, i))
856 smt_pc = lambda n, i: rep.get_pc (vis (n, i))
866 hyps = hyps + [rep_graph.pc_triv_hyp ((vis (n, 3), r_tag))
868 hyps = hyps + [rep_graph.pc_triv_hyp ((vis (
[all...] |
| H A D | rep_graph.py | 185 return [vis for vis in self.pcs
186 if vis[0] != 'Bool']
188 return [vis for (_, vis) in self.vals]
282 def true_if_at_hyp (expr, vis, induct = None):
283 check_vis_is_vis (vis)
284 return Hyp ('EqIfAt', (expr, vis), (true_term, vis),
287 def pc_true_hyp (vis)
[all...] |
| H A D | logic.py | 1567 def inst_eq_at_visit (exp, vis):
1574 if vis.kind == 'Number':
1575 return vis.n in xs
1576 elif vis.kind == 'Offset':
1577 return vis.n in ys
1579 assert not 'visit kind useable', vis
|
| H A D | debug.py | 485 def vis (expr): function in function:guess_pv
488 p.nodes[pred].cond.visit (vis)
857 vis = ((n, ()), tag)
859 return rep_graph.eq_hyp ((expr, vis), (syntax.true_term, vis))
|
| H A D | check.py | 594 vis = ((point, restrs + tuple ([(point, vc_num (0))])), tag)
595 return rep_graph.true_if_at_hyp (pred, vis)
|
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
| H A D | dbgTools.sml | 11 val vis = ref (empty String.compare) value
23 fun show s = (member(!vis,s) orelse set_pfx (!visp) s)
42 fun sm s = if (!dbg)>0 then (vis:= add(!vis,s)) else () (* unhide messages from s *)
58 fun reset() = if (!dbg)>0 then (vis := (empty String.compare); visp := (empty String.compare);
|
Completed in 62 milliseconds