| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibOmegaint.sig | 25 val rem : (int * int) -> int value
|
| H A D | mlibArbint.sig | 28 val rem : (int * int) -> int value
|
| H A D | mlibArbnum.sml | 74 val rem = n mod BASE value
160 val (rem, carry) = (Int.mod(newx, BASE), Int.div(newx,BASE)) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Int32.sml | 53 val rem = check o rem value
|
| H A D | INTEGER.sml | 36 val rem : (int * int) -> int value
|
| H A D | Int.sml | 39 val rem : (int * int) -> int value
|
| H A D | RealSignature.sml | 86 val rem : (real * real) -> real value
|
| H A D | Real.sml | 576 fun rem (x, y) = function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/mosml/ |
| H A D | Arbintcore.sig | 26 val rem : (int * int) -> int value
|
| H A D | Arbnumcore.sml | 79 val rem = n mod BASE value
189 val (rem, carry) = (Int.mod(newx, BASE), Int.div(newx,BASE)) value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Arbintcore.sig | 28 val rem : (int * int) -> int value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
| H A D | BitsN.sig | 83 val rem: nbit * nbit -> nbit value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
| H A D | x86_encodeLib.sml | 127 fun rem [] b ys = rev ys function
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | x64_encodeLib.sml | 175 fun rem [] b ys = rev ys function
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bvec.c | 790 int bvec_divfixed(bvec e, int c, bvec *res, bvec *rem) argument
848 bvec rem; local
[all...] |
| H A D | bvec.h | 241 inline int bvec_divfixed(const bvec &e, int c, bvec &res, bvec &rem) argument
244 inline int bvec_div(const bvec &l, const bvec &r, bvec &res, bvec &rem) argument
|
| /seL4-l4v-10.1.1/HOL4/src/float/ |
| H A D | ieeeScript.sml | 305 val rem = new_infixl_definition ( value
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | DataIn.c | 465 rem member in struct:__anon12
476 rem member in struct:__anon13
488 rem member in struct:__anon14
|
| H A D | EventTo.c | 2029 rem member in struct:__anon39
2040 rem member in struct:__anon40
2052 rem member in struct:__anon41
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
| H A D | codegenLib.sml | 459 fun rem (FUN_VAL tm) = FUN_VAL tm function
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/ |
| H A D | x64_codegenLib.sml | 358 fun rem (FUN_VAL tm) = FUN_VAL tm function
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 953 BVEC res, rem; local
955 bvec_divfixed(BVEC_val(s1), Int_val(con), &res, &rem); local
966 BVEC res, rem; local
968 bvec_div(BVEC_val(s1), BVEC_val(s2), &res, &rem); local
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Rule.sml | 544 fun rem (lit as (pol,atm), eqs_th as (eqs,th)) = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Rule.sml | 544 fun rem (lit as (pol,atm), eqs_th as (eqs,th)) = function
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/ |
| H A D | MutRecDef.sml | 23 val rem = Int.rem; value
|