Searched refs:select (Results 1 - 25 of 123) sorted by relevance

12345

/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DUList.sml14 fun select _ _ [] = [] function
15 | select f p (x::l) = if p x then f x::select f p l else select f p l
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DUList.sml14 fun select _ _ [] = [] function
15 | select f p (x::l) = if p x then f x::select f p l else select f p l
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A DUList.sml14 fun select _ _ [] = [] function
15 | select f p (x::l) = if p x then f x::select f p l else select f p l
/seL4-l4v-10.1.1/isabelle/Admin/jenkins/build/
H A Dci_build_benchmark.scala10 def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
H A Dci_build_makeall.scala9 def select = Nil
H A Dci_build_makeall_seq.scala9 def select = Nil
/seL4-l4v-10.1.1/l4v/isabelle/Admin/jenkins/build/
H A Dci_build_benchmark.scala10 def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
H A Dci_build_makeall.scala9 def select = Nil
H A Dci_build_makeall_seq.scala9 def select = Nil
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dexport.scala37 val select =
38 Data.table.select(List(Data.name), Data.where_equal(session_name, theory_name, name))
39 db.using_statement(select)(stmt => stmt.execute_query().next())
44 val select = Data.table.select(List(Data.name), Data.where_equal(session_name, theory_name))
45 db.using_statement(select)(stmt =>
51 val select =
52 Data.table.select(List(Data.theory_name), Data.where_equal(session_name), distinct = true)
53 db.using_statement(select)(stmt =>
59 val select
[all...]
H A Dsessions.scala852 def read_root(options: Options, select: Boolean, path: Path): List[Info] =
859 infos += make_info(options, select, path.dir, entry_chapter, entry)
893 def load_dir(select: Boolean, dir: Path): List[(Boolean, Path)] =
894 load_root(select, dir) ::: load_roots(select, dir)
896 def load_root(select: Boolean, dir: Path): List[(Boolean, Path)] =
899 if (root.is_file) List((select, root)) else Nil
902 def load_roots(select: Boolean, dir: Path): List[(Boolean, Path)] =
914 res <- load_dir(select, dir1)
922 (select, di
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dexport.scala37 val select =
38 Data.table.select(List(Data.name), Data.where_equal(session_name, theory_name, name))
39 db.using_statement(select)(stmt => stmt.execute_query().next())
44 val select = Data.table.select(List(Data.name), Data.where_equal(session_name, theory_name))
45 db.using_statement(select)(stmt =>
51 val select =
52 Data.table.select(List(Data.theory_name), Data.where_equal(session_name), distinct = true)
53 db.using_statement(select)(stmt =>
59 val select
[all...]
H A Dsessions.scala852 def read_root(options: Options, select: Boolean, path: Path): List[Info] =
859 infos += make_info(options, select, path.dir, entry_chapter, entry)
893 def load_dir(select: Boolean, dir: Path): List[(Boolean, Path)] =
894 load_root(select, dir) ::: load_roots(select, dir)
896 def load_root(select: Boolean, dir: Path): List[(Boolean, Path)] =
899 if (root.is_file) List((select, root)) else Nil
902 def load_roots(select: Boolean, dir: Path): List[(Boolean, Path)] =
914 res <- load_dir(select, dir1)
922 (select, di
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DVarOrder.h50 inline Var select(double random_freq =.0); // Selects a new, unassigned variable (or 'var_Undef' if none exists).
75 Var VarOrder::select(double random_var_freq) function in class:VarOrder
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibResolution.sig33 val select : resolution -> ((distance * clause) * resolution) option value
37 val advance : resolution -> resolution option (* select deduce factor add *)
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java52 if (l.select()) {
74 nd.select();
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java52 if (l.select()) {
74 nd.select();
/seL4-l4v-10.1.1/HOL4/src/boss/theory_tests/
H A Dgithub462Script.sml26 not (can (find_term (same_const boolSyntax.select)) t)
/seL4-l4v-10.1.1/HOL4/src/integer/testing/
H A Dtcooper.c79 select(pipe_fds[0] + 1, &to_watch, 0, 0, &tv);
84 select leaves the value of tv undefined */
87 retval = select(pipe_fds[0] + 1, &to_watch, 0, 0, &tv);
89 perror("select in parent");
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Demit_eval.sig29 trace (* select updates to print *)
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dquery_dockable.scala30 def select: Unit
128 def select { control_panel.contents += zoom }
178 def select { control_panel.contents += zoom }
262 def select
296 for (op <- get_operation()) { op.select; op.query.requestFocus }
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dquery_dockable.scala30 def select: Unit
128 def select { control_panel.contents += zoom }
178 def select { control_panel.contents += zoom }
262 def select
296 for (op <- get_operation()) { op.select; op.query.requestFocus }
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dci_profile.scala30 select_dirs = select,
146 def select: List[Path]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dci_profile.scala30 select_dirs = select,
146 def select: List[Path]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/
H A Driscv_stepScript.sml94 Sub-word select operation (temporary)
98 select (p:'a word) (w: word64) =
250 s_extend32 (select (if b then (2 >< 2) x else (2 >< 2) y : word1) w0))`
262 z_extend32 (select (if b then (2 >< 2) x else (2 >< 2) y : word1) w0))`
268 (select ((2 >< 2) a : word1)
331 s_extend16 (select (if b then (2 >< 1) x else (2 >< 1) y : word2) w0))`
343 z_extend16 (select (if b then (2 >< 1) x else (2 >< 1) y : word2) w0))`
349 (select ((2 >< 1) a : word2)
394 s_extend8 (select (if b then (2 >< 0) x else (2 >< 0) y : word3) w0)`,
406 z_extend8 (select (i
[all...]

Completed in 141 milliseconds

12345