/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Thread.sml | 413 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 D | PrimIO.sml | 115 "give me the rest of the file" knowing that it
|
/seL4-l4v-master/HOL4/tools/quote-filter/ |
H A D | quote-filter.sml | 48 Kenn Heinrich who helped me see the light with respect to this code *)
|
/seL4-l4v-master/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-master/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-master/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-master/HOL4/tools/ |
H A D | configure-mosml.sml | 203 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-master/HOL4/examples/RL_Environment/ |
H A D | RL_Environment.sml | 74 val () = TextIO.print("Give me a number: ")
|
/seL4-l4v-master/HOL4/tools-poly/ |
H A D | smart-configure.sml | 104 \please run me from the root HOL directory"
|
/seL4-l4v-master/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-master/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-master/isabelle/src/Pure/Tools/ |
H A D | phabricator.scala | 454 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 D | phabricator.scala | 454 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 D | LTLScript.sml | 708 Let me know what you think of this reformulation. If you think it
|
/seL4-l4v-master/HOL4/examples/algebra/group/ |
H A D | finiteGroupScript.sml | 592 (* This is a milestone theorem for me! *) 999 (* Another milestone theorem for me! *)
|
/seL4-l4v-master/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-master/HOL4/src/tfl/src/ |
H A D | RW.sml | 103 * allow me to unroll recursive functions.
|
/seL4-l4v-master/HOL4/src/probability/ |
H A D | hurdUtils.sml | 322 (* ...and I think < gives a reverse stable sort (but don't quote me). *)
|
/seL4-l4v-master/HOL4/src/coalgebras/ |
H A D | lbtreeScript.sml | 551 * me
|
/seL4-l4v-master/HOL4/src/quotient/examples/ |
H A D | ind_rel.sml | 608 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 D | muCheck.sml | 498 val _ = dbgTools.DEN dpfx "me" (*DBG*) 510 val _ = dbgTools.DEX dpfx "me" (*DBG*)
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | MATCH_COMPILER.sml | 90 (* Devised by Mike Fourman, Nick Rothwell and me (DCJM). First coded
|
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
H A D | holfootScript.sml | 9094 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
|