| /seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
| H A D | ml_bind.sml | 49 structure lo = Locale structure
|
| /seL4-l4v-master/seL4/include/drivers/timer/ |
| H A D | exynos4412-mct.h | 20 uint32_t hi, hi2, lo; local
|
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | selection_sort.c | 28 unsigned sidx,i,t,lo; local
|
| /seL4-l4v-master/HOL4/Manual/Translations/IT/Tutorial/ |
| H A D | euclid.tex | [all...] |
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | prime.c | 63 unsigned int lo; member in struct:__UINT64
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | ASN1.sml | 240 val lo = Word8.fromInt n (* Bottom byte *) value
|
| H A D | Foreign.sml | 829 val lo = Word32.fromLargeInt i and hi = Word32.fromLargeInt (IntInf.~>>(i, 0w32)) value
875 val lo = Word32.fromLargeInt i and hi = Word32.fromLargeInt (IntInf.~>>(i, 0w32)) value
|
| /seL4-l4v-master/HOL4/src/integer/ |
| H A D | OmegaSimple.sml | 124 val lo = int_of_term lo_c value
|
| H A D | CooperSyntax.sml | 386 val (lo,hi) = dest_conj range_tm value
393 val (lo,hi) = dest_conj (hd args) value
|
| /seL4-l4v-master/HOL4/help/src-sml/ |
| H A D | ParseDoc.sml | 296 val lo = if j > 5 then j - 5 else 0 value
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | MD5.sml | 36 val lo = W32.+ (lo,mul8lo) value
[all...] |
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | UnicodeChars.sig | 142 val lo : string value
|
| H A D | UnicodeChars.sml | 151 val lo = "<" ^ sub_plus value
|
| /seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
| H A D | libraries.tex | [all...] |
| /seL4-l4v-master/seL4/include/arch/x86/arch/ |
| H A D | machine.h | 188 uint32_t hi, lo; local
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/ |
| H A D | m0.sml | 4134 val lo = BitsN.toNat rlo value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/mips/model/ |
| H A D | mips.sig | 377 val lo: (BitsN.nbit option) ref value
|
| H A D | mips.sml | 1635 val lo = ref (NONE): (BitsN.nbit option) ref value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 23588 val lo = BitsN.toNat rlo value
23648 val lo = BitsN.toNat rlo value
23682 val lo = LowestSetBit 32 imm32 value
[all...] |