| /seL4-l4v-10.1.1/HOL4/examples/STE/Examples/ |
| H A D | Comparator-for-STE-Reduction.sml | 85 val b0 = (T, "b0", ``b0:bool``, 0, 1); value
[all...] |
| H A D | Mux.sml | 142 val b0 = (T, "b0", value
167 val b0 = (T, "b0", ``vb0:bool``, 0, 1); value
190 val b0 = (T, "b0", ``vb0:bool``, 0, 1); value
[all...] |
| H A D | Comparator.sml | 97 val b0 = (T, "b0", ``b0 value
117 val b0 = (T, "b0", ``T:bool``, 0, 1); value
137 val b0 = (T, "b0", ``b0:bool``, 0, 1); value
157 val b0 = (T, "b0", ``v0:bool``, 0, 1); value
177 val b0 = (T, "b0", ``T:bool``, 0, 1); value
197 val b0 = (T, "b0", ``T:bool``, 0, 1); value
217 val b0 = (T, "b0", ``T:bool``, 0, 1); value
237 val b0 = (T, "b0", ``T:bool``, 0, 1); value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | cls_24byte.c | 18 cls_struct_24byte cls_struct_24byte_fn(struct cls_struct_24byte b0, argument
44 struct cls_struct_24byte b0, b local
[all...] |
| H A D | cls_64byte.c | 23 cls_struct_64byte cls_struct_64byte_fn(struct cls_struct_64byte b0, argument
49 struct cls_struct_64byte b0, b local
[all...] |
| H A D | nested_struct10.c | 47 struct A b0; local
|
| H A D | nested_struct2.c | 22 B B_fn(struct A b0, struct B b1) argument
40 struct A b0; local
|
| H A D | nested_struct3.c | 22 B B_fn(struct A b0, struct B b1) argument
41 struct A b0; local
|
| H A D | nested_struct4.c | 41 struct A b0; local
|
| H A D | nested_struct5.c | 41 struct A b0; local
|
| H A D | nested_struct6.c | 46 struct A b0; local
|
| H A D | nested_struct7.c | 41 struct A b0; local
|
| H A D | nested_struct8.c | 46 struct A b0; local
|
| H A D | nested_struct9.c | 46 struct A b0; local
|
| H A D | stret_large.c | 32 cls_struct_108byte_fn( struct_108byte b0, struct_108byte b1, struct_108byte b2, struct_108byte b3) argument
65 struct_108byte b0, b1, b2, b3; local
[all...] |
| H A D | stret_large2.c | 33 cls_struct_116byte_fn( struct_116byte b0, struct_116byte b1, struct_116byte b2, struct_116byte b3) argument
67 struct_116byte b0, b1, b2, b3; local
[all...] |
| H A D | stret_medium.c | 24 cls_struct_72byte_fn( struct_72byte b0, struct_72byte b1, struct_72byte b2, struct_72byte b3) argument
51 struct_72byte b0, b1, b2, b3; local
[all...] |
| H A D | stret_medium2.c | 25 cls_struct_72byte_fn( struct_72byte b0, struct_72byte b1, struct_72byte b2, struct_72byte b3) argument
52 struct_72byte b0, b1, b2, b3; local
[all...] |
| H A D | nested_struct.c | 28 cls_struct_combined cls_struct_combined_fn(struct cls_struct_16byte1 b0, argument
56 struct cls_struct_16byte1 b0; local
[all...] |
| H A D | nested_struct1.c | 28 cls_struct_combined cls_struct_combined_fn(struct cls_struct_16byte1 b0, argument
58 struct cls_struct_16byte1 b0; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | MD5.sml | 45 val b0 = Word8.fromLargeWord (W32.toLargeWord w) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Message.sml | 2895 val (b0, lo) = case left of SOME l => (0w1, l) | NONE => (0w0, 0) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Posix.sml | 477 val b0 : speed value
1568 val b0 : speed = SysWord.toInt(getConst 116) value
|
| /seL4-l4v-10.1.1/HOL4/src/bool/ |
| H A D | boolScript.sml | 3763 val b0 = TRANS (ASSUME fT_eq_F) (SYM (BETA_CONV (mk_comb(KF,T)))) value
3855 val b0 = CCONTR (mk_comb(P,f)) a value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 19460 val b0 = BitsN.bits(7,0) x0 value
|