/seL4-l4v-master/HOL4/examples/machine-code/compiler/ |
H A D | compilerLib.sml | 192 | all_distinct (x::xs) = x :: all_distinct (filter (fn y => not (x = y)) xs) 198 (filter (fn (_,(_,y)) => cdr (concl y) !~ T) (!to_compile)) 251 filter (fn (n,_) => not (fname = n)) (!to_compile)) 262 filter (fn x => x !~ fconst def) o 270 val fnames = filter (fn x => mem x fnames) (map fst (!to_compile))
|
/seL4-l4v-master/HOL4/src/holyhammer/ |
H A D | hhExportTf0.sml | 469 val cval = filter (fn (x,_) => is_tptp_fv x orelse is_const x) objal 472 (filter (fn x => snd x <> 0) cval_arityeq)) 479 let val l = filter (fn (x,_) => is_tptp_fv x orelse is_const x) objal in 485 filter (fn (x,_) => is_tptp_fv x orelse is_const x orelse is_app x) objal 487 filter (not o polymorphic o type_of o fst) 511 filter (not o polymorphic) tyl 541 app (tf0def_monoeq oc) (filter has_tyarg cval_mono)
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
H A D | BaseCodeTree.sml | 100 filter: BoolVector.vector 459 | SetContainer{container, tuple, filter} => 461 val source = BoolVector.length filter 462 val dest = BoolVector.foldl(fn (true, n) => n+1 | (false, n) => n) 0 filter 678 | mapt (SetContainer{container, tuple, filter}) = 680 container = mapCodetree f container, tuple = mapCodetree f tuple, filter = filter }
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | isabelle_cronjob.scala | 184 filter: Item => Boolean = _ => true): Option[(String, Option[String])] = 193 val items = recent_items(db, days, rev, afp_rev, sql).filter(filter) 194 def runs = unknown_runs(items).filter(run => run.length >= gap) 560 PAR(remote_builds.map(_.filter(_.active)).map(seq =>
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | isabelle_cronjob.scala | 184 filter: Item => Boolean = _ => true): Option[(String, Option[String])] = 193 val items = recent_items(db, days, rev, afp_rev, sql).filter(filter) 194 def runs = unknown_runs(items).filter(run => run.length >= gap) 560 PAR(remote_builds.map(_.filter(_.active)).map(seq =>
|
/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | funCall.sml | 472 val e_beforeL' = if (e_dest = src) then [] else filter (fn e => not (e = dest)) e_beforeL; 485 val regL = filter (fn (x, y) => not (x = y)) regL; 493 val regL_filter = filter (fn (dest, src) => (src = r)) regL; 554 val preserve_list = filter (fn r => not (mem r (pair2list caller_dst))) (pair2list outer_outs); 561 val dummy_list = filter (fn r => not (mem r (pair2list outer_outs))) dummy_list 568 val dummy_list = filter (fn r => not (mem r not_use_list))
|
H A D | ord-map-sig.sml | 86 val filter : ('a -> bool) -> 'a map -> 'a map value
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | elf_correlate.py | 449 p_conts = filter(lambda x: x != 'Err', p_node.get_conts()) 451 p_conts = filter(lambda x: (x, p_i) not in pi_deadends, p_conts) 546 p_n_cs = filter(lambda p_n_c:
|
/seL4-l4v-master/l4v/misc/regression/ |
H A D | run_tests.py | 364 extras = ', '.join(filter(None, [real_time, cpu_time, mem])) 385 for filename in fnmatch.filter(filenames, pattern): 387 for filename in fnmatch.filter(filenames, 'extra_tests'):
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | dump.scala | 172 session_graph.all_preds(List(logic).filter(session_graph.defined)).reverse 212 val force_partition1 = AFP.force_partition1.filter(graph.defined) 281 filter(cond => Isabelle_System.getenv(cond) == "")
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | dump.scala | 172 session_graph.all_preds(List(logic).filter(session_graph.defined)).reverse 212 val force_partition1 = AFP.force_partition1.filter(graph.defined) 281 filter(cond => Isabelle_System.getenv(cond) == "")
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | PmatchHeuristics.sml | 54 val ranked_cols' = List.filter (fn (_, r) => r = max) ranked_cols 92 val cL' = List.filter (fn c => op_mem same_const c constrL) cL; 102 val cL' = List.filter (fn c => not (is_var c)) cL;
|
H A D | MakeBigTerm.sml | 17 | SOME ty => List.filter (fn t => type_of t = ty) bvars
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibTermnet.sml | 258 fun filter pred = function 261 (case List.filter (pred o snd) l of [] => NONE 279 handle Error _ => raise Bug "mlibTermnet.filter: should never fail";
|
H A D | mlibSubst.sml | 114 from_maplets o List.filter (fn (a |-> _) => mem a vs) o to_maplets;
|
H A D | mlibTermorder.sml | 233 val tms = List.filter (fn (_,n) => n <> 0) eqn 289 val eqns' = eqn :: List.filter (not o stronger eqn) eqns 319 in FVTL (List.filter (not o C mem ls) vars) rs 373 fun cast_away eqns = List.filter (fn eqn => not (superfluous eqn eqns));
|
/seL4-l4v-master/HOL4/src/num/arith/src/ |
H A D | Sup_Inf.sml | 74 (filter (fn (name,_) => not (name = var)) bind) 191 and bind' = filter (fn p => not (fst p = x)) bind 215 and bind' = filter (fn p => not (fst p = x)) bind
|
/seL4-l4v-master/HOL4/examples/machine-code/graph/ |
H A D | func_decompileLib.sml | 147 val bad_fs = fs |> filter (can (find_term pred_setSyntax.is_empty) o 149 val fs = fs |> filter (not o can (find_term pred_setSyntax.is_empty) o 182 val extra = filter (fn ex => not (term_mem (rator ex) all_rator)) extra
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | ord-map-sig.sml | 86 val filter : ('a -> bool) -> 'a map -> 'a map value
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | ord-map-sig.sml | 86 val filter : ('a -> bool) -> 'a map -> 'a map value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
H A D | L3.sml | 108 fun remove (l1, l2) = List.filter (fn x => not (Set.mem (x, l2))) l1
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | seq.sml | 74 fun filter P = mapPartial (fn x => if P x then SOME x else NONE) function
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | stringfindreplace.sml | 113 (List.filter (fn (j, _) => j > i) rest)
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | holpathdb.sml | 111 List.filter (fn d => not (Binaryset.member(visited', d)))
|
/seL4-l4v-master/HOL4/examples/HolCheck/ |
H A D | commonTools.sml | 42 let val th = hd(List.filter (aconv w o concl) l) 52 rewrs=[], congs = [], filter = NONE, ac = [], dprocs = []}; 60 rewrs=[], congs = [], filter = NONE, ac = [], dprocs = []}; 68 rewrs=[EL,HD,TL], congs = [], filter = NONE, ac = [], dprocs = []};
|