/seL4-l4v-10.1.1/l4v/misc/git-commit-emails/ |
H A D | commit-email.py | 298 remote.update()
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | rich_text_area.scala | 128 def update(new_info: Option[Text.Info[A]]) 153 { update(rendering(r)(range)) } 155 def reset { update(None) }
|
H A D | debugger_dockable.scala | 98 pretty_text_area.update(new_snapshot, Command.Results.empty, Pretty.separate(new_output))
|
H A D | jedit_editor.scala | 28 session.update(doc_blobs, edits)
|
H A D | token_markup.scala | 259 val structure1 = structure.update(syntax.keywords, tokens)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | rich_text_area.scala | 128 def update(new_info: Option[Text.Info[A]]) 153 { update(rendering(r)(range)) } 155 def reset { update(None) }
|
H A D | debugger_dockable.scala | 98 pretty_text_area.update(new_snapshot, Command.Results.empty, Pretty.separate(new_output))
|
H A D | jedit_editor.scala | 28 session.update(doc_blobs, edits)
|
H A D | token_markup.scala | 259 val structure1 = structure.update(syntax.keywords, tokens)
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | term_pp.sml | 510 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 D | Yices.sml | 635 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 D | selftest.sml | 37 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 D | CODETREE_LAMBDA_LIFT.sml | 60 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 D | CODETREE_REMOVE_REDUNDANT.sml | 46 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 D | BoolArray.sml | 278 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 D | Vector.sml | 56 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 D | mlibArbnum.sml | 300 val () = update(q, j, qhat) 311 update(q, j, Int.-(q sub j, 1));
|
H A D | mlibUseful.sml | 701 fun with_flag (r,update) f x = 704 val () = r := update old
|
/seL4-l4v-10.1.1/HOL4/src/portableML/ |
H A D | Table.sml | 38 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 D | Cache.sml | 15 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 D | mklrtable.sml | 212 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 D | syntax.py | 50 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 D | SIGNATURES.sml | 481 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 D | library.scala | 234 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 D | library.scala | 234 def update[A](x: A)(xs: List[A]): List[A] = x :: remove(x)(xs)
|