Searched defs:pc2 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_bytecode_stepScript.sml1305 val pc2 = ijump_raw |> concl |> rand |> rand |> find_term (can (match_term ``zPC p``)) |> rand value
1350 val pc2 = ijnil1_raw |> concl |> rand |> rand |> find_term (can (match_term ``zPC p``)) |> rand value
1374 val pc2 = ijnil2_raw |> concl |> rand |> rand |> find_term (can (match_term ``zPC p``)) |> rand value
/seL4-l4v-master/HOL4/examples/machine-code/lisp/
H A Dlisp_opsScript.sml654 val pc2 = find_term (can (match_term ``xPC p``)) ((cdr o concl) th) value
734 val pc2 = find_term (can (match_term ``xPC p``)) ((cdr o concl) th) value
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dgraph_specsLib.sml314 val pc2 = post |> rand |> rand value
358 val pc2 = post |> rand |> rand value

Completed in 71 milliseconds