Searched refs:filter (Results 176 - 200 of 578) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sml192 | 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 DhhExportTf0.sml469 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 DBaseCodeTree.sml100 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 Disabelle_cronjob.scala184 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 Disabelle_cronjob.scala184 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 DfunCall.sml472 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 Dord-map-sig.sml86 val filter : ('a -> bool) -> 'a map -> 'a map value
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Delf_correlate.py449 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 Drun_tests.py364 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 Ddump.scala172 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 Ddump.scala172 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 DPmatchHeuristics.sml54 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 DMakeBigTerm.sml17 | SOME ty => List.filter (fn t => type_of t = ty) bvars
/seL4-l4v-master/HOL4/src/metis/
H A DmlibTermnet.sml258 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 DmlibSubst.sml114 from_maplets o List.filter (fn (a |-> _) => mem a vs) o to_maplets;
H A DmlibTermorder.sml233 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 DSup_Inf.sml74 (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 Dfunc_decompileLib.sml147 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 Dord-map-sig.sml86 val filter : ('a -> bool) -> 'a map -> 'a map value
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/
H A Dord-map-sig.sml86 val filter : ('a -> bool) -> 'a map -> 'a map value
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/
H A DL3.sml108 fun remove (l1, l2) = List.filter (fn x => not (Set.mem (x, l2))) l1
/seL4-l4v-master/HOL4/src/portableML/
H A Dseq.sml74 fun filter P = mapPartial (fn x => if P x then SOME x else NONE) function
/seL4-l4v-master/HOL4/src/prekernel/
H A Dstringfindreplace.sml113 (List.filter (fn (j, _) => j > i) rest)
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dholpathdb.sml111 List.filter (fn d => not (Binaryset.member(visited', d)))
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DcommonTools.sml42 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 = []};

Completed in 114 milliseconds

1234567891011>>