Searched refs:update (Results 201 - 225 of 363) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/misc/git-commit-emails/
H A Dcommit-email.py298 remote.update()
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Drich_text_area.scala128 def update(new_info: Option[Text.Info[A]])
153 { update(rendering(r)(range)) }
155 def reset { update(None) }
H A Ddebugger_dockable.scala98 pretty_text_area.update(new_snapshot, Command.Results.empty, Pretty.separate(new_output))
H A Djedit_editor.scala28 session.update(doc_blobs, edits)
H A Dtoken_markup.scala259 val structure1 = structure.update(syntax.keywords, tokens)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Drich_text_area.scala128 def update(new_info: Option[Text.Info[A]])
153 { update(rendering(r)(range)) }
155 def reset { update(None) }
H A Ddebugger_dockable.scala98 pretty_text_area.update(new_snapshot, Command.Results.empty, Pretty.separate(new_output))
H A Djedit_editor.scala28 session.update(doc_blobs, edits)
H A Dtoken_markup.scala259 val structure1 = structure.update(syntax.keywords, tokens)
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_pp.sml510 raise PP_ERR "pp_term" "Invalid rule for record update operator"
517 raise PP_ERR "pp_term" "Invalid rule for record f-update operator"
542 "Invalid form of rule for record update list"
1032 (* function to determine if t is a record update *)
1043 update is found. Return this and the list of rators up to
1076 (* first strip suffix, and decide if a normal update *)
1106 (* t is an update, possibly a bigrec monster. Here we generate
1108 new value in the update), each with an accompanying field
1109 string, and a boolean, which is true iff the update is a value
1110 update (no
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DYices.sml635 val (update, f) = Term.dest_comb update_f value
642 "not a field selector (update function not in eta-long form)"
644 val (update_name, _) = Term.dest_const update
651 is identical to the field update function's name may already be
663 (acc, "(update " ^ yices_x ^ " " ^ fname ^ " " ^ yices_val ^ ")")
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Dselftest.sml37 fun update (l,r) = "[" ^ t2s l ^ " <- " ^ t2s r ^ "]\n" function
40 List.app (print o update) d2;
42 List.app (print o update) d1
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_LAMBDA_LIFT.sml60 fun markExtract(LoadLocal n) = BoolArray.update(localsNeedClosures, n, true)
226 Array.update(processedLambdas, addr, SOME constntAndArgs);
250 fn (ca, {addr, ...}) => Array.update(processedLambdas, addr, SOME ca))
H A DCODETREE_REMOVE_REDUNDANT.sml46 Array.update(locals, addr, use @ Array.sub(locals, addr))
67 fun checkArg(addr, uses) = Array.update(argUses, addr, uses @ Array.sub(argUses, addr))
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBoolArray.sml278 fun update (v as Vector(len, _), i, c) = function
399 (* Exported update function. *)
400 fun update (Array (l, v), i: int, new) : unit = function
H A DVector.sml56 itself, the signature does that by removing "update", but improves
190 fun update(v: 'a vector, i , c) = function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibArbnum.sml300 val () = update(q, j, qhat)
311 update(q, j, Int.-(q sub j, 1));
H A DmlibUseful.sml701 fun with_flag (r,update) f x =
704 val () = r := update old
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DTable.sml38 val update: key * 'a -> 'a table -> 'a table value
290 fun update (key, x) tab = modify key (fn _ => x) tab; function
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DCache.sml15 fun c_insert c (k,v) = Sref.update c (fn t => Redblackmap.insert(t,k,v))
72 fun clear_cache cache = (Sref.update cache (fn c => empty_table))
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dmklrtable.sml212 in app (fn RULE {rulenum=r,precedence=p,...} => update(precData,r,p))
375 val test = fn REDUCE i => update(ruleReduced,i,true)
/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py50 update many variables). The variable to be updated is specified by x Word 32.
130 Basic nodes update the value of a (possibly empty) list of variables. The
1011 ops_to_smt.update (dict ([(smt, smt) for smt in ex_smt_ops]))
1181 target_objects.structs.update (structs)
1182 target_objects.functions.update (functions)
1183 target_objects.const_globals.update (const_globals)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DSIGNATURES.sml481 val () = StretchArray.update(mapArray, newIdNumber-initTypeId, arrayEntry)
482 val () = StretchArray.update(sourceArray, newIdNumber-initTypeId, SOME newId)
547 StretchArray.update(mapArray, resOffset-initTypeId, newEntry);
548 StretchArray.update(mapArray, setOffset-initTypeId, SharedWith(resOffset-initTypeId))
918 | _ => StretchArray.update(mapArray, offset-initTypeId, linkedId)
932 StretchArray.update(mapArray, offset-initTypeId, FreeSlot typeId)
1332 val () = StretchArray.update(mapArray, n, FreeSlot newId)
1363 val () = StretchArray.update(mapArray, n, FreeSlot copiedId)
/seL4-l4v-10.1.1/isabelle/src/Pure/
H A Dlibrary.scala234 def update[A](x: A)(xs: List[A]): List[A] = x :: remove(x)(xs)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/
H A Dlibrary.scala234 def update[A](x: A)(xs: List[A]): List[A] = x :: remove(x)(xs)

Completed in 158 milliseconds

1234567891011>>