/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/ |
H A D | Sref.sml | 8 fun update {mutex,v} f = function 9 Multithreading.synchronized "sref.update" mutex
|
H A D | Sref.sig | 6 val update : 'a t -> ('a -> 'a) -> unit (* locks *) value
|
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/concurrent/ |
H A D | Sref.sig | 6 val update : 'a t -> ('a -> 'a) -> unit (* locks *) value
|
H A D | Sref.sml | 7 fun update s f = (s := f (!s)) function
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | globals_fn.c | 27 void update(int *array, int i, int value) function 34 update(garray, 3, 10);
|
H A D | extern_dups.c | 35 int update(int i, int value) function
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | buildcline.sig | 7 type 'a cline_result = { update : (string -> unit) * 'a -> 'a }
|
H A D | buildcline.sml | 6 type 'a cline_result = { update : (string -> unit) * 'a -> 'a } 51 NoArg (fn () => { update = fn (wn,t) => updateT t (U sel b) $$ }) 53 NoArg (fn () => { update = fn (wn,t) => updateT t (U sel (SOME b)) $$ }) 56 ReqArg ((fn s => { update = fn (wn,t) => 65 ReqArg ((fn s => { update = fn (wn,t) => 89 NONE => {update = doit (OK dflt)} 90 | SOME i_s => {update = doit (readInt i_s)}), "int") 94 ReqArg ((fn s => { update = fn (wn,t) => 104 { update = 119 update [all...] |
/seL4-l4v-10.1.1/HOL4/src/update/ |
H A D | updateSyntax.sml | 6 val monop = HolKernel.syntax_fns1 "update" 7 val binop = HolKernel.syntax_fns2 "update" 11 make = Lib.curry boolSyntax.mk_icomb} "update"
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
H A D | update_comments.scala | 20 @tailrec def update(toks: List[Token], result: List[String]): String = 27 update(rest1, make_comment(tok1) :: result) 28 case _ => update(rest, tok.source :: result) 31 update(rest, make_comment(tok) :: result) 32 case tok :: rest => update(rest, tok.source :: result) 38 val text1 = update(Token.explode(Keyword.Keywords.empty, text0), Nil) 50 Isabelle_Tool("update_comments", "update formal comments in outer syntax", args => 55 Recursively find .thy files and update formal comments in outer syntax.
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/ |
H A D | update_comments.scala | 20 @tailrec def update(toks: List[Token], result: List[String]): String = 27 update(rest1, make_comment(tok1) :: result) 28 case _ => update(rest, tok.source :: result) 31 update(rest, make_comment(tok) :: result) 32 case tok :: rest => update(rest, tok.source :: result) 38 val text1 = update(Token.explode(Keyword.Keywords.empty, text0), Nil) 50 Isabelle_Tool("update_comments", "update formal comments in outer syntax", args => 55 Recursively find .thy files and update formal comments in outer syntax.
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
H A D | Map.sml | 10 val update : 'a map * IntInf.int * 'a -> 'a map value
|
H A D | MutableMapFunctor.sml | 34 fun update (Array a, v, d) = (Array.update (a, IntInf.toInt v, d); Array a) function 35 | update (Tree (s, d, t), v, e) = 41 SOME a => (Array.update (a, bottom, e); Tree (s, d, t)) 45 val () = Array.update (a, bottom, e) 64 val m = update (m, 1, 1); 66 val m = update (m, 1, 2); 70 val m = update (m, 1, 1); 72 val m = update (m, 1, 2);
|
H A D | PureMap.sml | 35 fun update (Vector a, v, d) = Vector (Vector.update (a, IntInf.toInt v, d)) function 36 | update (VTree (s, d, t), v, e) = 43 VTree (s, d, Ptree.add (t, (top, Vector.update (a, bottom, e)))) 65 val m = update (m, 1, 1); 67 val m = update (m, 1, 2);
|
/seL4-l4v-10.1.1/isabelle/Admin/cronjob/ |
H A D | self_update | 3 # self-update of the administrative isabelle repository 15 hg -R isabelle update -C || echo "self_update update failed" >&2
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/cronjob/ |
H A D | self_update | 3 # self-update of the administrative isabelle repository 15 hg -R isabelle update -C || echo "self_update update failed" >&2
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | CharSet.sml | 29 fun update(i,w) = if i = d then orb(w, cword) else w function 31 mapi update cs 54 fun update(i, w) = orb(w, sub(cs2, i)) function 56 mapi update cs1 60 fun update(i, w) = andb(w, sub(cs2, i)) function 62 mapi update cs1
|
/seL4-l4v-10.1.1/graph-refine/loop-example/O1/ |
H A D | target.py | 22 symbols.update (lsymbs) 23 sections.update (lsects) 49 pairings.update (new_pairings)
|
/seL4-l4v-10.1.1/graph-refine/loop-example/O2/ |
H A D | target.py | 23 symbols.update (lsymbs) 24 sections.update (lsects) 50 pairings.update (new_pairings)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | process_indicator.scala | 41 def update(rate: Int) 62 def update(tip: String, rate: Int) 65 animation.update(rate)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | process_indicator.scala | 41 def update(rate: Int) 62 def update(tip: String, rate: Int) 65 animation.update(rate)
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | PackWord8Big.sml | 31 val update : Word8Array.array * int * LargeWord.word -> unit value 44 fun update(a, i, v) = Word8Array.update(a, i, Word8.fromLargeWord v) function 102 fun update(a, i, v) = function 103 (* Check the index before doing any update. *) 107 (Word8Array.update(a, i*2+1, Word8.fromLargeWord v); 108 Word8Array.update(a, i*2, Word8.fromLargeWord(v >> 0w8)) 133 fun update(a, i, v) = function 134 (* Check the index before doing any update. *) 138 (Word8Array.update( 168 fun update(a, i, v) = function 205 fun update(a, i, v) = function [all...] |
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | VarOrder.h | 48 inline void update(Var x); // Called when variable increased in activity. 61 void VarOrder::update(Var x) function in class:VarOrder
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
H A D | MD5.sig | 13 val update : (md5state * Word8Vector.vector) -> md5state value
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | ci_profile.scala | 67 .bool.update("browser_info", true) 68 .string.update("document", "pdf") 69 .string.update("document_variants", "document:outline=/proof,/ML") 96 .int.update("parallel_proofs", 1) 97 .int.update("threads", threads)
|