Searched refs:USED (Results 1 - 14 of 14) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/ |
H A D | util.h | 49 #define USED __attribute__((used)) macro
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
H A D | hol_defaxiomsScript.sml | 1839 [asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1840 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"; asym "STATE"]; 1843 [csym "IF"; asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1845 [asym "MV"; asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1846 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"; 1851 [asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1852 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"];
|
H A D | PKGS.sml | 665 ("PACKAGE-USED-BY-LIST" , "ACL2" , "COMMON-LISP"), 2187 ("PACKAGE-USED-BY-LIST" , "ACL2-USER" , "COMMON-LISP"), 4097 ("PACKAGE-USED-BY-LIST" , "U" , "COMMON-LISP"), 5936 ("PACKAGE-USED-BY-LIST" , "ACL2-ASG" , "COMMON-LISP"), 7785 ("PACKAGE-USED-BY-LIST" , "ACL2-AGP" , "COMMON-LISP"), 9634 ("PACKAGE-USED-BY-LIST" , "ACL2-CRG" , "COMMON-LISP"),
|
H A D | axioms.ml | 3346 "PACKAGE-USED-BY-LIST") (mkpair (mksym "COMMON-LISP" "NOTINLINE") (mkpair ( 4942 mkpair (mksym "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym 4943 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mkpair (mksym "ACL2" "STATE") ( 4950 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mksym "COMMON-LISP" "NIL"))) (mksym 4956 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mksym "COMMON-LISP" "NIL"))) ( 4959 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym "ACL2" 4960 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mkpair (mksym "ACL2" "STATE") ( 4966 mkpair (mksym "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym 4967 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mksym "COMMON-LISP" "NIL"))) ( [all...] |
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | hol_defaxiomsScript.sml | 1838 [asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1839 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"; asym "STATE"]; 1842 [csym "IF"; asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1844 [asym "MV"; asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1845 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"; 1850 [asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1851 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"];
|
H A D | acl2_packageScript.sml | 1497 ("PACKAGE-USED-BY-LIST", "ACL2-USER", "COMMON-LISP"), 2475 ("PACKAGE-USED-BY-LIST", "ACL2", "COMMON-LISP"),
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | hol_defaxiomsScript.sml | 1834 [asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1835 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"; asym "STATE"]; 1838 [csym "IF"; asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1840 [asym "MV"; asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1841 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"; 1846 [asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP"; 1847 asym "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL"];
|
H A D | hol_defaxioms_proofsScript.sml | 2431 csym "NOTEVERY"; csym "PACKAGE-USED-BY-LIST"; 3028 csym "NOTEVERY"; csym "PACKAGE-USED-BY-LIST";
|
H A D | kpa-v2-9-3.ml | 1386 ("PACKAGE-USED-BY-LIST", "ACL2-USER", "COMMON-LISP"), 2364 ("PACKAGE-USED-BY-LIST", "ACL2", "COMMON-LISP"),
|
H A D | acl2_packageScript.sml | 1497 ("PACKAGE-USED-BY-LIST", "ACL2-USER", "COMMON-LISP"), 2475 ("PACKAGE-USED-BY-LIST", "ACL2", "COMMON-LISP"),
|
H A D | defaxioms.lisp.trans.ml | 2401 mkpair (mksym "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym 2402 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mkpair (mksym "ACL2" "STATE") ( 2410 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mksym "COMMON-LISP" "NIL"))) ( 2413 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym "ACL2" 2414 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mkpair (mksym "ACL2" "STATE") ( 2420 mkpair (mksym "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym 2421 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mksym "COMMON-LISP" "NIL"))) ( 10834 "PACKAGE-USED-BY-LIST") (mkpair (mksym "COMMON-LISP" "NOTINLINE") (mkpair (
|
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/translations/ |
H A D | ltl_to_automaton_formulaScript.sml | 1673 UNDISCH_NO_TAC 9 (*USED VARS DS1*) THEN 1674 UNDISCH_NO_TAC 6 (*USED VARS DS2*) THEN
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
H A D | PKGS.sml | 624 ("PACKAGE-USED-BY-LIST" , "ACL2" , "COMMON-LISP"), 2146 ("PACKAGE-USED-BY-LIST" , "ACL2-USER" , "COMMON-LISP"), 4056 ("PACKAGE-USED-BY-LIST" , "U" , "COMMON-LISP"), 5895 ("PACKAGE-USED-BY-LIST" , "ACL2-ASG" , "COMMON-LISP"), 7744 ("PACKAGE-USED-BY-LIST" , "ACL2-AGP" , "COMMON-LISP"), 9593 ("PACKAGE-USED-BY-LIST" , "ACL2-CRG" , "COMMON-LISP"),
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/ |
H A D | axioms.sml | 3346 "PACKAGE-USED-BY-LIST") (mkpair (mksym "COMMON-LISP" "NOTINLINE") (mkpair ( 4942 mkpair (mksym "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym 4943 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mkpair (mksym "ACL2" "STATE") ( 4950 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mksym "COMMON-LISP" "NIL"))) (mksym 4956 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mksym "COMMON-LISP" "NIL"))) ( 4959 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym "ACL2" 4960 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mkpair (mksym "ACL2" "STATE") ( 4966 mkpair (mksym "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym 4967 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mksym "COMMON-LISP" "NIL"))) ( [all...] |
Completed in 341 milliseconds