| /seL4-l4v-master/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 | 1236 val dec = arm_stepLib.arm_decode_hex "" value
|
| /seL4-l4v-master/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-master/HOL4/src/n-bit/interactive_tests/ |
| H A D | test_wordppScript.sml | 31 val dec = ["0w", "1w", "42w", "65536w"]; value
|
| /seL4-l4v-master/HOL4/src/simp/src/ |
| H A D | Traverse.sml | 230 fun dec r = case !r of NONE => () function
|
| H A D | simpLib.sml | 497 fun dec() = case bound of function
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | AncestryData.sml | 219 val {dec,enc} = sexps value
|
| /seL4-l4v-master/HOL4/help/src-sml/ |
| H A D | Htmlsigs.sml | 251 val dec = declaration isThryFile lineno space suff value
|
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_STATIC_LINK_AND_CASES.sml | 276 val dec = value
323 val (dec, newClosure, makeRecClosure, cfArgs) = copyLambda lambda value
|
| H A D | CODETREE_SIMPLIFIER.sml | 643 val dec = Container{addr=decAddr, use=[], size=size, setter=mkEnv(List.rev setDecs, setGen)} value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/step/ |
| H A D | arm8_stepLib.sml | 565 fun dec s = function
|
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | MATCH_COMPILER.sml | 596 val dec = mkDec (addressOfVar, arg) value
|
| H A D | CODEGEN_PARSETREE.sml | 722 val {dec, load} = multipleUses (raiseCode, fn () => mkAddr 1, level) value
1540 val dec = value
[all...] |
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | DEBUGGER_.sml | 287 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
324 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
347 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
377 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
419 val { dec, loa value
459 val { dec, load } = multipleUses (newEnv, fn () => mkAddr 1, level) value
[all...] |
| H A D | TYPEIDCODE.sml | 1161 val { dec, load } = multipleUses (codeId(sourceId, level), fn () => mkAddr 1, level) value
|
| /seL4-l4v-master/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-master/HOL4/src/list/src/ |
| H A D | ListConv1.sml | 1237 fun dec n = term_of_int((int_of_term n) - 1) function
1272 fun dec n = term_of_int((int_of_term n) - 1) function
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | Portable.sig | 192 val dec: int ref -> unit value
|
| H A D | Portable.sml | 554 fun dec r = (r := !r - 1) function
|
| /seL4-l4v-master/HOL4/examples/bootstrap/ |
| H A D | automationLib.sml | 572 val dec = add_defun (parse_dec q) value
|
| /seL4-l4v-master/HOL4/src/floating-point/ |
| H A D | binary_ieeeScript.sml | 1303 val dec = value
|
| /seL4-l4v-master/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-master/HOL4/examples/l3-machine-code/arm/step/ |
| H A D | arm_stepLib.sml | 2635 val dec = arm_decode (arm_configLib.mk_config_terms opt) value
4233 val dec = arm_decode tms value
[all...] |