/seL4-l4v-10.1.1/seL4/tools/python-deps/ |
H A D | setup.py | 45 url="https://sel4.systems", variable
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/logging/ |
H A D | Curl.sig | 2 val submitFile : {url : string, field : string, file : string} -> TextIO.instream
|
H A D | Curl.sml | 2 fun submitFile {url,field,file} = let 5 val _ = if isSuccess(system("curl -sSH'Expect:' -F'"^field^"=@"^file^"' '"^url^"' >"^t)) then ()
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
H A D | OpenTheoryIO.sml | 41 fun url_conv url tm = let 44 val t = Curl.submitFile {url=url,field="article",file=t}
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | jenkins.scala | 23 def invoke(url: String, args: String*): Any = 25 val req = url + "/api/json?" + args.mkString("&") 82 session_logs.collectFirst({ case (a, b, url) if a == session_name && b == ext => url }) 85 case Some(url) => 87 Bytes.write(database, Bytes.read(url)) 92 case Some(url) => 93 val log_file = Build_Log.Log_File(session_name, Url.read_gzip(url))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | jenkins.scala | 23 def invoke(url: String, args: String*): Any = 25 val req = url + "/api/json?" + args.mkString("&") 82 session_logs.collectFirst({ case (a, b, url) if a == session_name && b == ext => url }) 85 case Some(url) => 87 Bytes.write(database, Bytes.read(url)) 92 case Some(url) => 93 val log_file = Build_Log.Log_File(session_name, Url.read_gzip(url))
|
/seL4-l4v-10.1.1/isabelle/src/Doc/JEdit/document/ |
H A D | root.tex | 65 \item TU M\"unchen \url{http://www.in.tum.de} 66 \item BMBF \url{http://www.bmbf.de} 67 \item Universit\'e Paris-Sud \url{http://www.u-psud.fr} 68 \item Digiteo \url{http://www.digiteo.fr} 69 \item ANR \url{http://www.agence-nationale-recherche.fr}
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/JEdit/document/ |
H A D | root.tex | 65 \item TU M\"unchen \url{http://www.in.tum.de} 66 \item BMBF \url{http://www.bmbf.de} 67 \item Universit\'e Paris-Sud \url{http://www.u-psud.fr} 68 \item Digiteo \url{http://www.digiteo.fr} 69 \item ANR \url{http://www.agence-nationale-recherche.fr}
|
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics/document/ |
H A D | preface.tex | 58 \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\ 59 \url{https://isabelle.in.tum.de/library/} \\
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics/document/ |
H A D | preface.tex | 58 \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\ 59 \url{https://isabelle.in.tum.de/library/} \\
|
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | http.scala | 116 def url: String = "http://" + address.getHostName + ":" + address.getPort 117 override def toString: String = url
|
H A D | bytes.scala | 93 def read(url: URL): Bytes = using(url.openStream)(read_stream(_))
|
H A D | sql.scala | 464 val (url, name, port_forwarding) = 468 val url = "jdbc:postgresql://" + spec 470 (url, name, None) 476 val url = "jdbc:postgresql://localhost:" + fw.local_port + db_name 478 (url, name, Some(fw)) 481 val connection = DriverManager.getConnection(url, user, password)
|
H A D | file.scala | 52 val url = new URL(name) 53 if (url.getProtocol == "file" && Url.is_wellformed_file(name))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | http.scala | 116 def url: String = "http://" + address.getHostName + ":" + address.getPort 117 override def toString: String = url
|
H A D | bytes.scala | 93 def read(url: URL): Bytes = using(url.openStream)(read_stream(_))
|
H A D | sql.scala | 464 val (url, name, port_forwarding) = 468 val url = "jdbc:postgresql://" + spec 470 (url, name, None) 476 val url = "jdbc:postgresql://localhost:" + fw.local_port + db_name 478 (url, name, Some(fw)) 481 val connection = DriverManager.getConnection(url, user, password)
|
H A D | file.scala | 52 val url = new URL(name) 53 if (url.getProtocol == "file" && Url.is_wellformed_file(name))
|
/seL4-l4v-10.1.1/HOL4/Manual/Description/ |
H A D | HolQbf.tex | 36 \url{http://www.cprover.org/qbv/download.html}. After installation, 142 2005), as described at \url{http://www.qbflib.org/qdimacs.html}. The 180 Please submit additional feature requests (or code contributions) via \url{http://github.com/HOL-Theorem-Prover/HOL}. 195 (\url{http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP}).
|
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
H A D | HolQbf.tex | 36 \url{http://www.cprover.org/qbv/download.html}. After installation, 139 2005), as described at \url{http://www.qbflib.org/qdimacs.html}. The 177 Please submit additional feature requests (or code contributions) via \url{http://github.com/mn200/HOL}. 192 (\url{http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP}).
|
H A D | HolSat.tex | 7 %\usepackage{url} 125 Other SAT solvers are currently not supported. If you would like such support to be added for your favourite solver, please send a feature request via \url{http://github.com/mn200/HOL}. 140 The name of a file in DIMACS format.\footnote{\url{http://www.satlib.org/Benchmarks/SAT/satformat.ps}}. Overrides \texttt{term} if set. The input term is instead read from the file.
|
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/ |
H A D | intro.tex | 15 \url{http://hol.sourceforge.net}. Lo schema di denominazione per le release di 24 \url{http://lists.sourceforge.net/lists/listinfo/hol-info}. Questa 92 sul web all'indirizzo \url{http://www.itu.dk/~sestoft/mosml.html}. 93 Poly/ML � disponibile all'indirizzo \url{http://polyml.org}.
|
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/ |
H A D | intro.tex | 14 The \HOL{} system can be downloaded from \url{http://hol-theorem-prover.org}. 22 \url{http://lists.sourceforge.net/lists/listinfo/hol-info}. This 90 Poly/ML is available from \url{http://polyml.org}. 91 Moscow~ML is available on the web from \url{http://mosml.org}.
|
/seL4-l4v-10.1.1/isabelle/src/HOL/MicroJava/document/ |
H A D | introduction.tex | 49 (\url{https://isabelle.in.tum.de/verificard/Bali/document.pdf}), which 104 \url{https://isabelle.in.tum.de/verificard/obj-init/document.pdf}),
|
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/MicroJava/document/ |
H A D | introduction.tex | 49 (\url{https://isabelle.in.tum.de/verificard/Bali/document.pdf}), which 104 \url{https://isabelle.in.tum.de/verificard/obj-init/document.pdf}),
|