Searched refs:file (Results 1 - 25 of 645) sorted by relevance

1234567891011>>

/seL4-l4v-master/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_pirate2 curl -s -F file=@"$2" "http://91.228.53.68:51642/solve/pirate/"$1"s"
/seL4-l4v-master/l4v/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_pirate2 curl -s -F file=@"$2" "http://91.228.53.68:51642/solve/pirate/"$1"s"
/seL4-l4v-master/seL4/src/
H A Dassert.c14 const char *file,
20 file,
30 const char *file,
36 file,
12 _fail( const char *s, const char *file, unsigned int line, const char *function) argument
28 _assert_fail( const char *assertion, const char *file, unsigned int line, const char *function) argument
/seL4-l4v-master/HOL4/tools-poly/Holmake/
H A Dfake_src.pl5 s|^fun MK_XABLE file = .*$|fun MK_XABLE file = (Process.system ("chmod a+x "^file); file)|;
/seL4-l4v-master/HOL4/tools/Holmake/
H A DSourceFile.sml6 * Please see the file MLton-LICENSE for license information.
12 datatype t = T of {file: string ref,
16 fun getPos (T {file, lineNum, lineStart, ...}, n) =
18 file = !file,
25 fun new file = T {file = ref file,
33 fun lineDirective (src as T {file, lineNum, lineStart},
37 (Option.app (fn f => file
[all...]
H A DSourcePos.sml6 * Please see the file MLton-LICENSE for license information.
15 datatype t = T of {column: int, file: string, line: int}
24 fun compare (T {column = c, file = f, line = l},
25 T {column = c', file = f', line = l'}) =
35 fun make {column, file, line} =
37 file = file,
40 fun file (p as T {file, ...}) = file function
[all...]
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/
H A Dpreview_panel.scala20 def request(file: JFile, column: Int): Unit =
21 pending.change(map => map + (file -> column))
28 (map /: map.iterator)({ case (m, (file, column)) =>
29 resources.get_model(file) match {
36 Protocol.Preview_Response(file, column, preview.title, preview.content))
37 m - file
39 case None => m - file
H A Dvscode_resources.scala4 Resources for VSCode Language Server: file-system access and global state.
32 pending_input = (pending_input /: changed) { case (set, (file, _)) => set + file },
33 pending_output = (pending_output /: changed) { case (set, (file, _)) => set + file })
42 def get_caret(file: JFile): Option[Line.Position] =
44 case Some((caret_file, caret_pos)) if caret_file == file => Some(caret_pos)
55 def change_overlay(insert: Boolean, file: JFile,
61 pending_input = pending_input + file)
67 sealed case class Caret(file
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A Dpreview_panel.scala20 def request(file: JFile, column: Int): Unit =
21 pending.change(map => map + (file -> column))
28 (map /: map.iterator)({ case (m, (file, column)) =>
29 resources.get_model(file) match {
36 Protocol.Preview_Response(file, column, preview.title, preview.content))
37 m - file
39 case None => m - file
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dmain.sml6 (output(stdErr, "Usage: " ^ CommandLine.name() ^ " file.grm\n");
13 [file] => ParseGen.parseGen file
/seL4-l4v-master/HOL4/src/TeX/
H A Dmkmkcline.sml15 | "-o" :: file :: "-static" :: rest => (SOME file, rest, true)
16 | "-o" :: file :: rest => (SOME file, rest, false)
/seL4-l4v-master/HOL4/src/opentheory/logging/
H A DCurl.sig2 val submitFile : {url : string, field : string, file : string} -> TextIO.instream
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dupdate_header.scala58 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
59 } update_header(section, File.path(file))
H A Dupdate_then.scala52 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
53 } update_then(File.path(file))
H A Dupdate_theorems.scala54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
55 } update_theorems(File.path(file))
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dupdate_header.scala58 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
59 } update_header(section, File.path(file))
H A Dupdate_then.scala52 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
53 } update_then(File.path(file))
H A Dupdate_theorems.scala54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
55 } update_theorems(File.path(file))
/seL4-l4v-master/HOL4/examples/HolBdd/
H A DPrintBdd.sml13 (* Tue Oct 9 08:53:21 BST 2001 -- created file *)
15 (* Thu Mar 28 09:40:05 GMT 2002 -- added signature file *)
41 (* Print a BDD to <file>.dot and convert it to <file>.ps; return the bdd *)
44 fun dotBdd file label bdd =
48 (bdd.fnprintdot (file^".dot") bdd;
49 Process.system("dot -G"^glab^" -G"^gsize^" -Tps "^file^".dot -o "^file^".ps");
54 (* Print a term_bdd using a supplied label into <file>.dot; *)
56 (* execute the sed script to create edited_<file>
[all...]
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dfile.scala1 /* Title: Pure/General/file.scala
13 import java.nio.file.{StandardOpenOption, StandardCopyOption, Path => JPath,
15 import java.nio.file.attribute.BasicFileAttributes
49 def standard_path(file: JFile): String = standard_path(file.getPath)
54 if (url.getProtocol == "file" && Url.is_wellformed_file(name))
100 def absolute(file: JFile): JFile = file.toPath.toAbsolutePath.normalize.toFile
101 def absolute_name(file: JFile): String = absolute(file)
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dfile.scala1 /* Title: Pure/General/file.scala
13 import java.nio.file.{StandardOpenOption, StandardCopyOption, Path => JPath,
15 import java.nio.file.attribute.BasicFileAttributes
49 def standard_path(file: JFile): String = standard_path(file.getPath)
54 if (url.getProtocol == "file" && Url.is_wellformed_file(name))
100 def absolute(file: JFile): JFile = file.toPath.toAbsolutePath.normalize.toFile
101 def absolute_name(file: JFile): String = absolute(file)
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/acl2/
H A DMakefile3 cp ../../../examples/acl2/lisp/untranslate-file.lisp .
4 echo "(certify-book \"untranslate-file\")" | acl2
10 /bin/rm fact.lisp fact-out.* untranslate-file.*
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlOpen.sml20 fun bare file = OS.Path.base (OS.Path.file file)
46 fun find_heapname dir file =
50 val fileout = dir ^ "/heapname_" ^ bare file
53 cmd_in_dir (OS.Path.dir file) cmd;
57 | _ => raise ERR "find_heapname" file
59 fun find_genscriptdep dir file =
63 val fileout = dir ^ "/genscriptdep_" ^ bare file
65 [genscriptdep_bin, OS.Path.file fil
[all...]
/seL4-l4v-master/isabelle/src/Tools/Graphview/
H A Dgraph_file.scala18 def write(file: JFile, graphview: Graphview)
32 val name = file.getName
33 if (name.endsWith(".png")) Graphics_File.write_png(file, paint _, w, h)
34 else if (name.endsWith(".pdf")) Graphics_File.write_pdf(file, paint _, w, h)
35 else error("Bad type of file: " + quote(name) + " (.png or .pdf expected)")
38 def write(options: Options, file: JFile, graph: Graph_Display.Graph)
45 write(file, graphview)
/seL4-l4v-master/l4v/isabelle/src/Tools/Graphview/
H A Dgraph_file.scala18 def write(file: JFile, graphview: Graphview)
32 val name = file.getName
33 if (name.endsWith(".png")) Graphics_File.write_png(file, paint _, w, h)
34 else if (name.endsWith(".pdf")) Graphics_File.write_pdf(file, paint _, w, h)
35 else error("Bad type of file: " + quote(name) + " (.png or .pdf expected)")
38 def write(options: Options, file: JFile, graph: Graph_Display.Graph)
45 write(file, graphview)

Completed in 158 milliseconds

1234567891011>>