Searched defs:jump (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/
H A Dmicrocode.ml92 let jump = mk_A_ADDR;; var
[all...]
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_bigopsScript.sml823 val jump = X64_LISP_CALL_EL3 value
831 val jump = X64_LISP_CALL_EL7 value
H A Dlisp_compiler_opScript.sml4168 val jump = ff X64_LISP_CALL_EL8 value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheoryPP.sml213 val jump = add_newline >> add_newline value
332 val jump = add_newline >> add_newline value
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dselftest.sml597 fun jump ti i = if i > ti then i - 1 else i function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcodegenLib.sml78 val jump = branch false (jump_length label xs) c handle HOL_ERR _ => value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/
H A Dx64_codegenLib.sml60 val jump = branch false (jump_length label xs) c handle HOL_ERR _ => value

Completed in 217 milliseconds