Searched refs:USED (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/
H A Dutil.h49 #define USED __attribute__((used)) macro
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dhol_defaxiomsScript.sml1839 [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 DPKGS.sml665 ("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 Daxioms.ml3346 "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 Dhol_defaxiomsScript.sml1838 [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 Dacl2_packageScript.sml1497 ("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 Dhol_defaxiomsScript.sml1834 [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 Dhol_defaxioms_proofsScript.sml2431 csym "NOTEVERY"; csym "PACKAGE-USED-BY-LIST";
3028 csym "NOTEVERY"; csym "PACKAGE-USED-BY-LIST";
H A Dkpa-v2-9-3.ml1386 ("PACKAGE-USED-BY-LIST", "ACL2-USER", "COMMON-LISP"),
2364 ("PACKAGE-USED-BY-LIST", "ACL2", "COMMON-LISP"),
H A Dacl2_packageScript.sml1497 ("PACKAGE-USED-BY-LIST", "ACL2-USER", "COMMON-LISP"),
2475 ("PACKAGE-USED-BY-LIST", "ACL2", "COMMON-LISP"),
H A Ddefaxioms.lisp.trans.ml2401 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 Dltl_to_automaton_formulaScript.sml1673 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 DPKGS.sml624 ("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 Daxioms.sml3346 "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