Searched defs:combine (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/asmrefine/testfiles/
H A Dglobal_asm_stmt.c42 combine (int x) { function
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ARM/
H A Dasm_stmt.c42 combine (int x) { function
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ARM_HYP/
H A Dasm_stmt.c42 combine (int x) { function
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DRegion.java75 public void combine(Region r2) { method in class:Region
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java75 public void combine(Region r2) { method in class:Region
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSolver.sig62 val combine : (cost_fn * solver_node) list -> solver_node value
H A DmlibSolver.sml272 fun combine csolvers = function
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DThyDataSexp.sml173 fun combine (s,(n,(dls,ocls))) : Thm.depdisk * string list = function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DAlgebra.sml140 fun combine (a,b) = function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dfunc_decompileLib.sml83 fun combine [] = lemma function
169 fun combine [] = lemma function
H A Dderive_specsLib.sml303 fun combine (x,th) = MATCH_MP SWITCH_COMBINE (CONJ x th) function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sml163 fun combine (l1, l2) = zip l1 l2 function
H A DLib.sig40 val combine : 'a list * 'b list -> ('a * 'b) list value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml114 fun combine fname t = function
/seL4-l4v-10.1.1/HOL4/src/1/
H A DDrule.sml169 fun combine [] [] = [] function
/seL4-l4v-10.1.1/HOL4/src/bool/
H A DboolScript.sml523 local fun combine [] [] = [] function

Completed in 228 milliseconds