Searched refs:read (Results 226 - 250 of 348) sorted by relevance
1234567891011>>
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/ |
H A D | thy_resources.scala | 292 val text = File.read(path)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | vscode_resources.scala | 127 try { Some(Line.normalize(File.read(file))) }
|
/seL4-l4v-10.1.1/HOL4/src/HolQbf/ |
H A D | QbfLibrary.sml | 27 (* returning the lines read (as a list of strings, each terminated by *)
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | metisTools.sml | 435 val {prims,...} = Count.read met
|
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
H A D | Help.sml | 296 handle OS.SysErr _ => raise Fail "Cannot read help database!"
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
H A D | x86_seq_monadScript.sml | 171 (* a memory read to an unmodelled memory location causes a failure *)
|
/seL4-l4v-10.1.1/HOL4/Manual/Description/ |
H A D | HolQbf.tex | 152 \ml{QDimacs.read\_qdimacs\_file f path} parses an existing QDIMACS
|
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
H A D | HolQbf.tex | 149 \ml{QDimacs.read\_qdimacs\_file f path} parses an existing QDIMACS
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Clipboard.sml | 263 (* Loop until we have read the whole string. The result may legitimately be
|
/seL4-l4v-10.1.1/isabelle/src/HOL/SPARK/Manual/document/ |
H A D | intro.tex | 54 mentioned above, is read by a tool called POGS (\textbf{P}roof \textbf{O}bli\textbf{G}ation
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | ForeignMemory.sml | 83 (* A weak byte cell is cleared to zero when it is read in either from the
|
H A D | LargeWord.sml | 54 once we have read a valid digit. *)
|
H A D | String.sml | 713 NONE if it cannot read a single character whereas String.scan returns NONE only 716 a bad escape but SOME("", strm) if it encounters end-of-stream or has read a 868 | SOME("", strm') => (* May be end-of-string or we may have read a format sequence. *) 1031 | SOME("", strm') => (* End of input or read a format sequence. *)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/SPARK/Manual/document/ |
H A D | intro.tex | 54 mentioned above, is read by a tool called POGS (\textbf{P}roof \textbf{O}bli\textbf{G}ation
|
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/ |
H A D | getting.tex | 36 regarded as primes; for instance \texttt{x'} is read as~$x'$. Identifiers are 47 {\tt==>} is read as a single symbol. But \hbox{\tt= =>} is read as two
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/ |
H A D | getting.tex | 36 regarded as primes; for instance \texttt{x'} is read as~$x'$. Identifiers are 47 {\tt==>} is read as a single symbol. But \hbox{\tt= =>} is read as two
|
/seL4-l4v-10.1.1/HOL4/examples/bmark/ |
H A D | Bmark.sml | 666 val _ = Count.report(Count.read meter);
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/ |
H A D | arm8_stepScript.sml | 475 (* read mem *)
|
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/ |
H A D | termScript.sml | 606 (* Now, printed interactively, we read
|
/seL4-l4v-10.1.1/HOL4/examples/logic/ |
H A D | PropLogicScript.sml | 285 (* The following statement can also be read (more comfortably) as *)
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
H A D | x64_seq_monadScript.sml | 178 (* a memory read to an unmodelled memory location causes a failure *)
|
/seL4-l4v-10.1.1/HOL4/Manual/Tools/ |
H A D | polyscripter.sml | 56 fun compiler {push = obufPush, read = obufRD, reset = obufRST} handler infn =
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
H A D | arm_evalLib.sml | 53 raise OS.SysErr ("Cannot read file: " ^ infile,NONE)
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
H A D | testEncode.sml | 265 (* The example is a machine that processes read and write instructions *)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | basicio.cpp | 191 Conversely using ReadFile to read less than a line causes the handle 526 // We can now try to read without blocking. 548 haveRead = read(fd, base+offset, length); 593 // We can now try to read without blocking. 608 haveRead = read(fd, buff, length); 1121 /* The next entry to read is already in the buffer. FindFirstFile 1444 /* Test whether the file is read-only. This is, of course, 1454 /* If we asked for write access but it is read-only we 1636 /* We don't know whether it's open for read, write or even if
|
Completed in 259 milliseconds
1234567891011>>