/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | remote_dmg.scala | 52 val (user, host, tar_gz_file, dmg_file) = 54 case List(SSH.Target(user, host), tar_gz_file, dmg_file) => 55 (user, host, Path.explode(tar_gz_file), Path.explode(dmg_file)) 60 using(SSH.open_session(options, host = host, user = user, port = port))(
|
H A D | isabelle_cronjob.scala | 150 host: String, 171 context.open_session(host = proper_string(ssh_host) getOrElse host, user = user, port = port, 177 SQL.member(Build_Log.Prop.build_host.ident, host :: more_hosts) + 307 List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail, 335 val task_name = "build_history-" + r.host 343 isabelle_repos.ext(r.host),
|
H A D | build_log.scala | 378 def parse(engine: String, host: String, start: Date, 383 val prefix = proper_string(host) orElse proper_string(engine) getOrElse "build" 387 val build_host = if (host == "") Nil else List(Prop.build_host.name -> host) 416 case Isatest.Start(log_file.Strict_Date(start), host) :: _ => 417 parse(Isatest.engine, host, start, Isatest.End, 420 case AFP_Test.Start(log_file.Strict_Date(start), host) :: _ => 421 parse(AFP_Test.engine, host, start, AFP_Test.End, 431 val host = 435 parse(Jenkins.engine, host, star [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | remote_dmg.scala | 52 val (user, host, tar_gz_file, dmg_file) = 54 case List(SSH.Target(user, host), tar_gz_file, dmg_file) => 55 (user, host, Path.explode(tar_gz_file), Path.explode(dmg_file)) 60 using(SSH.open_session(options, host = host, user = user, port = port))(
|
H A D | isabelle_cronjob.scala | 150 host: String, 171 context.open_session(host = proper_string(ssh_host) getOrElse host, user = user, port = port, 177 SQL.member(Build_Log.Prop.build_host.ident, host :: more_hosts) + 307 List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail, 335 val task_name = "build_history-" + r.host 343 isabelle_repos.ext(r.host),
|
H A D | build_log.scala | 378 def parse(engine: String, host: String, start: Date, 383 val prefix = proper_string(host) orElse proper_string(engine) getOrElse "build" 387 val build_host = if (host == "") Nil else List(Prop.build_host.name -> host) 416 case Isatest.Start(log_file.Strict_Date(start), host) :: _ => 417 parse(Isatest.engine, host, start, Isatest.End, 420 case AFP_Test.Start(log_file.Strict_Date(start), host) :: _ => 421 parse(AFP_Test.engine, host, start, AFP_Test.End, 431 val host = 435 parse(Jenkins.engine, host, star [all...] |
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | ssh.scala | 20 /* target machine: user@host syntax */ 28 case Pattern(user, host) => (user, host) 35 case (user, host) => Some(List(user, host)) 77 def open_session(options: Options, host: String, user: String = "", port: Int = 0, 80 init_context(options).open_session(host = host, user = user, port = port, 88 def connect_session(host: String, user: String = "", port: Int = 0, 93 val session = jsch.getSession(proper_string(user) getOrElse null, host, make_por [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | ssh.scala | 20 /* target machine: user@host syntax */ 28 case Pattern(user, host) => (user, host) 35 case (user, host) => Some(List(user, host)) 77 def open_session(options: Options, host: String, user: String = "", port: Int = 0, 80 init_context(options).open_session(host = host, user = user, port = port, 88 def connect_session(host: String, user: String = "", port: Int = 0, 93 val session = jsch.getSession(proper_string(user) getOrElse null, host, make_por [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | build-ios.sh | 20 ../configure --host=${triple} && make
|
H A D | ltmain.sh | 2066 host-triplet: $host 2158 echo "host: $host" 2418 case $host in 2753 # and $host is mingw, cygwin, or some other w32 environment. Relies on a 2785 # $host is mingw, cygwin, or some other w32 environment. Relies on a correctly 2822 # $build is MSYS and $host is Cygwin, or (3) $build is Cygwin. In case (1) or 2867 # Verify that ARG1 (a file name in $build format) was converted to $host 2875 func_error "Could not determine host fil [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | network.cpp | 304 static Handle makeHostEntry(TaskData *taskData, struct hostent *host); 1189 struct hostent *host = (struct hostent *)arg; local 1194 for (j = 0; j < host->h_length; j++) 1199 /* Convert a host entry into a tuple for ML. */ 1200 static Handle makeHostEntry(TaskData *taskData, struct hostent *host) argument 1212 name = SAVE(C_string_to_Poly(taskData, host->h_name)); 1215 for (i=0, p = host->h_aliases; *p != NULL; p++, i++); 1216 aliases = convert_string_list(taskData, i, host->h_aliases); 1219 addrType = Make_arbitrary_precision(taskData, host->h_addrtype); 1223 for (i=0, p = host 1661 struct hostent *host = gethostbyname(hostName); local 1681 struct hostent *host = gethostbyaddr((char*)&addr, sizeof(addr), AF_INET); local [all...] |
H A D | Makefile.in | 92 host_triplet = @host@ 431 host = @host@
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | ltmain.sh | 2066 host-triplet: $host 2158 echo "host: $host" 2418 case $host in 2753 # and $host is mingw, cygwin, or some other w32 environment. Relies on a 2785 # $host is mingw, cygwin, or some other w32 environment. Relies on a correctly 2822 # $build is MSYS and $host is Cygwin, or (3) $build is Cygwin. In case (1) or 2867 # Verify that ARG1 (a file name in $build format) was converted to $host 2875 func_error "Could not determine host fil [all...] |
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/ |
H A D | values.ml | 8 % constants, definitions, and axioms common to both the host level %
|
H A D | microcode.ml | 144 The following generates axioms defining the host's microcode MICROCODE
|
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
H A D | Makefile.in | 89 host_triplet = @host@ 236 host = @host@
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/ |
H A D | Makefile.in | 90 host_triplet = @host@ 290 host = @host@
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/ |
H A D | Makefile.in | 89 host_triplet = @host@ 273 host = @host@
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/ |
H A D | libffi.exp | 125 if { [is_remote host] == 0 && [which $compiler] != 0 } {
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | problems2tptp.sml | 54 ["TPTP file created by " ^ host () ^ " at " ^
|
H A D | Useful.sig | 298 val host : unit -> string value
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | problems2tptp.sml | 54 ["TPTP file created by " ^ host () ^ " at " ^
|
/seL4-l4v-10.1.1/HOL4/polyml/modules/ |
H A D | Makefile.in | 89 host_triplet = @host@ 296 host = @host@
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/ |
H A D | Makefile.in | 90 host_triplet = @host@ 317 host = @host@
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/ |
H A D | Makefile.in | 89 host_triplet = @host@ 246 host = @host@
|