Searched refs:file (Results 101 - 125 of 645) sorted by relevance

1234567891011>>

/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_header_gen.py131 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 Dholscript-tests.el4 (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 DarmLib.sig65 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 DtttEval.sml68 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 Dmakebase.sml30 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 DwinNT-systeml.sml37 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 DBuildCommand.sml48 | 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 Disabelle_system.scala12 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 Ddoc.scala53 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 Disabelle_system.scala12 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 Ddoc.scala53 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 DwinNT-systeml.sml42 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 Dmake_hol_acl2_defaxioms.ml4 (* 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 Dci_profile.scala44 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 Dci_profile.scala44 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 Dcpuusage.py44 "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 Durl.scala11 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 Dserver.scala128 /* 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 Dserver.scala128 /* 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 Durl.scala11 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 DmlTreeNeuralNetwork.sml77 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 DUList.sml4 * COPYRIGHT (c) 1997 by Martin Erwig. See COPYRIGHT file for details.
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DUList.sml4 * COPYRIGHT (c) 1997 by Martin Erwig. See COPYRIGHT file for details.
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/
H A DUList.sml4 * COPYRIGHT (c) 1997 by Martin Erwig. See COPYRIGHT file for details.
/seL4-l4v-master/HOL4/examples/formal-languages/regular/regular-play/test/
H A DregexTest.sml84 fun getPerformanceTests file size =
86 val longString = readFile file size;
102 fun getPerformanceTestsRegexSize file size regexLength =
104 val longString = readFile file size;

Completed in 166 milliseconds

1234567891011>>