| /seL4-l4v-10.1.1/graph-refine/seL4-example/ |
| H A D | target.py | 9 from target_objects import target_dir, structs, functions namespace
19 f = open ('%s/kernel.elf.symtab' % target_dir)
23 f = open ('%s/CFunctions.txt' % target_dir)
27 f = open ('%s/ASMFunctions.txt' % target_dir)
35 f = open ('%s/kernel.elf.rodata' % target_dir)
50 stack_bounds = '%s/StackBounds.txt' % target_dir
|
| /seL4-l4v-10.1.1/graph-refine/loop-example/O1/ |
| H A D | target.py | 9 from target_objects import target_dir, structs, functions, const_globals namespace
19 f = open ('%s/loop-O1.elf.symtab' % target_dir)
25 f = open ('%s/CFunDump.txt' % target_dir)
29 f = open ('%s/ASMO1Funs.txt' % target_dir)
47 stack_bounds = '%s/StackBounds.txt' % target_dir
|
| /seL4-l4v-10.1.1/graph-refine/loop-example/O2/ |
| H A D | target.py | 10 from target_objects import target_dir, structs, functions, const_globals namespace
20 f = open ('%s/loop-O2.elf.symtab' % target_dir)
26 f = open ('%s/CFunDump.txt' % target_dir)
30 f = open ('%s/ASMO2Funs.txt' % target_dir)
48 stack_bounds = '%s/StackBounds.txt' % target_dir
|
| /seL4-l4v-10.1.1/graph-refine/example/ |
| H A D | target.py | 9 from target_objects import target_dir, structs, functions, const_globals namespace
16 f = open ('%s/Functions.txt' % target_dir)
|
| /seL4-l4v-10.1.1/graph-refine/loop-example/synth/ |
| H A D | target.py | 9 from target_objects import target_dir, structs, functions, const_globals namespace
16 f = open ('%s/Functions.txt' % target_dir)
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/ |
| H A D | release.py | 171 target_dir = os.path.join(base_dir, target_dir_name) variable
172 os.mkdir(target_dir)
176 ac_files = copy_manifest(target_dir,
192 f_dest = os.path.join(target_dir, 'lib', os.path.relpath(f, args.repository))
199 os.path.join(target_dir, 'lib', 'Word_Lib', 'ROOT'))
202 os.path.join(target_dir, "autocorres", "ROOT"))
205 os.path.join(target_dir, "ROOTS"))
209 os.path.join(target_dir, i))
212 os.path.join(target_dir, "autocorres", "CONTRIBUTORS"))
217 os.path.join(target_dir, "LICENSE_BSD
[all...] |
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | convert_loop_bounds.py | 39 target_dir = target_objects.target_dir
41 execfile('%s/loop_counts.py' % target_dir,context)
45 execfile('%s/phantom_preempt.py' % target_dir,context)
48 preempt_annotations_file = open(phantomPreemptsAnnoFileName(target_dir), 'w')
84 imm_utils.genLoopheads(lbfs, target_objects.target_dir, incremental_head=(f,head))
|
| H A D | auto_infea.py | 59 from graph_refine.target_objects import target_dir, target_args namespace
61 target_dir.set_dir(dir_name)
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
| H A D | build_jdk.scala | 126 target_dir: Path = Path.current)
197 " -czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name).check
208 var target_dir = Path.current
219 "D:" -> (arg => target_dir = Path.explode(arg)))
227 build_jdk(archives = archives, progress = progress, target_dir = target_dir)
|
| H A D | isabelle_devel.scala | 88 dir => Build_Status.build_status(options, target_dir = dir, ml_statistics = true))
|
| H A D | build_status.scala | 56 target_dir: Path = default_target_dir,
69 present_data(data, progress = progress, target_dir = target_dir, image_size = image_size)
349 target_dir: Path = default_target_dir,
358 HTML.write_document(target_dir, "index.html",
386 val dir = target_dir + Path.basic(clean_name(data_name))
552 var target_dir = default_target_dir
575 "D:" -> (arg => target_dir = Path.explode(arg)),
593 target_dir = target_dir, ml_statistic
[all...] |
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
| H A D | build_jdk.scala | 126 target_dir: Path = Path.current)
197 " -czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name).check
208 var target_dir = Path.current
219 "D:" -> (arg => target_dir = Path.explode(arg)))
227 build_jdk(archives = archives, progress = progress, target_dir = target_dir)
|
| H A D | isabelle_devel.scala | 88 dir => Build_Status.build_status(options, target_dir = dir, ml_statistics = true))
|
| H A D | build_status.scala | 56 target_dir: Path = default_target_dir,
69 present_data(data, progress = progress, target_dir = target_dir, image_size = image_size)
349 target_dir: Path = default_target_dir,
358 HTML.write_document(target_dir, "index.html",
386 val dir = target_dir + Path.basic(clean_name(data_name))
552 var target_dir = default_target_dir
575 "D:" -> (arg => target_dir = Path.explode(arg)),
593 target_dir = target_dir, ml_statistic
[all...] |
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | target_objects.py | 21 target_dir = TargetDir () variable
82 target_dir.set_dir (target)
|
| H A D | loop_bounds.py | 345 f = open ('%s/LoopBounds.txt' % target_objects.target_dir, 'a')
358 f = open ('%s/LoopBounds.txt' % target_objects.target_dir, 'a')
381 f = open ('%s/LoopBounds.txt' % target_objects.target_dir)
802 f = open ('%s/LoopBounds.txt' % target_objects.target_dir)
822 f = open ('%s/time' % target_objects.target_dir)
865 f = open ('%s/LoopTimingMetrics.txt' % target_objects.target_dir, 'w')
920 num = args[1:].index (str (target_objects.target_dir))
|
| H A D | debug.py | 648 f = open ('%s/kernel.elf.txt' % target_objects.target_dir)
|