/seL4-l4v-master/l4v/tools/c-parser/testfiles/ARM_HYP/ |
H A D | asm_stmt.c | 38 combine (int x) { function
|
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ARM/ |
H A D | asm_stmt.c | 38 combine (int x) { function
|
/seL4-l4v-master/l4v/tools/asmrefine/testfiles/ |
H A D | global_asm_stmt.c | 37 int combine(int x) function
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | AC_Sort.sig | 8 combine : conv, preprocess : conv} -> conv 14 [sort {assoc,comm,dest,mk,cmp,combine,preprocess}] is a conversion for 31 as EQUAL will be combined by combine conversion. 33 combine: conv taking terms of the form (t1 op t2) where t1 and t2 43 E.g., combine can combine numeric literals; preprocess could convert
|
H A D | AC_Sort.sml | 42 fun sort {cmp, combine, dest, mk, assoc, comm, preprocess} = let 57 wassoc THENC LAND_CONV combine THENC RAND_CONV merge 58 | lift_equal (false, true) = wassoc THENC LAND_CONV combine 59 | lift_equal (true, false) = wcomm THENC wassoc THENC LAND_CONV combine 60 | lift_equal (false, false) = combine 105 combine = boolcombine, 141 assoc = integerTheory.INT_MUL_ASSOC, combine = intcombine,
|
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | Region.java | 75 public void combine(Region r2) { method in class:Region
|
/seL4-l4v-master/HOL4/examples/machine-code/graph/ |
H A D | func_decompileLib.sml | 92 fun combine [] = lemma function 93 | combine (th::thms) = 94 MATCH_MP IMP_LIST_IMPL_INST (CONJ th (combine thms)) 95 val th = combine thms 200 fun combine [] = lemma function 201 | combine (th::thms) = 202 MATCH_MP IMP_EVERY_func_ok (CONJ th (combine thms)) 203 val th = combine fs
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Region.java | 75 public void combine(Region r2) { method in class:Region
|
/seL4-l4v-master/HOL4/src/AI/proof_search/ |
H A D | psTermGen.sml | 43 fun f nl = product_real (map (ntermc cache operl) (combine (nl,tyargl))) 72 (product_real (map (ntermc cache operl) (combine (nl,tyargl)))) 76 val argl = map (random_termc cache operl) (combine (nl_chosen,tyargl))
|
H A D | psMCTS.sml | 160 let val (l1,l2) = split prepol in combine (l1, normalize_proba l2) end 174 map f (combine (prepol,noisel2)) 218 val newpol = combine (prepol, map snd pol)
|
/seL4-l4v-master/HOL4/src/tactictoe/src/ |
H A D | tacticToe.sml | 40 | SOME rl => combine (thmidl,rl) 50 | SOME rl => combine (stacl,rl)
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibSolver.sig | 62 val combine : (cost_fn * solver_node) list -> solver_node value
|
H A D | mlibMetis.sml | 172 val metis' = combine o rev o fst o foldl mk_provers ([],[]);
|
/seL4-l4v-master/HOL4/src/sort/ |
H A D | permLib.sig | 26 conversion tries to combine TAKE and DROP parts of
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | LEXSIG.sml | 71 and ends at the end of the second. Used to combine the locations of
|
/seL4-l4v-master/HOL4/src/AI/machine_learning/ |
H A D | mlNearestNeighbor.sml | 143 val rl2 = combine (rl1, rlo)
|
H A D | mlReinforce.sml | 68 val d = dnew (#move_compare game) (combine (#movel game,p)) 107 combine (boardl,rll) 194 dnew (#board_compare (#game rlobj)) (combine (l1,l2)) 232 fun f (a,b) = combine (tob a,[[hd b],tl b]) 255 val resultl = combine (targetl, map fst l)
|
H A D | mlTreeNeuralNetwork.sml | 213 (map #dw bpdatal, combine (argl,dinvl)) 391 val rl3 = combine (rl1,rl2) 402 all is_accurate_one (combine (rll1,rll2))
|
H A D | mlThmData.sml | 36 SOME l2 => combine (l1,l2)
|
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Algebra.sml | 140 fun combine (a,b) = function 148 Map.union combine;
|
/seL4-l4v-master/HOL4/examples/CCS/ |
H A D | CCSConv.sml | 305 val rlp = combine (map rconcl thml, map (snd o list2_pair o f) dl); 322 (combine (actl, thml))), 332 (combine (rlp, thml))) ])
|
/seL4-l4v-master/HOL4/tools/Holmake/poly/ |
H A D | BuildCommand.sml | 117 fun combine fname t = function 120 t |> combine (modn ^ ".uo") |> combine (modn ^ ".ui")
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | PolyVectorOperations.sml | 21 There may be a way to combine the two. *)
|
/seL4-l4v-master/isabelle/src/Tools/Graphview/ |
H A D | layout.scala | 265 def combine(that: Region): Region = new Region(content ::: that.content) 283 r1.combine(r2) :: rest2
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Graphview/ |
H A D | layout.scala | 265 def combine(that: Region): Region = new Region(content ::: that.content) 283 r1.combine(r2) :: rest2
|