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

1234567891011>>

/seL4-l4v-10.1.1/HOL4/developers/docfiles/
H A Dgen-implemented.sh14 for path in `find $holdir/src -name "*.sig" \! -name "*Theory.sig"`
16 s=`basename $path .sig`
18 sed -ne 's/[[:space:]]*val[[:space:]]*\([[:graph:]]\+\)[[:space:]]*:.*/'"$s"'.\1/p' $path
/seL4-l4v-10.1.1/l4v/misc/filemerge/
H A Dunicode.py24 sys.path.append(os.path.join(os.path.dirname(__file__), '../pysymbols'))
27 translator = isasymbols.make_translator(os.path.join(os.path.dirname(__file__),
H A Dxsymbol.py24 sys.path.append(os.path.join(os.path.dirname(__file__), '../pysymbols'))
27 translator = isasymbols.make_translator(os.path.join(os.path.dirname(__file__),
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/
H A Drelease.py37 def mkdir_p(path):
39 os.makedirs(path)
52 results.append(os.path.join(root, filename))
73 base_dir = os.path.split(pattern)[0]
74 g = glob.glob(os.path.join(base, pattern))
88 manifest_dest = os.path.join(output_dir, target)
90 dir_src = os.path.join(args.repository, manifest_base)
93 mkdir_p(os.path.join(manifest_dest, b))
94 src = os.path.join(dir_src, i)
95 dst = os.path
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dfile.scala28 /* standard path (Cygwin or Posix) */
30 def standard_path(path: Path): String = path.expand.implode
43 case path => path.replace('\\', '/')
60 /* platform path (Windows or Posix) */
78 case path if path.startsWith("/") =>
80 path
81 case path
[all...]
H A Dlogger.scala29 class File_Logger(path: Path) extends Logger
31 def apply(msg: => String) { synchronized { File.append(path, msg + "\n") } }
33 override def toString: String = path.toString
H A Dssh.scala334 override def expand_path(path: Path): Path = path.expand_env(settings)
335 def remote_path(path: Path): String = expand_path(path).implode
336 override def bash_path(path: Path): String = Bash.string(remote_path(path))
338 def chmod(permissions: Int, path: Path): Unit = sftp.chmod(permissions, remote_path(path))
340 def rm(path: Path): Unit = sftp.rm(remote_path(path))
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dfile.scala28 /* standard path (Cygwin or Posix) */
30 def standard_path(path: Path): String = path.expand.implode
43 case path => path.replace('\\', '/')
60 /* platform path (Windows or Posix) */
78 case path if path.startsWith("/") =>
80 path
81 case path
[all...]
H A Dlogger.scala29 class File_Logger(path: Path) extends Logger
31 def apply(msg: => String) { synchronized { File.append(path, msg + "\n") } }
33 override def toString: String = path.toString
H A Dssh.scala334 override def expand_path(path: Path): Path = path.expand_env(settings)
335 def remote_path(path: Path): String = expand_path(path).implode
336 override def bash_path(path: Path): String = Bash.string(remote_path(path))
338 def chmod(permissions: Int, path: Path): Unit = sftp.chmod(permissions, remote_path(path))
340 def rm(path: Path): Unit = sftp.rm(remote_path(path))
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Ddoc.scala33 case class Doc(name: String, title: String, path: Path) extends Entry
34 case class Text_File(name: String, path: Path) extends Entry
38 val path = Path.variable("ISABELLE_HOME") + name
39 if (path.is_file) Some(Text_File(name.implode, path))
84 def view(path: Path)
86 if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true)
88 val pdf = path.ext("pdf")
110 entries.collectFirst { case Doc(name, _, path) i
[all...]
H A Dupdate_header.scala12 def update_header(section: String, path: Path)
14 val text0 = File.read(path)
20 Output.writeln("changing " + path)
21 File.write_backup2(path, text1)
H A Dupdate_then.scala12 def update_then(path: Path)
14 val text0 = File.read(path)
25 Output.writeln("changing " + path)
26 File.write_backup2(path, text1)
H A Dupdate_theorems.scala12 def update_theorems(path: Path)
14 val text0 = File.read(path)
26 Output.writeln("changing " + path)
27 File.write_backup2(path, text1)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Ddoc.scala33 case class Doc(name: String, title: String, path: Path) extends Entry
34 case class Text_File(name: String, path: Path) extends Entry
38 val path = Path.variable("ISABELLE_HOME") + name
39 if (path.is_file) Some(Text_File(name.implode, path))
84 def view(path: Path)
86 if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true)
88 val pdf = path.ext("pdf")
110 entries.collectFirst { case Doc(name, _, path) i
[all...]
H A Dupdate_header.scala12 def update_header(section: String, path: Path)
14 val text0 = File.read(path)
20 Output.writeln("changing " + path)
21 File.write_backup2(path, text1)
H A Dupdate_then.scala12 def update_then(path: Path)
14 val text0 = File.read(path)
25 Output.writeln("changing " + path)
26 File.write_backup2(path, text1)
H A Dupdate_theorems.scala12 def update_theorems(path: Path)
14 val text0 = File.read(path)
26 Output.writeln("changing " + path)
27 File.write_backup2(path, text1)
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dholpathdb.sig5 val extend_db : {vname: string, path : string} -> unit
6 val reverse_lookup : {path : string} -> string
10 {vname:string, path:string} list
/seL4-l4v-10.1.1/isabelle/Admin/
H A Drsyncd.conf10 path = /home/proj/isabelle/website
14 path = /home/proj/isabelle/website/dist
19 path = /home/proj/isabelle/website
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A DMuddyCore.sml9 val path = case Process.getEnv "MUDDYHOME" of value
12 val path = Globals.HOLDIR^"/examples/muddy/muddyC/muddy.so" value
13 val hdl = dlopen {lib = path, flag = RTLD_NOW, global = false}
/seL4-l4v-10.1.1/l4v/isabelle/Admin/
H A Drsyncd.conf10 path = /home/proj/isabelle/website
14 path = /home/proj/isabelle/website/dist
19 path = /home/proj/isabelle/website
/seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/standalone/
H A Dpslcheck.sml5 * pslcheck [-all] -sere '<SERE>' -path '<PATH>'
6 * pslcheck [-all] -fl '<FL>' -path '<PATH>'
9 * checked in the case of a SERE and all path tails in the case of a
14 * pslcheck -sere '<SERE>' -path '<PATH>'
15 * pslcheck -fl '<FL>' -path '<PATH>'
21 * pslcheck -all -sere '<SERE>' -path '<PATH>'
28 * pslcheck -all -fl '<FL>' -path '<PATH>'
42 pslcheck -sere '{{a;b}@clk1;c}@clk2' -path '{clk2}{clk1,a}{a}{clk1,b,clk2}{c}{clk1}{c,clk2}{clk1}'
43 pslcheck -all -sere '{{a;b}@clk1;c}@clk2' -path '{clk2}{clk1,a}{a}{clk1,b,clk2}{c}{clk1}{c,clk2}{clk1}'
45 pslcheck -fl '(a until! b)@clk' -path '{}{cl
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Ddocumentation_dockable.scala25 private case class Documentation(name: String, title: String, path: Path)
31 private case class Text_File(name: String, path: Path)
40 case Doc.Doc(name, title, path) =>
42 .add(new DefaultMutableTreeNode(Documentation(name, title, path)))
43 case Doc.Text_File(name: String, path: Path) =>
45 .add(new DefaultMutableTreeNode(Text_File(name, path.expand)))
57 case Text_File(_, path) =>
58 PIDE.editor.goto_file(true, view, File.platform_path(path))
59 case Documentation(_, _, path) =>
60 PIDE.editor.goto_doc(view, path)
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Ddocumentation_dockable.scala25 private case class Documentation(name: String, title: String, path: Path)
31 private case class Text_File(name: String, path: Path)
40 case Doc.Doc(name, title, path) =>
42 .add(new DefaultMutableTreeNode(Documentation(name, title, path)))
43 case Doc.Text_File(name: String, path: Path) =>
45 .add(new DefaultMutableTreeNode(Text_File(name, path.expand)))
57 case Text_File(_, path) =>
58 PIDE.editor.goto_file(true, view, File.platform_path(path))
59 case Documentation(_, _, path) =>
60 PIDE.editor.goto_doc(view, path)
[all...]

Completed in 191 milliseconds

1234567891011>>