/seL4-l4v-10.1.1/HOL4/developers/docfiles/ |
H A D | gen-implemented.sh | 14 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 D | unicode.py | 24 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 D | xsymbol.py | 24 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 D | release.py | 37 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 D | file.scala | 28 /* 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 D | logger.scala | 29 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 D | ssh.scala | 334 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 D | file.scala | 28 /* 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 D | logger.scala | 29 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 D | ssh.scala | 334 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 D | doc.scala | 33 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 D | update_header.scala | 12 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 D | update_then.scala | 12 def update_then(path: Path) 14 val text0 = File.read(path) 25 Output.writeln("changing " + path) 26 File.write_backup2(path, text1)
|
H A D | update_theorems.scala | 12 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 D | doc.scala | 33 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 D | update_header.scala | 12 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 D | update_then.scala | 12 def update_then(path: Path) 14 val text0 = File.read(path) 25 Output.writeln("changing " + path) 26 File.write_backup2(path, text1)
|
H A D | update_theorems.scala | 12 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 D | holpathdb.sig | 5 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 D | rsyncd.conf | 10 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 D | MuddyCore.sml | 9 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 D | rsyncd.conf | 10 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 D | pslcheck.sml | 5 * 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 D | documentation_dockable.scala | 25 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 D | documentation_dockable.scala | 25 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...] |