Searched refs:update (Results 1 - 25 of 363) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DSref.sml8 fun update {mutex,v} f = function
9 Multithreading.synchronized "sref.update" mutex
H A DSref.sig6 val update : 'a t -> ('a -> 'a) -> unit (* locks *) value
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/concurrent/
H A DSref.sig6 val update : 'a t -> ('a -> 'a) -> unit (* locks *) value
H A DSref.sml7 fun update s f = (s := f (!s)) function
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dglobals_fn.c27 void update(int *array, int i, int value) function
34 update(garray, 3, 10);
H A Dextern_dups.c35 int update(int i, int value) function
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildcline.sig7 type 'a cline_result = { update : (string -> unit) * 'a -> 'a }
H A Dbuildcline.sml6 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 DupdateSyntax.sml6 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 Dupdate_comments.scala20 @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 Dupdate_comments.scala20 @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 DMap.sml10 val update : 'a map * IntInf.int * 'a -> 'a map value
H A DMutableMapFunctor.sml34 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 DPureMap.sml35 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 Dself_update3 # 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 Dself_update3 # 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 DCharSet.sml29 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 Dtarget.py22 symbols.update (lsymbs)
23 sections.update (lsects)
49 pairings.update (new_pairings)
/seL4-l4v-10.1.1/graph-refine/loop-example/O2/
H A Dtarget.py23 symbols.update (lsymbs)
24 sections.update (lsects)
50 pairings.update (new_pairings)
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dprocess_indicator.scala41 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 Dprocess_indicator.scala41 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 DPackWord8Big.sml31 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 DVarOrder.h48 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 DMD5.sig13 val update : (md5state * Word8Vector.vector) -> md5state value
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dci_profile.scala67 .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)

Completed in 192 milliseconds

1234567891011>>