Searched refs:stack_logic (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/loop-example/O1/
H A Dtarget.py45 target_objects.use_hooks.add ('stack_logic')
46 import stack_logic namespace
48 new_pairings = stack_logic.mk_stack_pairings (pairs, stack_bounds)
/seL4-l4v-10.1.1/graph-refine/loop-example/O2/
H A Dtarget.py46 target_objects.use_hooks.add ('stack_logic')
47 import stack_logic namespace
49 new_pairings = stack_logic.mk_stack_pairings (pairs, stack_bounds)
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A Dtarget.py48 target_objects.use_hooks.add ('stack_logic')
49 import stack_logic namespace
51 new_pairings = stack_logic.mk_stack_pairings (pairs, stack_bounds)
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dbench.py127 import graph_refine.stack_logic as stack_logic namespace
128 stack_logic.add_hooks ()
H A Delf_correlate.py13 import graph_refine.stack_logic as stack_logic namespace
/seL4-l4v-10.1.1/graph-refine/
H A Dtrace_refute.py18 import stack_logic namespace
79 for f in stack_logic.get_functions_with_tag ('ASM'):
193 (n, vc) = stack_logic.default_n_vc (p, n)
220 cc = stack_logic.get_asm_calling_convention (fname)
H A Dloop_bounds.py11 import stack_logic namespace
52 ss = stack_logic.get_functions_with_tag ('ASM')
53 return [s for s in ss if not stack_logic.is_instruction (s)]
148 from stack_logic import default_n_vc

Completed in 49 milliseconds