/seL4-l4v-master/HOL4/examples/temporal_deep/src/examples/ |
H A D | ibm.sml | 205 val x2 = if (b2 = 1) then ``P_PROP (6:num)`` else ``P_NOT (P_PROP (6:num))`` value
|
/seL4-l4v-master/HOL4/examples/machine-code/compiler/ |
H A D | codegen_inputLib.sml | 95 val x2 = cdr tm value
|
H A D | compilerLib.sml | 164 val x2 = (car o fst o dest_eq o concl o SPEC_ALL) def value
|
H A D | reg_allocLib.sml | 168 val x2 = subst [y|->v] x value [all...] |
/seL4-l4v-master/HOL4/examples/machine-code/x64_compiler/ |
H A D | x64_codegen_inputLib.sml | 91 val x2 = cdr tm value
|
/seL4-l4v-master/HOL4/examples/ARM/arm6-verification/correctness/ |
H A D | coprocessorScript.sml | 497 val x2 = (GEN_ALL o REWRITE_RULE [NOT_INTERRUPT] o value
|
/seL4-l4v-master/HOL4/src/TeX/ |
H A D | holindexData.sml | |
H A D | holindex.sml | |
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | types.h | 25 seL4_Word pc, sp, spsr, x0, x1, x2, x3, x4, x5, x6, x7, x8, x16, x17, x18, x29, x30; member in struct:seL4_UserContext_
|
/seL4-l4v-master/HOL4/examples/machine-code/graph/ |
H A D | exportLib.sml | 147 val x2 = tm |> rand value
|
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
H A D | prog_x64Lib.sml | 274 val x2 = (cdr o cdr) tag value
|
H A D | prog_x64_extraScript.sml | 169 val x2 = ("r2",``2w:word4``,``r2:word64``) value
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
H A D | lisp_bytecode_stepScript.sml | 108 val (x2,s2) = pred_setSyntax.dest_insert s1 value [all...] |
H A D | lisp_opsScript.sml | 1474 val x2 = branch_taken_prefix ^ (x64_encodeLib.x64_encode "jne 9") value 1609 val x2 = branch_taken_prefix ^ (x64_encodeLib.x64_encode "jne 10") value 2453 val x2 = branch_taken_prefix ^ (x64_encodeLib.x64_encode "jne 12") value 2774 val (x2,s2) = pred_setSyntax.dest_insert s1 value [all...] |
/seL4-l4v-master/HOL4/examples/machine-code/multiword/x64/ |
H A D | x64_multiwordScript.sml | 106 val x2 = ("r2",``2w:word4``,``r2:word64``); value [all...] |
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | realconv.cpp | 1797 ULong *x, *x0, x1, x2; variable
|
H A D | xwindows.cpp | 2481 PolyWord x2; /* third value */ member in class:MLTriple 5304 PolyWord x2; member in struct:__anon44
|
/seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/ |
H A D | milawa_logicScript.sml | 250 val x2 = ``mVar "X2"`` value [all...] |