Searched +refs:M1 +refs:COMPILE (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.sml68 ("*COMPILE-FILE-PATHNAME*" , "ACL2" , "COMMON-LISP"),
70 ("*COMPILE-FILE-TRUENAME*" , "ACL2" , "COMMON-LISP"),
72 ("*COMPILE-PRINT*" , "ACL2" , "COMMON-LISP"),
74 ("*COMPILE-VERBOSE*" , "ACL2" , "COMMON-LISP"),
256 ("COMPILE" , "ACL2" , "COMMON-LISP"),
259 ("COMPILE-FILE" , "ACL2" , "COMMON-LISP"),
262 ("COMPILE-FILE-PATHNAME" , "ACL2" , "COMMON-LISP"),
1039 ("*COMPILE-FILE-PATHNAME*" , "ACL2-USER" , "COMMON-LISP"),
1040 ("*COMPILE-FILE-TRUENAME*" , "ACL2-USER" , "COMMON-LISP"),
1041 ("*COMPILE
[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.sml27 ("*COMPILE-FILE-PATHNAME*" , "ACL2" , "COMMON-LISP"),
29 ("*COMPILE-FILE-TRUENAME*" , "ACL2" , "COMMON-LISP"),
31 ("*COMPILE-PRINT*" , "ACL2" , "COMMON-LISP"),
33 ("*COMPILE-VERBOSE*" , "ACL2" , "COMMON-LISP"),
215 ("COMPILE" , "ACL2" , "COMMON-LISP"),
218 ("COMPILE-FILE" , "ACL2" , "COMMON-LISP"),
221 ("COMPILE-FILE-PATHNAME" , "ACL2" , "COMMON-LISP"),
998 ("*COMPILE-FILE-PATHNAME*" , "ACL2-USER" , "COMMON-LISP"),
999 ("*COMPILE-FILE-TRUENAME*" , "ACL2-USER" , "COMMON-LISP"),
1000 ("*COMPILE
[all...]

Completed in 132 milliseconds