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

/seL4-l4v-master/graph-refine/seL4-example/
H A Dtarget.py7 from target_objects import target_dir, structs, functions namespace
17 f = open ('%s/kernel.elf.symtab' % target_dir)
21 f = open ('%s/CFunctions.txt' % target_dir)
25 f = open ('%s/ASMFunctions.txt' % target_dir)
33 f = open ('%s/kernel.elf.rodata' % target_dir)
48 stack_bounds = '%s/StackBounds.txt' % target_dir
/seL4-l4v-master/graph-refine/loop-example/O1/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals namespace
17 f = open ('%s/loop-O1.elf.symtab' % target_dir)
23 f = open ('%s/CFunDump.txt' % target_dir)
27 f = open ('%s/ASMO1Funs.txt' % target_dir)
45 stack_bounds = '%s/StackBounds.txt' % target_dir
/seL4-l4v-master/graph-refine/loop-example/O2/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals namespace
17 f = open ('%s/loop-O2.elf.symtab' % target_dir)
23 f = open ('%s/CFunDump.txt' % target_dir)
27 f = open ('%s/ASMO2Funs.txt' % target_dir)
45 stack_bounds = '%s/StackBounds.txt' % target_dir
/seL4-l4v-master/graph-refine/example/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals namespace
14 f = open ('%s/Functions.txt' % target_dir)
/seL4-l4v-master/graph-refine/loop-example/synth/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals namespace
14 f = open ('%s/Functions.txt' % target_dir)
/seL4-l4v-master/l4v/tools/autocorres/tools/
H A Drelease.py174 target_dir = os.path.join(base_dir, target_dir_name) variable
175 os.mkdir(target_dir)
179 ac_files = copy_manifest(target_dir,
195 f_dest = os.path.join(target_dir, 'lib', os.path.relpath(f, args.repository))
202 os.path.join(target_dir, 'lib', 'Word_Lib', 'ROOT'))
205 os.path.join(target_dir, "autocorres", "ROOT"))
208 os.path.join(target_dir, "ROOTS"))
212 os.path.join(target_dir, i))
215 os.path.join(target_dir, "autocorres", "CONTRIBUTORS"))
220 os.path.join(target_dir, "LICENSE
[all...]
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dconvert_loop_bounds.py37 target_dir = target_objects.target_dir
39 execfile('%s/loop_counts.py' % target_dir,context)
43 execfile('%s/phantom_preempt.py' % target_dir,context)
46 preempt_annotations_file = open(phantomPreemptsAnnoFileName(target_dir), 'w')
82 imm_utils.genLoopheads(lbfs, target_objects.target_dir, incremental_head=(f,head))
H A Dauto_infea.py56 from graph_refine.target_objects import target_dir, target_args namespace
58 target_dir.set_dir(dir_name)
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Dbuild_fonts.scala218 target_dir: Path = default_target_dir,
221 progress.echo("Directory " + target_dir)
222 hinting.foreach(hinted => Isabelle_System.mkdirs(target_dir + hinted_path(hinted)))
243 val target_file = target_dir + hinted_path(hinted) + target_names.ttf
280 val target_file = target_dir + hinted_path(false) + target_names.ttf
286 yield Fontforge.font_domain(target_dir + hinted_path(false) + name))
310 val settings_path = Components.settings(target_dir)
332 File.copy(Path.explode("~~/Admin/isabelle_fonts/README"), target_dir)
357 val target_dir = Path.explode("isabelle_fonts-" + target_version)
361 build_fonts(source_dirs = source_dirs, target_dir
[all...]
H A Dbuild_jdk.scala137 target_dir: Path = Path.current)
207 "-czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name,
219 var target_dir = Path.current
230 "D:" -> (arg => target_dir = Path.explode(arg)))
238 build_jdk(archives = archives, progress = progress, target_dir = target_dir)
H A Dother_isabelle.scala64 def copy_fonts(target_dir: Path): Unit =
66 foreach(entry => File.copy(entry.path, target_dir))
H A Disabelle_devel.scala74 dir => Build_Status.build_status(options, target_dir = dir, ml_statistics = true))
H A Dbuild_status.scala56 target_dir: Path = default_target_dir,
69 present_data(data, progress = progress, target_dir = target_dir, image_size = image_size)
366 target_dir: Path = default_target_dir,
372 HTML.write_document(target_dir, "index.html",
400 val dir = target_dir + Path.basic(clean_name(data_name))
579 var target_dir = default_target_dir
602 "D:" -> (arg => target_dir = Path.explode(arg)),
620 target_dir = target_dir, ml_statistic
[all...]
H A Dcomponents.scala57 target_dir: Option[Path] = None,
74 unpack(target_dir getOrElse base_dir, archive, progress = progress)
H A Dbuild_release.scala456 target_dir = Some(contrib_dir),
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Dbuild_fonts.scala218 target_dir: Path = default_target_dir,
221 progress.echo("Directory " + target_dir)
222 hinting.foreach(hinted => Isabelle_System.mkdirs(target_dir + hinted_path(hinted)))
243 val target_file = target_dir + hinted_path(hinted) + target_names.ttf
280 val target_file = target_dir + hinted_path(false) + target_names.ttf
286 yield Fontforge.font_domain(target_dir + hinted_path(false) + name))
310 val settings_path = Components.settings(target_dir)
332 File.copy(Path.explode("~~/Admin/isabelle_fonts/README"), target_dir)
357 val target_dir = Path.explode("isabelle_fonts-" + target_version)
361 build_fonts(source_dirs = source_dirs, target_dir
[all...]
H A Dbuild_jdk.scala137 target_dir: Path = Path.current)
207 "-czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name,
219 var target_dir = Path.current
230 "D:" -> (arg => target_dir = Path.explode(arg)))
238 build_jdk(archives = archives, progress = progress, target_dir = target_dir)
H A Dother_isabelle.scala64 def copy_fonts(target_dir: Path): Unit =
66 foreach(entry => File.copy(entry.path, target_dir))
H A Disabelle_devel.scala74 dir => Build_Status.build_status(options, target_dir = dir, ml_statistics = true))
H A Dbuild_status.scala56 target_dir: Path = default_target_dir,
69 present_data(data, progress = progress, target_dir = target_dir, image_size = image_size)
366 target_dir: Path = default_target_dir,
372 HTML.write_document(target_dir, "index.html",
400 val dir = target_dir + Path.basic(clean_name(data_name))
579 var target_dir = default_target_dir
602 "D:" -> (arg => target_dir = Path.explode(arg)),
620 target_dir = target_dir, ml_statistic
[all...]
H A Dcomponents.scala57 target_dir: Option[Path] = None,
74 unpack(target_dir getOrElse base_dir, archive, progress = progress)
H A Dbuild_release.scala456 target_dir = Some(contrib_dir),
/seL4-l4v-master/graph-refine/
H A Dtarget_objects.py19 target_dir = TargetDir () variable
80 target_dir.set_dir (target)
H A Dloop_bounds.py351 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)
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.target_dir, 'w')
926 num = args[1:].index (str (target_objects.target_dir))
H A Ddebug.py646 f = open ('%s/kernel.elf.txt' % target_objects.target_dir)

Completed in 158 milliseconds