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

12

/seL4-l4v-master/HOL4/polyml/basis/
H A DThread.sml413 fun getAttrWord (me: thread) : Word.word =
414 RunCall.loadWord(me, threadIdFlags)
416 fun getStackSizeAsInt (me: thread) : int =
417 RunCall.loadWord(me, threadIdStackSize)
419 and getStackSize me : int option =
420 case getStackSizeAsInt me of
436 val me = self() value
437 val oldValues: Word.word = getAttrWord me
439 val stack = newStackSize(attrs, getStackSizeAsInt me)
443 if stack = getStackSizeAsInt me
456 val me = self() value
618 val me = self() (* My thread id. *) value
[all...]
H A DPrimIO.sml115 "give me the rest of the file" knowing that it
/seL4-l4v-master/HOL4/tools/quote-filter/
H A Dquote-filter.sml48 Kenn Heinrich who helped me see the light with respect to this code *)
/seL4-l4v-master/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-master/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-master/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-master/HOL4/tools/
H A Dconfigure-mosml.sml203 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-master/HOL4/examples/RL_Environment/
H A DRL_Environment.sml74 val () = TextIO.print("Give me a number: ")
/seL4-l4v-master/HOL4/tools-poly/
H A Dsmart-configure.sml104 \please run me from the root HOL directory"
/seL4-l4v-master/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-master/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-master/isabelle/src/Pure/Tools/
H A Dphabricator.scala454 val server_name = phabricator_name(name = name, ext = "lvh.me") // alias for "localhost" for testing
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dphabricator.scala454 val server_name = phabricator_name(name = name, ext = "lvh.me") // alias for "localhost" for testing
/seL4-l4v-master/HOL4/examples/acl2/examples/LTL/
H A DLTLScript.sml708 Let me know what you think of this reformulation. If you think it
/seL4-l4v-master/HOL4/examples/algebra/group/
H A DfiniteGroupScript.sml592 (* This is a milestone theorem for me! *)
999 (* Another milestone theorem for me! *)
/seL4-l4v-master/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-master/HOL4/src/tfl/src/
H A DRW.sml103 * allow me to unroll recursive functions.
/seL4-l4v-master/HOL4/src/probability/
H A DhurdUtils.sml322 (* ...and I think < gives a reverse stable sort (but don't quote me). *)
/seL4-l4v-master/HOL4/src/coalgebras/
H A DlbtreeScript.sml551 * me
/seL4-l4v-master/HOL4/src/quotient/examples/
H A Dind_rel.sml608 information in the rule corresponding to this goal to tell me how I
612 to find it for me. This idea is that it ought to go somewhat faster
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DmuCheck.sml498 val _ = dbgTools.DEN dpfx "me" (*DBG*)
510 val _ = dbgTools.DEX dpfx "me" (*DBG*)
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DMATCH_COMPILER.sml90 (* Devised by Mike Fourman, Nick Rothwell and me (DCJM). First coded
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/
H A DholfootScript.sml9094 holfoot_new_action me v (tagL:holfoot_tag list) (s:holfoot_state) =
9096 ~(IS_SOME (me (FST s))) then NONE else
9097 let m = THE (me (FST s)) in
9538 holfoot_dispose_action me e (s:holfoot_state) =
9540 let m_opt = me (FST s) in

Completed in 217 milliseconds

12