/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | parse_addr.c | 18 int b1[10][10]; variable
|
/seL4-l4v-master/HOL4/examples/STE/Examples/ |
H A D | Comparator-for-STE-Reduction.sml | 86 val b1 = (T, "b1", ``b1:bool``, 0, 1); value [all...] |
H A D | Mux.sml | 143 val b1 = (T, "b1", value 168 val b1 = (T, "b1", ``vb1:bool``, 0, 1); value 191 val b1 = (T, "b1", ``vb1:bool``, 0, 1); value [all...] |
H A D | Comparator.sml | 98 val b1 = (T, "b1", ``b1 value 118 val b1 = (T, "b1", ``T:bool``, 0, 1); value 138 val b1 = (T, "b1", ``b1:bool``, 0, 1); value 158 val b1 = (T, "b1", ``v1:bool``, 0, 1); value 178 val b1 = (T, "b1", ``T:bool``, 0, 1); value 198 val b1 = (T, "b1", ``F:bool``, 0, 1); value 218 val b1 = (T, "b1", ``T:bool``, 0, 1); value 238 val b1 = (T, "b1", ``T:bool``, 0, 1); value [all...] |
/seL4-l4v-master/HOL4/src/bag/ |
H A D | bagSimpleLib.sml | 118 val (b1,b2) = dest_union b; value 182 val (b1,b2) = dest_union b; value 358 val (b1,b2) = bagSyntax.dest_sub_bag tm value 401 val (b1,b2) = bagSyntax.dest_diff tm value 487 val (b1,b2) = dest_eq tm value [all...] |
/seL4-l4v-master/HOL4/examples/dev/sw2/ |
H A D | SALGen.sml | 134 val b1 = list_mk_comb(inst [alpha |-> !VarType] union_tm, [ifgoto, #body spec1]) value
|
/seL4-l4v-master/HOL4/examples/CCS/ |
H A D | StrongLawsConv.sml | 27 let val (b1, b2) = args_sum b; value
|
/seL4-l4v-master/HOL4/examples/temporal_deep/src/translations/ |
H A D | translationsLib.sml | 602 val (b1, b2) = if neg then (true, false) else (false, true); value [all...] |
/seL4-l4v-master/HOL4/examples/HolCheck/ |
H A D | bddTools.sml | 124 else let val b1 = List.map (fn (vi,tv) => if tv then bdd.ithvar vi else bdd.nithvar vi) value
|
H A D | muCheck.sml | 480 val b1 = muCheck_aux (args,(seth,sel,state,ie)) t1 vm dp f1 value
|
/seL4-l4v-master/HOL4/src/AI/machine_learning/ |
H A D | mlReinforce.sml | 204 val (b1,rlex,nodel) = run_bigsteps bsobj target value
|
/seL4-l4v-master/HOL4/src/portableML/poly/ |
H A D | MD5.sml | 46 val b1 = Word8.fromLargeWord (W32.toLargeWord (W32.>> (w,0w8))) value
|
/seL4-l4v-master/HOL4/examples/machine-code/garbage-collectors/ |
H A D | boolTools.sml | 352 val (b1,b2) = dest_conj t; value 356 val (b1,c1) = dest_imp (concl thm1); value 366 val (b1,b2) = dest_disj t; value 370 val (b1,c1) = dest_imp (concl thm1); value [all...] |
/seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/step/ |
H A D | cheri_stepLib.sml | 24 val (b1, l) = Lib.split_after 8 l value
|
/seL4-l4v-master/HOL4/examples/lambda/other-models/ |
H A D | ncScript.sml | 45 let val (b1,b2) = CONJ_PAIR BI_nc value
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 500 EXTERNML value mlbdd_bdd_exist(value b1, value varset) /* ML */ argument 506 EXTERNML value mlbdd_bdd_forall(value b1, value varset) /* ML */ argument
|
/seL4-l4v-master/HOL4/examples/dev/ |
H A D | compile.sml | 428 val (b1,t1,t2) = dest_cond rt value
|
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | fieldTools.sml | 807 val (b1,b2) = value
|
/seL4-l4v-master/HOL4/src/list/src/ |
H A D | ListConv1.sml | 79 val b1 = genvar bool_ty value
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | realconv.cpp | 686 Bigint *b1; variable 984 Bigint *b1, *p5, *p51; variable 1042 Bigint *b1; variable 1729 Bigint *b1; variable 3783 Bigint *b, *b1, *delta, *mlo=0, *mhi, *S; variable [all...] |
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
H A D | lisp_extractLib.sml | 714 val b1 = extract_side_condition b value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/step/ |
H A D | mips_stepLib.sml | 678 val (b1, l) = Lib.split_after 8 l value 717 val (b1, b2, b3, b4) = bytes4 (pad_opcode v) value
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | ConseqConv.sml | 568 val b1 = dest_neg t; value 599 val (b1,b2) = dest_conj t; value 623 val (b1,b2) = dest_conj t; value 662 val (b1,b2) = dest_disj t; value 686 val (b1,b2) = dest_disj t; value 726 val (b1,b2) = dest_imp_only t; value 750 val (b1,b2) = dest_imp_only t; value 770 val (b1,b2) = dest_imp_only t; value [all...] |
/seL4-l4v-master/HOL4/src/coretypes/ |
H A D | PairRules.sml | |
/seL4-l4v-master/HOL4/src/quotient/examples/ |
H A D | ind_rel.sml | 1263 let val b1 = snd (strip_forall tm) value
|