/seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_header_gen.py | 131 help='Name of xml file with syscall name definitions', required=True) 133 help='Name of file to generate for kernel') 135 help='Name of file to generate for libsel4') 143 file=sys.stderr) 167 # first check if the file is valid xml 171 print("Error: invalid xml file.", file=sys.stderr) 178 file=sys.stderr) 184 file=sys.stderr) 189 file [all...] |
/seL4-l4v-master/HOL4/tools/mode-tests/ |
H A D | holscript-tests.el | 4 (load (concat (file-name-as-directory (getenv "HOLDIR")) "tools/hol-mode")) 6 (defun holscript-fixture-in (file sword-arg body) 8 (insert-file-contents-literally (concat holdir "tools/mode-tests/" file)) 15 (defun holscript-fixture-both (file body) 16 (holscript-fixture-in file 0 body) 17 (holscript-fixture-in file 1 body))
|
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | armLib.sig | 65 encode assembler and save to file: 66 arm_assemble_to_file_from_file <start address> <output file> <input file> 67 arm_assemble_to_file_from_quote <start address> <output file> <quotation> 68 arm_assemble_to_file_from_string <start address> <output file> <string>
|
/seL4-l4v-master/HOL4/src/tactictoe/src/ |
H A D | tttEval.sml | 68 fun write_evalscript smlfun (vnno,pnno,anno) file = 70 val file1 = mlquote (file ^ "_savestate") 71 val file2 = mlquote (file ^ "_goal") 88 writel (file ^ "_eval.sml") sl 91 fun bare file = OS.Path.base (OS.Path.file file) 93 fun run_evalscript smlfun dir nnol file = 95 write_evalscript smlfun nnol file; 96 run_buildheap_nodep dir (file [all...] |
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | makebase.sml | 30 fun isTheory {comp,file=path,line} = 32 val {dir,file} = splitDirFile path 33 val {base,ext} = splitBaseExt file 38 fun isSigId {comp=Database.Term(_,SOME"HOL"),file,line} = false 113 fun fileCompare (e1, e2) = String.compare(#file e1, #file e2) 155 file=normPath[dir,s], line=0} 186 val _ = print ("Writing database to file " ^ filename ^ "\n"); 197 handle _ => (print "Couldn't open documentation directories file"; 217 let val {dir,file} [all...] |
/seL4-l4v-master/HOL4/tools-poly/Holmake/ |
H A D | winNT-systeml.sml | 37 fun mk_xable file = (* returns the name of the executable *) 38 let val exe = file^".exe" 41 FileSys.rename{old=file, new=exe}; 74 fun fopen file = (FileSys.remove file handle _ => (); TextIO.openOut file)
|
/seL4-l4v-master/HOL4/tools/Holmake/poly/ |
H A D | BuildCommand.sml | 48 | process_args (file::rest) = let 50 if file = HM_BaseEnv.mosml_indicator then () 51 else if isSource file then 52 src_file := SOME file 53 else if isObj file then 54 obj_files := file :: !obj_files 89 fun addPath incs (file : string) : dep = 94 if OS.Path.dir file <> "" then filestr_to_tgt file 97 FileSys.access (p ++ (file 351 val file = fromFile arg value [all...] |
/seL4-l4v-master/isabelle/src/Pure/System/ |
H A D | isabelle_system.scala | 12 import java.nio.file.{Path => JPath, Files, SimpleFileVisitor, FileVisitResult} 13 import java.nio.file.attribute.BasicFileAttributes 148 /** file-system operations **/ 176 path.file.mkdirs // low-level mkdirs 183 val file = Files.createTempFile(base_dir.toPath, name, suffix).toFile 184 file.deleteOnExit 185 file 190 val file = tmp_file(name, ext) 191 try { body(File.path(file)) } finally { file [all...] |
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | doc.scala | 53 Path.split(Isabelle_System.getenv_strict("ISABELLE_DOCS_EXAMPLES")).map(file => 54 text_file(file) match { 56 case None => error("Bad entry in ISABELLE_DOCS_EXAMPLES: " + file) 91 else error("Bad Isabelle documentation file: " + pdf)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/System/ |
H A D | isabelle_system.scala | 12 import java.nio.file.{Path => JPath, Files, SimpleFileVisitor, FileVisitResult} 13 import java.nio.file.attribute.BasicFileAttributes 148 /** file-system operations **/ 176 path.file.mkdirs // low-level mkdirs 183 val file = Files.createTempFile(base_dir.toPath, name, suffix).toFile 184 file.deleteOnExit 185 file 190 val file = tmp_file(name, ext) 191 try { body(File.path(file)) } finally { file [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | doc.scala | 53 Path.split(Isabelle_System.getenv_strict("ISABELLE_DOCS_EXAMPLES")).map(file => 54 text_file(file) match { 56 case None => error("Bad entry in ISABELLE_DOCS_EXAMPLES: " + file) 91 else error("Bad Isabelle documentation file: " + pdf)
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | winNT-systeml.sml | 42 fun mk_xable file = 43 let val exe = file^".exe" 46 FileSys.rename{old=file, new=exe}; 64 val {dir,file} = Path.splitDirFile myname 71 val f = Path.concat(d,file) 114 fun fopen file = (FileSys.remove file handle _ => (); TextIO.openOut file)
|
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | make_hol_acl2_defaxioms.ml | 4 (* create a file hol_acl2_defaxioms.lisp containing a Lisp format *) 36 (* Create and print file *)
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | ci_profile.scala | 44 val file = Path.explode(file_name).file 45 if (file.exists()) 46 props.load(new java.io.FileReader(file))
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | ci_profile.scala | 44 val file = Path.explode(file_name).file 45 if (file.exists()) 46 props.load(new java.io.FileReader(file))
|
/seL4-l4v-master/l4v/misc/regression/ |
H A D | cpuusage.py | 44 "to install.", file=sys.stderr) 178 'usage of a command' % sys.argv[0], file=sys.stderr) 185 print('command not found', file=sys.stderr) 199 print('Total cpu %f seconds' % m.cpu_usage(), file=sys.stderr)
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | url.scala | 11 import java.nio.file.{Paths, FileSystemNotFoundException} 76 /* file URIs */ 78 def print_file(file: JFile): String = File.absolute(file).toPath.toUri.toString
|
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/ |
H A D | server.scala | 128 /* input from client or file-system */ 145 private def close_document(file: JFile) 147 if (resources.close_model(file)) { 148 file_watcher.register_parent(file) 149 sync_documents(Set(file)) 162 private def change_document(file: JFile, version: Long, changes: List[Protocol.TextDocumentChange]) 177 resources.change_model(session, editor, file, version, change.text, change.range)) 208 private def request_preview(file: JFile, column: Int) 210 preview_panel.request(file, column) 454 case Protocol.DidOpenTextDocument(file, [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | server.scala | 128 /* input from client or file-system */ 145 private def close_document(file: JFile) 147 if (resources.close_model(file)) { 148 file_watcher.register_parent(file) 149 sync_documents(Set(file)) 162 private def change_document(file: JFile, version: Long, changes: List[Protocol.TextDocumentChange]) 177 resources.change_model(session, editor, file, version, change.text, change.range)) 208 private def request_preview(file: JFile, column: Int) 210 preview_panel.request(file, column) 454 case Protocol.DidOpenTextDocument(file, [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | url.scala | 11 import java.nio.file.{Paths, FileSystemNotFoundException} 76 /* file URIs */ 78 def print_file(file: JFile): String = File.absolute(file).toPath.toUri.toString
|
/seL4-l4v-master/HOL4/src/AI/machine_learning/ |
H A D | mlTreeNeuralNetwork.sml | 77 fun write_tnn file tnn = write_tmdata (enc_tnn, map fst) file (dlist tnn) 78 fun read_tnn file = dnew Term.compare (read_tmdata dec_tnn file) 87 fun write_tnndim file tnndim = write_tmdata (enc_tnndim, map fst) file tnndim 88 fun read_tnndim file = read_tmdata dec_tnndim file 109 fun write_tnnex file ex = 110 write_tmdata (enc_tnnex, tml_of_tnnex) file e [all...] |
/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | UList.sml | 4 * COPYRIGHT (c) 1997 by Martin Erwig. See COPYRIGHT file for details.
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | UList.sml | 4 * COPYRIGHT (c) 1997 by Martin Erwig. See COPYRIGHT file for details.
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | UList.sml | 4 * COPYRIGHT (c) 1997 by Martin Erwig. See COPYRIGHT file for details.
|
/seL4-l4v-master/HOL4/examples/formal-languages/regular/regular-play/test/ |
H A D | regexTest.sml | 84 fun getPerformanceTests file size = 86 val longString = readFile file size; 102 fun getPerformanceTestsRegexSize file size regexLength = 104 val longString = readFile file size;
|