/seL4-l4v-master/graph-refine/seL4-example/ |
H A D | target.py | 7 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 D | target.py | 7 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 D | target.py | 7 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 D | target.py | 7 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 D | target.py | 7 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 D | release.py | 174 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 D | convert_loop_bounds.py | 37 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 D | auto_infea.py | 56 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 D | build_fonts.scala | 218 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 D | build_jdk.scala | 137 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 D | other_isabelle.scala | 64 def copy_fonts(target_dir: Path): Unit = 66 foreach(entry => File.copy(entry.path, target_dir))
|
H A D | isabelle_devel.scala | 74 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) 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 D | components.scala | 57 target_dir: Option[Path] = None, 74 unpack(target_dir getOrElse base_dir, archive, progress = progress)
|
H A D | build_release.scala | 456 target_dir = Some(contrib_dir),
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | build_fonts.scala | 218 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 D | build_jdk.scala | 137 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 D | other_isabelle.scala | 64 def copy_fonts(target_dir: Path): Unit = 66 foreach(entry => File.copy(entry.path, target_dir))
|
H A D | isabelle_devel.scala | 74 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) 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 D | components.scala | 57 target_dir: Option[Path] = None, 74 unpack(target_dir getOrElse base_dir, archive, progress = progress)
|
H A D | build_release.scala | 456 target_dir = Some(contrib_dir),
|
/seL4-l4v-master/graph-refine/ |
H A D | target_objects.py | 19 target_dir = TargetDir () variable 80 target_dir.set_dir (target)
|
H A D | loop_bounds.py | 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) 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 D | debug.py | 646 f = open ('%s/kernel.elf.txt' % target_objects.target_dir)
|