| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/money/ |
| H A D | money.cxx | 39 bvec c2 = bvec_con(5,2); local
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | PrecAnalysis.sml | 202 fun c2 x (l1, l2, c) = (l1, x::l2, c) function
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/ |
| H A D | solitare.cxx | 211 long c1, c2; local
|
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | parse_struct.c | 15 char c2; member in struct:charpair
|
| /seL4-l4v-master/HOL4/examples/CCS/ |
| H A D | StrongLawsConv.sml | 296 val c2 = TRANS c1 (SIMPLIFY_CONV (rconcl c1)); value
|
| /seL4-l4v-master/HOL4/help/src-sml/ |
| H A D | Doc2Tex.sml | 38 val c2 = find_verbchar (c1::avoids) ss value
|
| /seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/ |
| H A D | prog_x86Lib.sml | 131 val c2 = LIST_MOVE_OUT_CONV true [tm2] value
156 val c2 = MOVE_OUT_CONV ``xR EBP`` THENC MOVE_OUT_CONV (car tm2) value
|
| /seL4-l4v-master/HOL4/src/res_quan/src/ |
| H A D | res_quanLib.sml | 172 val c2 = value
|
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | FunctionalRecordUpdate.sml | 33 fun c2 from = c1 (from f2) function
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/ |
| H A D | milawa_coreScript.sml | 396 fun c2 tm = let function
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | kernel.c | 1035 long int c2, c1 = clock(); local
|
| H A D | reorder.c | 583 long c2, c1 = clock(); local
1580 long c2 = clock(); local
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Normalize.sml | 819 val (c2,_,fms) = List.foldl bwd (count0,empty,[]) fms value
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Normalize.sml | 819 val (c2,_,fms) = List.foldl bwd (count0,empty,[]) fms value
[all...] |
| /seL4-l4v-master/HOL4/src/integer/ |
| H A D | CooperShell.sml | 381 val c2 = sum_var_coeffs v arg2 value
[all...] |
| H A D | OmegaMath.sml | 228 val (c2,v2) = dest_mult tm2 value
|
| /seL4-l4v-master/HOL4/src/refute/ |
| H A D | Canon.sml | 529 val hyps2 = hypset th2 and c2 = concl th2 value
|
| /seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/arm/ |
| H A D | prog_armLib.sml | 407 val c2 = MOVE_OUT_CONV ``aR 11w`` THENC MOVE_OUT_CONV (car tm2) value
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | selftest.sml | 128 val c2 = lhs (concl defn2) value
141 val c2 = lhs (concl defn2) value
[all...] |
| H A D | boolSyntax.sml | 420 val (c2, c3) = dest_abs rand1 value
|
| H A D | Prim_rec.sml | 1707 val c2 = list_mk_comb (c2_t, c2_vars) value
|
| /seL4-l4v-master/HOL4/src/opentheory/postbool/ |
| H A D | Logging.sml | 593 val c2 = concl th2 value
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | arm_stepLib.sml | 479 val c2 = total (find_term is_cond) b value
|
| /seL4-l4v-master/HOL4/src/real/ |
| H A D | RealArith.sml | 801 fun c2 t = (trace "gen_rewrite 2"; function
1069 val c2 = el0 v l2 value
|
| /seL4-l4v-master/HOL4/examples/machine-code/hoare-triple/ |
| H A D | helperLib.sml | 1111 val c2 = pred_setSyntax.mk_set cs value
|