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 D | m1_story.sml | 8 (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 D | PKGS.sml | 68 ("*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 D | m1_story.sml | 8 (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 D | PKGS.sml | 27 ("*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 44 milliseconds