/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Thread.sml | 321 fun getAttrWord (me: thread) : Word.word = 322 RunCall.loadWord(me, threadIdFlags) 324 fun getStackSizeAsInt (me: thread) : int = 325 RunCall.loadWord(me, threadIdStackSize) 327 and getStackSize me : int option = 328 case getStackSizeAsInt me of 344 val me = self() value 345 val oldValues: Word.word = getAttrWord me 347 val stack = newStackSize(attrs, getStackSizeAsInt me) 351 if stack = getStackSizeAsInt me 364 val me = self() value 528 val me = self() (* My thread id. *) value [all...] |
H A D | PrimIO.sml | 115 "give me the rest of the file" knowing that it
|
/seL4-l4v-10.1.1/HOL4/tools/quote-filter/ |
H A D | quote-filter.sml | 38 Kenn Heinrich who helped me see the light with respect to this code *)
|
/seL4-l4v-10.1.1/isabelle/src/Doc/ |
H A D | preface.tex | 113 Isabelle. To join, send me a message via {\tt lcp\at cl.cam.ac.uk}. 114 Please notify me of any errors you find in this book.
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/ |
H A D | preface.tex | 113 Isabelle. To join, send me a message via {\tt lcp\at cl.cam.ac.uk}. 114 Please notify me of any errors you find in this book.
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | config.guess | 35 me=`echo "$0" | sed -e 's,.*/,,'` 40 Output the configuration name of the system \`$me' is run on. 59 Try \`$me --help' for more information." 75 echo "$me: invalid option $1$help" >&2 83 echo "$me: too many arguments$help" >&2 106 { echo "$me: cannot create a temporary directory in $TMPDIR" >&2 ; exit 1 ; } ;
|
H A D | config.sub | 53 me=`echo "$0" | sed -e 's,.*/,,'` 76 Try \`$me --help' for more information." 92 echo "$me: invalid option $1$help" 106 0) echo "$me: missing argument$help" >&2 109 *) echo "$me: too many arguments$help" >&2
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | config.guess | 35 me=`echo "$0" | sed -e 's,.*/,,'` 40 Output the configuration name of the system \`$me' is run on. 59 Try \`$me --help' for more information." 75 echo "$me: invalid option $1$help" >&2 83 echo "$me: too many arguments$help" >&2 106 { echo "$me: cannot create a temporary directory in $TMPDIR" >&2 ; exit 1 ; } ;
|
H A D | config.sub | 53 me=`echo "$0" | sed -e 's,.*/,,'` 76 Try \`$me --help' for more information." 92 echo "$me: invalid option $1$help" 106 0) echo "$me: missing argument$help" >&2 109 *) echo "$me: too many arguments$help" >&2
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | configure-mosml.sml | 208 print "please run me from the root HOL directory\n";
|
H A D | buildutils.sml | 39 val me = Systeml.find_my_path() value 44 if whereami = me then ()
|
/seL4-l4v-10.1.1/HOL4/tools-poly/ |
H A D | smart-configure.sml | 102 \please run me from the root HOL directory"
|
/seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/ |
H A D | root.tex | 207 % foolishly expecting me to back up what I'm saying. Fake a bibliography to
|
/seL4-l4v-10.1.1/HOL4/src/coretypes/pair-Manual/ |
H A D | description.tex | 237 If you do find a bug please report it to me, preferably along with a
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
H A D | ppc_opsemScript.sml | 331 (ppc_exec_instr ii (Prlwinm rd r1 sh mb me) = failureT) /\
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/LTL/ |
H A D | LTLScript.sml | 708 Let me know what you think of this reformulation. If you think it
|
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/ |
H A D | formalizeUseful.sml | 329 (* ...and I think < gives a reverse stable sort (but don't quote me). *)
|
H A D | subtypeUseful.sml | 329 (* ...and I think < gives a reverse stable sort (but don't quote me). *)
|
/seL4-l4v-10.1.1/HOL4/src/coalgebras/ |
H A D | lbtreeScript.sml | 548 * me
|
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/ |
H A D | Recftn.sml | 384 (* lookup_ftn will tell me, for each type, if it is one of the recursive
|
/seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
H A D | RW.sml | 105 * allow me to unroll recursive functions.
|
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/ |
H A D | HurdUseful.sml | 305 (* ...and I think < gives a reverse stable sort (but don't quote me). *)
|
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/ |
H A D | ind_rel.sml | 618 information in the rule corresponding to this goal to tell me how I 622 to find it for me. This idea is that it ought to go somewhat faster
|
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | muCheck.sml | 498 val _ = dbgTools.DEN dpfx "me" (*DBG*) 510 val _ = dbgTools.DEX dpfx "me" (*DBG*)
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | MATCH_COMPILER.sml | 93 (* Devised by Mike Fourman, Nick Rothwell and me (DCJM). First coded
|