/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | update_header.scala | 14 val text0 = File.read(path) 21 File.write_backup2(path, text1) 58 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy")) 59 } update_header(section, File.path(file))
|
H A D | update_then.scala | 14 val text0 = File.read(path) 26 File.write_backup2(path, text1) 52 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy")) 53 } update_then(File.path(file))
|
H A D | update_theorems.scala | 14 val text0 = File.read(path) 27 File.write_backup2(path, text1) 54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy")) 55 } update_theorems(File.path(file))
|
H A D | main.scala | 34 if (!roots.is_file) File.write(roots, """# Additional session root directories 51 val props1 = split_lines(File.read(properties)) 53 if (props1 != props2) File.write(properties, cat_lines(props2)) 59 File.write(settings_dir + Path.explode("DockableWindowManager/perspective-view0.xml"), 61 File.write(settings_dir + Path.explode("perspective.xml"), 75 "-settings=" + File.platform_path(Path.explode("$JEDIT_SETTINGS")) 90 args ++ Array(File.platform_path(Path.explode("$USER_HOME/Scratch.thy"))) 108 putenv(name, File.platform_path(Isabelle_System.getenv(name))) 115 System.setProperty("jedit.home", File.platform_path(Path.explode("$JEDIT_HOME/dist"))) 116 System.setProperty("scala.home", File [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | update_header.scala | 14 val text0 = File.read(path) 21 File.write_backup2(path, text1) 58 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy")) 59 } update_header(section, File.path(file))
|
H A D | update_then.scala | 14 val text0 = File.read(path) 26 File.write_backup2(path, text1) 52 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy")) 53 } update_then(File.path(file))
|
H A D | update_theorems.scala | 14 val text0 = File.read(path) 27 File.write_backup2(path, text1) 54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy")) 55 } update_theorems(File.path(file))
|
H A D | main.scala | 34 if (!roots.is_file) File.write(roots, """# Additional session root directories 51 val props1 = split_lines(File.read(properties)) 53 if (props1 != props2) File.write(properties, cat_lines(props2)) 59 File.write(settings_dir + Path.explode("DockableWindowManager/perspective-view0.xml"), 61 File.write(settings_dir + Path.explode("perspective.xml"), 75 "-settings=" + File.platform_path(Path.explode("$JEDIT_SETTINGS")) 90 args ++ Array(File.platform_path(Path.explode("$USER_HOME/Scratch.thy"))) 108 putenv(name, File.platform_path(Isabelle_System.getenv(name))) 115 System.setProperty("jedit.home", File.platform_path(Path.explode("$JEDIT_HOME/dist"))) 116 System.setProperty("scala.home", File [all...] |
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/ |
H A D | Makefile | 7 ln -fs ../minisat/File.o 8 ln -fs ../minisat/File.h 13 g++ -O3 Proof.o File.o zc2hs.cpp -o zc2hs
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | build_release.scala | 56 File.write(file, f(File.read(file))) 104 File.write(release.isabelle_dir + Path.explode("ANNOUNCE"), 129 Symbol.decode(File.read(other_isabelle.isabelle_home + Path.explode("NEWS")))))) 162 File.append(Components.components(dir), 168 line <- split_lines(File.read(path)) 205 File.write(Components.contrib(dir, "README"), 238 execute_tar(local_dir, "-cf " + File.bash_path(local_tmp_tar) + " .") 245 "cd " + File.bash_path(remote_dir), 252 execute_tar(local_dir, "-xf " + File [all...] |
H A D | other_isabelle.scala | 41 "export USER_HOME=" + File.bash_path(user_home) + "\n" + 66 foreach(entry => File.copy(entry.path, target_dir)) 78 "init_components " + File.bash_path(components_base) + " " + 79 File.bash_path(dir + Path.basic(name))) ::: 81 "init_component " + File.bash_path(components_base + Path.basic(name))) 89 else if (File.read(etc_settings).startsWith("# generated by Isabelle")) { 100 File.write(etc_settings,
|
H A D | build_cygwin.scala | 36 File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror) 38 File.set_executable(cygwin_exe, true) 39 Isabelle_System.bash(File.bash_path(cygwin_exe) + " -h </dev/null >/dev/null").check 43 File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" + 45 " --root " + Bash.string(File.platform_path(cygwin)) +
|
H A D | build_jdk.scala | 10 import java.io.{File => JFile} 41 val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out 102 "unzip -x " + File.bash_path(archive.absolute), cwd = tmp_dir.file).check 105 Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = tmp_dir).check 109 File.read_dir(tmp_dir).filterNot(suppress_name(_)) match { 122 File.link(Path.current, jdk_dir + Path.explode(platform.home) + Path.explode("jre")) 124 File.move(jdk_dir, platform_dir) 164 File.write(Components.settings(component_dir), settings) 165 File.write(component_dir + Path.explode("README"), readme(version)) 168 File [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | build_release.scala | 56 File.write(file, f(File.read(file))) 104 File.write(release.isabelle_dir + Path.explode("ANNOUNCE"), 129 Symbol.decode(File.read(other_isabelle.isabelle_home + Path.explode("NEWS")))))) 162 File.append(Components.components(dir), 168 line <- split_lines(File.read(path)) 205 File.write(Components.contrib(dir, "README"), 238 execute_tar(local_dir, "-cf " + File.bash_path(local_tmp_tar) + " .") 245 "cd " + File.bash_path(remote_dir), 252 execute_tar(local_dir, "-xf " + File [all...] |
H A D | other_isabelle.scala | 41 "export USER_HOME=" + File.bash_path(user_home) + "\n" + 66 foreach(entry => File.copy(entry.path, target_dir)) 78 "init_components " + File.bash_path(components_base) + " " + 79 File.bash_path(dir + Path.basic(name))) ::: 81 "init_component " + File.bash_path(components_base + Path.basic(name))) 89 else if (File.read(etc_settings).startsWith("# generated by Isabelle")) { 100 File.write(etc_settings,
|
H A D | build_cygwin.scala | 36 File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror) 38 File.set_executable(cygwin_exe, true) 39 Isabelle_System.bash(File.bash_path(cygwin_exe) + " -h </dev/null >/dev/null").check 43 File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" + 45 " --root " + Bash.string(File.platform_path(cygwin)) +
|
H A D | build_jdk.scala | 10 import java.io.{File => JFile} 41 val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out 102 "unzip -x " + File.bash_path(archive.absolute), cwd = tmp_dir.file).check 105 Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = tmp_dir).check 109 File.read_dir(tmp_dir).filterNot(suppress_name(_)) match { 122 File.link(Path.current, jdk_dir + Path.explode(platform.home) + Path.explode("jre")) 124 File.move(jdk_dir, platform_dir) 164 File.write(Components.settings(component_dir), settings) 165 File.write(component_dir + Path.explode("README"), readme(version)) 168 File [all...] |
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Proof.h | 24 #include "File.h" 46 File fp; 72 ClauseId parseRoot (vec<Lit>& clause, File& fp, uint64 tmp, std::ofstream* fout = NULL); 73 void parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id, std::ofstream* fout = NULL); 75 ClauseId parseRoot (vec<Lit>& clause, File& fp, uint64 tmp); 76 void parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id);
|
H A D | File.h | 31 class File { class 41 File(void) : DEFAULTS {} function in class:File 43 File(int fd, FileMode mode, bool own_fd = true) : DEFAULTS { function in class:File 46 File(cchar* name, cchar* mode) : DEFAULTS { function in class:File 50 ~File(void) { 61 // Don't run UNIX function 'close()' on descriptor in 'File's 'close()'. 133 void putUInt (File& out, uint64 val); 134 uint64 getUInt (File& in) throw(Exception_EOF); 137 static inline void putInt (File& out, int64 val) { putUInt(out, encode64(val)); } 138 static inline uint64 getInt (File [all...] |
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | Holmake_tools.sig | 6 datatype File = datatype Holmake_tools_dtype.File type 89 (* File IO *) 90 val string_part : File -> string 92 val toFile : string -> File 95 val fromFile : File -> string 96 val fromFileNoSuf : File -> string 97 val file_compare : File * File -> order 98 val primary_dependent : File [all...] |
H A D | HM_GraphBuildJ1.sig | 4 type File = Holmake_tools.File type 7 (dep,'a) Holmake_tools.buildcmds -> File -> bool
|
/seL4-l4v-master/HOL4/src/finite_maps/ |
H A D | tcTacs.sig | 0 (* File: tcTacs.sig Author: F.L.Morris created 9/6/13 *)
|
/seL4-l4v-master/HOL4/src/integer/ |
H A D | inttoTacs.sig | 0 (* File: inttoTacs.sig Author: F.L.Morris created 12/13/13 *)
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | csv.scala | 26 sealed case class File(name: String, header: List[String], records: List[Record]) 31 def write(dir: Path) { isabelle.File.write(dir + Path.explode(file_name), toString) }
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | csv.scala | 26 sealed case class File(name: String, header: List[String], records: List[Record]) 31 def write(dir: Path) { isabelle.File.write(dir + Path.explode(file_name), toString) }
|