Searched refs:DEFAULTS (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h40 #define DEFAULTS fd(-1), mode(READ), buf(NULL), size(-1), pos(0), own_fd(true) macro
41 File(void) : DEFAULTS {}
43 File(int fd, FileMode mode, bool own_fd = true) : DEFAULTS {
46 File(cchar* name, cchar* mode) : DEFAULTS {
48 #undef DEFAULTS macro
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/
H A Dhol_defaxiomsScript.sml3254 (fgetprop (asym "ACL2-DEFAULTS-TABLE") (asym "TABLE-ALIST") nil
4299 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4302 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))) (nat 1),
4310 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)),
4319 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4322 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4333 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4336 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))) (asym "O<"),
4351 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))
4407 (table_alist (asym "ACL2-DEFAULTS
[all...]
H A DPKGS.sml80 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2" , "COMMON-LISP"),
1045 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2-USER" , "COMMON-LISP"),
2959 ("*DEFAULT-PATHNAME-DEFAULTS*" , "U" , "COMMON-LISP"),
4794 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2-ASG" , "COMMON-LISP"),
6643 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2-AGP" , "COMMON-LISP"),
8492 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2-CRG" , "COMMON-LISP"),
H A Daxioms.ml2985 mksym "COMMON-LISP" "*DEFAULT-PATHNAME-DEFAULTS*") (mkpair (mksym
10148 mkpair (mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (
10704 mkpair (mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (
[all...]
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dhol_defaxiomsScript.sml3216 (fgetprop (asym "ACL2-DEFAULTS-TABLE") (asym "TABLE-ALIST") nil
4261 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4264 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))) (nat 1),
4272 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)),
4281 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4284 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4295 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4298 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))) (asym "O<"),
4313 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))
4369 (table_alist (asym "ACL2-DEFAULTS
[all...]
H A Dacl2_packageScript.sml912 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2-USER", "COMMON-LISP"),
1890 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2", "COMMON-LISP"),
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dhol_defaxiomsScript.sml3212 (fgetprop (asym "ACL2-DEFAULTS-TABLE") (asym "TABLE-ALIST") nil
4257 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4260 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))) (nat 1),
4268 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)),
4277 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4280 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4291 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld)))
4294 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))) (asym "O<"),
4309 (table_alist (asym "ACL2-DEFAULTS-TABLE") wrld))
4365 (table_alist (asym "ACL2-DEFAULTS
[all...]
H A Ddefaxioms.lisp.trans.ml5848 mkpair (mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (
8222 "QUOTE") (mkpair (mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP"
8229 mkpair (mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (
8242 "QUOTE") (mkpair (mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP"
8255 mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (mkpair (
8262 "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (mkpair (mksym "ACL2"
8276 mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (mkpair (
8283 "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (mkpair (mksym "ACL2"
8312 "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (mkpair (mksym "ACL2"
8433 "COMMON-LISP" "QUOTE") (mkpair (mksym "ACL2" "ACL2-DEFAULTS
[all...]
H A Dhol_defaxioms_proofsScript.sml2135 csym "+"; csym "*DEFAULT-PATHNAME-DEFAULTS*";
2732 csym "+"; csym "*DEFAULT-PATHNAME-DEFAULTS*";
H A Dkpa-v2-9-3.ml801 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2-USER", "COMMON-LISP"),
1779 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2", "COMMON-LISP"),
H A Dacl2_packageScript.sml912 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2-USER", "COMMON-LISP"),
1890 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2", "COMMON-LISP"),
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A DPKGS.sml39 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2" , "COMMON-LISP"),
1004 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2-USER" , "COMMON-LISP"),
2918 ("*DEFAULT-PATHNAME-DEFAULTS*" , "U" , "COMMON-LISP"),
4753 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2-ASG" , "COMMON-LISP"),
6602 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2-AGP" , "COMMON-LISP"),
8451 ("*DEFAULT-PATHNAME-DEFAULTS*" , "ACL2-CRG" , "COMMON-LISP"),
/seL4-l4v-master/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.sml2985 mksym "COMMON-LISP" "*DEFAULT-PATHNAME-DEFAULTS*") (mkpair (mksym
10148 mkpair (mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (
10704 mkpair (mksym "ACL2" "ACL2-DEFAULTS-TABLE") (mksym "COMMON-LISP" "NIL"))) (
[all...]

Completed in 445 milliseconds