| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/ |
| H A D | test.sml | 18 val dec = arm_stepLib.arm_decode_hex "" value
|
| H A D | arm_progLib.sml | 1235 val dec = arm_stepLib.arm_decode_hex "" value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Unsynchronized.sml | 15 val dec: int ref -> int value
31 fun dec i = (i := ! i - (1: int); ! i); function
|
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Traverse.sml | 229 fun dec r = case !r of NONE => () function
|
| H A D | simpLib.sml | 388 fun dec() = case bound of function
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_STATIC_LINK_AND_CASES.sml | 277 val dec = value
324 val (dec, newClosure, makeRecClosure, cfArgs) = copyLambda lambda value
|
| H A D | CODETREE_SIMPLIFIER.sml | 629 val dec = Container{addr=decAddr, use=[], size=size, setter=setGen} value
|
| /seL4-l4v-10.1.1/HOL4/help/src-sml/ |
| H A D | Htmlsigs.sml | 251 val dec = declaration isThryFile lineno space suff value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/ |
| H A D | arm8_stepLib.sml | 565 fun dec s = function
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | DEBUGGER_.sml | 271 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
308 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
331 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
361 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
403 val { dec, loa value
443 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
[all...] |
| H A D | TYPEIDCODE.sml | 1158 val { dec, load } = multipleUses (codeId(sourceId, level), fn () => mkAddr 1, level) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | MATCH_COMPILER.sml | 599 val dec = mkDec (addressOfVar, arg) value
|
| H A D | CODEGEN_PARSETREE.sml | 721 val {dec, load} = multipleUses (raiseCode, fn () => mkAddr 1, level) value
1539 val dec = value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | encodeLib.sml | 920 val dec = check_function (get_decode_function target) t handle e => wrap e value
991 val dec = check_function (get_decode_function target) t value
[all...] |
| H A D | functionEncodeLib.sml | 2149 val dec = get_decode_function (type_of (rand (lhs body))) (type_of var) value
|
| /seL4-l4v-10.1.1/HOL4/src/list/src/ |
| H A D | ListConv1.sml | 1236 fun dec n = term_of_int((int_of_term n) - 1) function
1271 fun dec n = term_of_int((int_of_term n) - 1) function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Portable.sig | 183 val dec: int ref -> unit value
|
| H A D | Portable.sml | 534 fun dec r = (r := !r - 1) function
|
| /seL4-l4v-10.1.1/HOL4/src/floating-point/ |
| H A D | binary_ieeeScript.sml | 1304 val dec = value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/ |
| H A D | m0_stepLib.sml | 1502 val dec = thumb_decode be value
1940 val dec = thumb_decode be value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/ |
| H A D | arm_stepLib.sml | 2634 val dec = arm_decode (arm_configLib.mk_config_terms opt) value
4231 val dec = arm_decode tms value
[all...] |