Searched refs:me (Results 1 - 25 of 32) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DThread.sml321 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 DPrimIO.sml115 "give me the rest of the file" knowing that it
/seL4-l4v-10.1.1/HOL4/tools/quote-filter/
H A Dquote-filter.sml38 Kenn Heinrich who helped me see the light with respect to this code *)
/seL4-l4v-10.1.1/isabelle/src/Doc/
H A Dpreface.tex113 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 Dpreface.tex113 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 Dconfig.guess35 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 Dconfig.sub53 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 Dconfig.guess35 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 Dconfig.sub53 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 Dconfigure-mosml.sml208 print "please run me from the root HOL directory\n";
H A Dbuildutils.sml39 val me = Systeml.find_my_path() value
44 if whereami = me then ()
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dsmart-configure.sml102 \please run me from the root HOL directory"
/seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/
H A Droot.tex207 % 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 Ddescription.tex237 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 Dppc_opsemScript.sml331 (ppc_exec_instr ii (Prlwinm rd r1 sh mb me) = failureT) /\
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/LTL/
H A DLTLScript.sml708 Let me know what you think of this reformulation. If you think it
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sml329 (* ...and I think < gives a reverse stable sort (but don't quote me). *)
H A DsubtypeUseful.sml329 (* ...and I think < gives a reverse stable sort (but don't quote me). *)
/seL4-l4v-10.1.1/HOL4/src/coalgebras/
H A DlbtreeScript.sml548 * me
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DRecftn.sml384 (* 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 DRW.sml105 * allow me to unroll recursive functions.
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sml305 (* ...and I think < gives a reverse stable sort (but don't quote me). *)
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml618 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 DmuCheck.sml498 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 DMATCH_COMPILER.sml93 (* Devised by Mike Fourman, Nick Rothwell and me (DCJM). First coded

Completed in 131 milliseconds

12