/seL4-l4v-master/isabelle/src/HOL/Tools/ATP/scripts/ |
H A D | remote_pirate | 2 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 D | remote_pirate | 2 curl -s -F file=@"$2" "http://91.228.53.68:51642/solve/pirate/"$1"s"
|
/seL4-l4v-master/seL4/src/ |
H A D | assert.c | 14 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 D | fake_src.pl | 5 s|^fun MK_XABLE file = .*$|fun MK_XABLE file = (Process.system ("chmod a+x "^file); file)|;
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | SourceFile.sml | 6 * 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 D | SourcePos.sml | 6 * 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 D | preview_panel.scala | 20 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 D | vscode_resources.scala | 4 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 D | preview_panel.scala | 20 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 D | main.sml | 6 (output(stdErr, "Usage: " ^ CommandLine.name() ^ " file.grm\n"); 13 [file] => ParseGen.parseGen file
|
/seL4-l4v-master/HOL4/src/TeX/ |
H A D | mkmkcline.sml | 15 | "-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 D | Curl.sig | 2 val submitFile : {url : string, field : string, file : string} -> TextIO.instream
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | update_header.scala | 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 | 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 | 54 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 D | update_header.scala | 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 | 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 | 54 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 D | PrintBdd.sml | 13 (* 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 D | file.scala | 1 /* 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 D | file.scala | 1 /* 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 D | Makefile | 3 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 D | smlOpen.sml | 20 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 D | graph_file.scala | 18 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 D | graph_file.scala | 18 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)
|