| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/ |
| H A D | preface.tex | 57 \section*{How to read this book}
69 Isabelle. This part is intended to be read through. If you are
83 they overlap somewhat so that each chapter can be read in isolation.
85 This book should not be read from start to finish. Instead you might read
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | metis.sml | 96 "Problems can be read from standard input using the " ^
356 Tptp.read {filename = filename, mapping = mapping}
365 fun read mapping filename = function
367 val problem = Tptp.read {filename = filename, mapping = mapping}
511 val tptp = read mapping filename
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | metis.sml | 96 "Problems can be read from standard input using the " ^
356 Tptp.read {filename = filename, mapping = mapping}
365 fun read mapping filename = function
367 val problem = Tptp.read {filename = filename, mapping = mapping}
511 val tptp = read mapping filename
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | iospace.c | 285 1 /* read permission flag */
395 bool_t read = seL4_CapRights_get_capAllowRead(dma_cap_rights_mask) && (frame_cap_rights != VMKernelOnly); local
396 if (write || read) {
397 iopte = vtd_pte_new(paddr, !!write, !!read);
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | GrammarDeltas.sml | 61 read = (fn rtm => Coding.lift (Coding.many (tydelta_reader rtm))),
82 read = (fn rtm => Coding.lift (Coding.many (user_delta_reader rtm))),
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | Theory.sig | 64 read : (string -> term) -> string -> 'a option,
80 read : string -> term,
|
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Tag.sml | 45 fun read s = function
49 else raise ERR "read"
|
| /seL4-l4v-10.1.1/HOL4/developers/ |
| H A D | genUseScript.sml | 24 fun read () = let function
32 (push, read, reset)
|
| /seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/executable-semantics/ |
| H A D | test.v | 55 reg [31:0] data; // Data last read from Sender
96 reg [31:0] data; // Data last read from BUF
|
| H A D | test2.v | 65 reg [31:0] data; // Data last read from Sender
112 reg [31:0] data; // Data last read from BUF
|
| H A D | test_c.v | 52 reg [31:0] data; // Data last read from Sender
92 reg [31:0] data; // Data last read from BUF
|
| H A D | test_c2.v | 52 reg [31:0] data; // Data last read from Sender
92 reg [31:0] data; // Data last read from BUF
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
| H A D | main.scala | 47 val props1 = split_lines(File.read(properties))
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
| H A D | channel.scala | 19 /* read message */
44 def read(): Option[JSON.T] =
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/ |
| H A D | main.scala | 47 val props1 = split_lines(File.read(properties))
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
| H A D | channel.scala | 19 /* read message */
44 def read(): Option[JSON.T] =
|
| /seL4-l4v-10.1.1/l4v/misc/pysymbols/isasymbols/ |
| H A D | isasymbols.py | 148 return Translator(f.read())
|
| /seL4-l4v-10.1.1/HOL4/src/HolQbf/ |
| H A D | selftest.sml | 40 die "Term read not alpha-equivalent to original term."
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibSolver.sml | 218 fun schedule check slice read stat =
233 val r = read ()
266 fun read () = read_meter (!meter) function
269 fn goal => schedule check slce read stat (map (C init_subnode goal) cnodes)
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | file_readerLib.sml | 38 | _ => failwith("Cannot read commit number.")
109 (* read basic section info *)
111 (* read in signature file *)
207 (* read sections *)
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/ |
| H A D | advanced0.tex | 6 independent of each other and can be read in any order.
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/ |
| H A D | advanced0.tex | 6 independent of each other and can be read in any order.
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Bool.sml | 46 NONE => (strm, false) (* Couldn't read it - fail. *)
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | ThmSetData.sml | 25 fun read ty s = function
92 read = Lib.K (read ty), terms = Lib.K [],
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holdep.sml | 133 fun read {assumes, includes, srcext, objext, filename} = let function
153 SOME "sig" => read {assumes = assumes, srcext = "sig", objext = "ui",
155 | SOME "sml" => read {assumes = assumes, srcext = "sml", objext = "uo",
|