Searched +refs:M1 +refs:RUN (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dm1_story.sml8 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "NEXT-INST") (
9 mkpair (mkpair (mksym "M1" "S") (mksym "COMMON-LISP" "NIL")) (mkpair (mkpair (
10 mksym "M1" "NTH") (mkpair (mkpair (mksym "M1" "PC") (mkpair (mksym "M1" "S") (
11 mksym "COMMON-LISP" "NIL"))) (mkpair (mkpair (mksym "M1" "PROGRAM") (mkpair (
12 mksym "M1" "S") (mksym "COMMON-LISP" "NIL"))) (mksym "COMMON-LISP" "NIL")))) (
16 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "EXECUTE-ICONST") (
17 mkpair (mkpair (mksym "M1" "INST") (mkpair (mksym "M1" "
[all...]
H A DPKGS.sml425 ("GET-INTERNAL-RUN-TIME" , "ACL2" , "COMMON-LISP"),
1749 ("GET-INTERNAL-RUN-TIME" , "ACL2-USER" , "COMMON-LISP"),
2118 ("NTH-0-READ-RUN-TIME-TYPE-PRESCRIPTION" , "ACL2-USER" , "ACL2"),
2349 ("READ-RUN-TIME" , "ACL2-USER" , "ACL2"),
2350 ("READ-RUN-TIME-PRESERVES-STATE-P1" , "ACL2-USER" , "ACL2"),
2874 ("&REST" , "M1" , "COMMON-LISP"),
2875 ("*" , "M1" , "COMMON-LISP"),
2876 ("+" , "M1" , "COMMON-LISP"),
2877 ("-" , "M1" , "COMMON-LISP"),
2878 ("/" , "M1" , "COMMO
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/
H A Dm1_story.sml8 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "NEXT-INST") (
9 mkpair (mkpair (mksym "M1" "S") (mksym "COMMON-LISP" "NIL")) (mkpair (mkpair (
10 mksym "M1" "NTH") (mkpair (mkpair (mksym "M1" "PC") (mkpair (mksym "M1" "S") (
11 mksym "COMMON-LISP" "NIL"))) (mkpair (mkpair (mksym "M1" "PROGRAM") (mkpair (
12 mksym "M1" "S") (mksym "COMMON-LISP" "NIL"))) (mksym "COMMON-LISP" "NIL")))) (
16 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "EXECUTE-ICONST") (
17 mkpair (mkpair (mksym "M1" "INST") (mkpair (mksym "M1" "
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A DPKGS.sml384 ("GET-INTERNAL-RUN-TIME" , "ACL2" , "COMMON-LISP"),
1708 ("GET-INTERNAL-RUN-TIME" , "ACL2-USER" , "COMMON-LISP"),
2077 ("NTH-0-READ-RUN-TIME-TYPE-PRESCRIPTION" , "ACL2-USER" , "ACL2"),
2308 ("READ-RUN-TIME" , "ACL2-USER" , "ACL2"),
2309 ("READ-RUN-TIME-PRESERVES-STATE-P1" , "ACL2-USER" , "ACL2"),
2833 ("&REST" , "M1" , "COMMON-LISP"),
2834 ("*" , "M1" , "COMMON-LISP"),
2835 ("+" , "M1" , "COMMON-LISP"),
2836 ("-" , "M1" , "COMMON-LISP"),
2837 ("/" , "M1" , "COMMO
[all...]

Completed in 228 milliseconds