| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | preARMSyntax.sml | 188 val (sign, v) = dest_comb l; value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | preARMSyntax.sml | 188 val (sign, v) = dest_comb l; value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
| H A D | preARMSyntax.sml | 188 val (sign, v) = dest_comb l; value
|
| /seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/ |
| H A D | Integer.sml | 49 val sign = FixedInt.toLarge o sign value
63 val sign = FixedInt.toLarge o sign value
|
| H A D | RealStringCvt.sml | 63 val sign = FixedInt.toLarge o sign value
[all...] |
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibMultiset.sig | 20 val sign : 'a mset -> order option (* compare to empty *) value
|
| H A D | mlibMultiset.sml | 49 fun sign a = function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | INTEGER.sml | 49 val sign : int -> Int.int value
|
| H A D | Int.sml | 52 val sign : int -> Int.int value
91 fun sign i : Int.int = if i = zero then 0 else if i < zero then ~1 else 1 function
410 fun sign i = if i = 0 then 0 else if i < 0 then ~1 else 1 function
|
| H A D | RealSignature.sml | 50 val sign : real -> int value
|
| H A D | Real.sml | 120 fun sign x = function
375 val sign = signBit r value
[all...] |
| H A D | Real32.sml | 92 fun sign x = function
224 val sign = signBit r value
[all...] |
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | arb.cpp | 210 int sign = OBJ_IS_NEGATIVE(GetLengthWord(number)) ? -1 : 0; local
296 static mp_limb_t *convertToLong(Handle x, mp_limb_t *extend, mp_size_t *length, int *sign) argument
316 static byte *convertToLong(Handle x, byte *extend, POLYUNSIGNED *length, int *sign) argument
346 make_canonical(TaskData *taskData, Handle x, int sign) argument
[all...] |
| H A D | sighandler.cpp | 280 int sign; local
|
| H A D | realconv.cpp | 592 int k, maxwds, sign, wds; member in struct:Bigint
1829 CONST char **sp; U *rvp; int rounding, sign; variable
2568 int esign, i, j, k, nd, nd0, nf, nz, nz0, nz1, sign; variable
3736 double dd; int mode, ndigits, *decpt, *sign; char **rve; variable
[all...] |
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | SolverTypes.h | 60 inline bool sign (Lit p) { return p.x & 1; } function
|
| /seL4-l4v-master/HOL4/src/HolSat/ |
| H A D | dimacsTools.sml | 105 let val (sign,v) = value
|
| /seL4-l4v-master/HOL4/src/ring/src/ |
| H A D | ringLib.sml | 160 val sign = value
|
| /seL4-l4v-master/HOL4/src/float/ |
| H A D | ieeeScript.sml | 77 val sign = new_definition ( value
[all...] |