Searched refs:DEFAULTS (Results 1 - 13 of 13) sorted by relevance
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | File.h | 40 #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 D | hol_defaxiomsScript.sml | 3254 (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 D | PKGS.sml | 80 ("*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 D | axioms.ml | 2985 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 D | hol_defaxiomsScript.sml | 3216 (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 D | acl2_packageScript.sml | 912 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2-USER", "COMMON-LISP"), 1890 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2", "COMMON-LISP"),
|
/seL4-l4v-master/HOL4/examples/acl2/ml/ |
H A D | hol_defaxiomsScript.sml | 3212 (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 D | defaxioms.lisp.trans.ml | 5848 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 D | hol_defaxioms_proofsScript.sml | 2135 csym "+"; csym "*DEFAULT-PATHNAME-DEFAULTS*"; 2732 csym "+"; csym "*DEFAULT-PATHNAME-DEFAULTS*";
|
H A D | kpa-v2-9-3.ml | 801 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2-USER", "COMMON-LISP"), 1779 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2", "COMMON-LISP"),
|
H A D | acl2_packageScript.sml | 912 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2-USER", "COMMON-LISP"), 1890 ("*DEFAULT-PATHNAME-DEFAULTS*", "ACL2", "COMMON-LISP"),
|
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
H A D | PKGS.sml | 39 ("*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 D | axioms.sml | 2985 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