Searched refs:target_objects (Results 1 - 25 of 28) sorted by relevance

12

/seL4-l4v-master/graph-refine/example/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals
8 from target_objects import symbols, sections, rodata, pairings, danger_set
/seL4-l4v-master/graph-refine/loop-example/synth/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals
8 from target_objects import symbols, sections, rodata, pairings, danger_set
/seL4-l4v-master/graph-refine/loop-example/O1/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals
8 from target_objects import symbols, sections, rodata, pairings, danger_set
9 import target_objects namespace
43 target_objects.use_hooks.add ('stack_logic')
/seL4-l4v-master/graph-refine/seL4-example/
H A Dtarget.py7 from target_objects import target_dir, structs, functions
8 from target_objects import symbols, sections, rodata, pairings
9 import target_objects namespace
46 target_objects.use_hooks.add ('stack_logic')
/seL4-l4v-master/graph-refine/loop-example/O2/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals
8 from target_objects import symbols, sections, rodata, pairings, danger_set
9 import target_objects namespace
43 target_objects.use_hooks.add ('stack_logic')
/seL4-l4v-master/graph-refine/
H A Dc_rodata.py8 import target_objects namespace
42 target_objects.add_hook ('post_emit_node', module_hook_k, hook)
43 target_objects.use_hooks.add (module_hook_k)
H A Dobjdump.py40 import target_objects namespace
41 target_objects.symbols.update (syms)
42 target_objects.sections.update (sects)
49 from target_objects import symbols, sections, trace
102 import target_objects namespace
104 target_objects.rodata[:] = rodata
H A Dgraph-refine.py18 from target_objects import pairings, functions
19 from target_objects import trace, tracer, printout
20 import target_objects namespace
31 args = target_objects.load_target_args ()
286 target_objects.trace_files.append (f)
292 target_objects.danger_set)
H A Dloop_bounds.py9 from target_objects import functions, trace
15 import target_objects namespace
282 for hook in target_objects.hooks ('extra_wcet_assertions'):
351 f = open ('%s/LoopBounds.txt' % target_objects.target_dir, 'a')
364 f = open ('%s/LoopBounds.txt' % target_objects.target_dir, 'a')
387 f = open ('%s/LoopBounds.txt' % target_objects.target_dir)
481 funs = [f for pair in target_objects.pairings[fname]
808 f = open ('%s/LoopBounds.txt' % target_objects.target_dir)
828 f = open ('%s/time' % target_objects.target_dir)
871 f = open ('%s/LoopTimingMetrics.txt' % target_objects
[all...]
H A Dinst_logic.py17 from target_objects import functions, trace, pairings, pre_pairings, printout
18 import target_objects namespace
H A Dtrace_refute.py18 from target_objects import functions, trace, pairings, symbols, printout
19 import target_objects namespace
325 for f in target_objects.hooks ('extra_wcet_assertions'):
516 for hook in target_objects.hooks ('wcet_function_limits'):
524 for hook in target_objects.hooks ('wcet_functions_to_avoid'):
632 args = target_objects.load_target_args ()
H A Dsyntax.py10 from target_objects import structs, trace
11 import target_objects namespace
474 assert (target_objects.const_globals[self.name].typ
1179 target_objects.structs.update (structs)
1180 target_objects.functions.update (functions)
1181 target_objects.const_globals.update (const_globals)
1183 target_objects.functions_by_tag[tag] = set (functions)
H A Dstack_logic.py15 from target_objects import functions, trace, pairings, pre_pairings, printout
16 import target_objects namespace
251 assume_sp_equal = bool (target_objects.hooks ('assume_sp_equal'))
253 for fname2 in target_objects.symbols:
1186 prev_tracer = target_objects.tracer[0]
1188 target_objects.tracer[0] = lambda s, n: ()
1201 target_objects.tracer[0] = prev_tracer
1205 target_objects.tracer[0] = prev_tracer
1334 synth = [s for s in target_objects.symbols
1363 add = target_objects
[all...]
H A Ddebug.py7 from target_objects import functions, pairings
8 import target_objects namespace
614 from target_objects import symbols, sections
646 f = open ('%s/kernel.elf.txt' % target_objects.target_dir)
H A Dstats.py13 from target_objects import pairings
H A Drep_graph.py15 from target_objects import functions, pairings, sections, trace, printout
16 import target_objects namespace
519 for hook in target_objects.hooks ('rep_unsafe_const_ret'):
627 for hook in target_objects.hooks ('problem_var_rep'):
726 for hook in target_objects.hooks ('post_emit_node'):
H A Dsolver.py177 from target_objects import structs, rodata, sections, trace, printout
2175 from target_objects import functions
2205 import sys, target_objects namespace
2207 target_objects.tracer[0] = lambda x, y: ()
H A Dcheck.py15 from target_objects import functions, pairings, trace, printout
16 import target_objects namespace
H A Dpseudo_compile.py23 from target_objects import symbols, trace
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dbench.py19 from graph_refine.target_objects import functions, functions_by_tag
20 import graph_refine.target_objects as target_objects namespace
123 target_objects.load_target(dir_name)
139 target_objects.tracer[0] = silent_tracer
151 functions = target_objects.functions
H A Dconvert_loop_bounds.py9 import graph_refine.target_objects as target_objects namespace
10 from graph_refine.target_objects import functions
36 args = target_objects.load_target(target_dir_name)
37 target_dir = target_objects.target_dir
82 imm_utils.genLoopheads(lbfs, target_objects.target_dir, incremental_head=(f,head))
H A Dgraph_to_graph.py16 import graph_refine.target_objects as target_objects namespace
H A Delf_file.py8 from graph_refine.target_objects import functions, functions_by_tag
H A Dauto_infea.py56 from graph_refine.target_objects import target_dir, target_args
H A Delf_correlate.py16 import graph_refine.target_objects as target_objects namespace

Completed in 393 milliseconds

12