/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | UList.sml | 14 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 D | UList.sml | 14 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 D | UList.sml | 14 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 D | ci_build_benchmark.scala | 10 def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
|
H A D | ci_build_makeall.scala | 9 def select = Nil
|
H A D | ci_build_makeall_seq.scala | 9 def select = Nil
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/jenkins/build/ |
H A D | ci_build_benchmark.scala | 10 def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
|
H A D | ci_build_makeall.scala | 9 def select = Nil
|
H A D | ci_build_makeall_seq.scala | 9 def select = Nil
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/ |
H A D | export.scala | 37 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 D | sessions.scala | 852 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 D | export.scala | 37 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 D | sessions.scala | 852 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 D | VarOrder.h | 50 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 D | mlibResolution.sig | 33 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 D | TreeBrowser.java | 52 if (l.select()) { 74 nd.select();
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | TreeBrowser.java | 52 if (l.select()) { 74 nd.select();
|
/seL4-l4v-10.1.1/HOL4/src/boss/theory_tests/ |
H A D | github462Script.sml | 26 not (can (find_term (same_const boolSyntax.select)) t)
|
/seL4-l4v-10.1.1/HOL4/src/integer/testing/ |
H A D | tcooper.c | 79 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 D | emit_eval.sig | 29 trace (* select updates to print *)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | query_dockable.scala | 30 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 D | query_dockable.scala | 30 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 D | ci_profile.scala | 30 select_dirs = select, 146 def select: List[Path]
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | ci_profile.scala | 30 select_dirs = select, 146 def select: List[Path]
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/ |
H A D | riscv_stepScript.sml | 94 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...] |