Searched refs:read (Results 201 - 225 of 348) sorted by relevance
1234567891011>>
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | TheoryReader.sml | 237 read = Term.read_raw tmvector,
|
| H A D | ThyDataSexp.sml | 236 terms = sterms, read = lift o reader, write = write}
|
| /seL4-l4v-10.1.1/HOL4/src/real/ |
| H A D | prove_real_assumsScript.sml | 82 (could be read in via article for more robustness)
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
| H A D | ppc_seq_monadScript.sml | 87 (* a memory read to an unmodelled memory location causes a failure *)
|
| /seL4-l4v-10.1.1/HOL4/examples/misc/ |
| H A D | autopilotScript.sml | 365 val _ = Count.report (Count.read meter);
|
| /seL4-l4v-10.1.1/HOL4/examples/unification/triangular/first-order/ |
| H A D | redUnifScript.sml | 183 step and because the idempotent substitution is supposed to be read off the
|
| /seL4-l4v-10.1.1/HOL4/developers/ |
| H A D | prehol.sml | 195 val toks = ReadHMF.read "Holmakefile"
|
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
| H A D | profTools.sml | 63 val {prims=p,...} = read mtr
|
| /seL4-l4v-10.1.1/seL4/tools/ |
| H A D | lex.py | 1027 data = f.read()
1031 data = sys.stdin.read()
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/ |
| H A D | riscv_stepScript.sml | 730 val read = if Lib.mem n ["LD"] then [address_aligned3] else [] value
736 val thms = DB.fetch "riscv" (name ^ "_def") :: write @ read
|
| /seL4-l4v-10.1.1/HOL4/src/TeX/ |
| H A D | EmitTeX.sml | 111 let val tyinfo = TypeBase.read {Thy = thy, Tyop = tyop} in
131 let val tyinfo = TypeBase.read {Thy = thy, Tyop = tyop} in
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | folTools.sml | 525 val {prims,...} = Count.read met
609 val tptp_read = fol_to_hol o mlibTptp.read;
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/ |
| H A D | objectScript.sml | 611 (* Printed interactively, we read
666 (* Now, printed interactively, we read
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
| H A D | build_history.scala | 575 for (line <- split_lines(ssh.read(output_file)))
|
| H A D | isabelle_cronjob.scala | 459 try { Some(File.read(main_state_file)) }
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
| H A D | completion.scala | 73 list(pair(string, int))(Symbol.decode_yxml(File.read(COMPLETION_HISTORY)))
|
| H A D | scan.scala | 431 /** read stream without decoding: efficient length operation **/
466 c = buffered_stream.read
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
| H A D | resources.scala | 156 val header = Thy_Header.read(reader, start, strict)
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Thy/ |
| H A D | thy_resources.scala | 292 val text = File.read(path)
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
| H A D | vscode_resources.scala | 127 try { Some(Line.normalize(File.read(file))) }
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
| H A D | build_history.scala | 575 for (line <- split_lines(ssh.read(output_file)))
|
| H A D | isabelle_cronjob.scala | 459 try { Some(File.read(main_state_file)) }
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
| H A D | completion.scala | 73 list(pair(string, int))(Symbol.decode_yxml(File.read(COMPLETION_HISTORY)))
|
| H A D | scan.scala | 431 /** read stream without decoding: efficient length operation **/
466 c = buffered_stream.read
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
| H A D | resources.scala | 156 val header = Thy_Header.read(reader, start, strict)
|
Completed in 203 milliseconds
1234567891011>>