| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
| H A D | problem-set-1-answers.lisp | 16 cons consp car cdr endp
142 ; (endp x) same as (not (consp x))
398 (if (endp x)
410 (if (endp x)
423 (if (endp x)
431 (if (endp x)
492 (if (endp list)
507 (if (endp lst)
525 (if (endp args)
540 (if (endp arg
[all...] |
| H A D | summary.lisp | 45 (if (endp upds) result
72 (if (endp x) T
77 (cond ((endp x) nil)
83 (cond ((endp x) y)
161 (if (endp states) T
167 (if (endp vars) T
173 (if (endp states) nil
178 (if (endp states) nil
188 (if (endp states) T
193 (if (endp var
[all...] |
| H A D | sets.lisp | 21 (if (endp x) T
26 (cond ((endp x) nil)
32 (cond ((endp x) y)
|
| H A D | apply-total-order.lisp | 24 (cond ((endp x) ())
31 (cond ((endp x) (list a))
38 (or (endp (rest x))
43 (or (endp x)
|
| H A D | circuits.lisp | 48 (if (endp vars) T
66 (if (endp states) nil
71 (if (endp states) nil
78 (if (endp vars) states
86 (if (endp vars) nil
93 (if (endp states) label
118 (if (endp vars) st
124 (if (endp vars) T
133 (if (endp states) nil
140 (if (endp state
[all...] |
| H A D | circuit-bisim.lisp | 27 (if (endp vars) T
41 (if (endp states) nil
46 (if (endp states) nil
73 (if (endp states) T
78 (if (endp vars) T
83 (if (endp states) T
96 (if (endp m-states) T
106 (if (endp label) t
111 (if (endp states) T
116 (if (endp var
[all...] |
| H A D | records.lisp | 57 (cond ((or (endp x)
69 (cond ((or (endp r)
81 (cond ((endp x)
289 (if (endp upds) result
|
| H A D | cone-of-influence.lisp | 32 (if (endp equation-list) nil
37 (if (endp vars) nil
87 (if (endp x) x
102 (if (endp x) (list x y)
213 (if (endp vars) eq-rec
220 (cond ((endp x) x)
225 (if (endp vars) nil
231 (if (endp inits) nil
514 (if (endp vars) T
944 (if (endp var
[all...] |
| H A D | ltl.lisp | 189 (if (endp states) T
|
| H A D | m1-story.lisp | 118 (if (endp sched)
433 (if (endp stmt-list)
575 (if (endp stmt-list)
1069 (if (endp vars)
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/ |
| H A D | pkg-alist-to-alist.lisp | 31 (cond ((endp imports) acc)
40 (cond ((endp kpa) acc)
52 (cond ((endp triples) state)
66 (cond ((endp objs) state)
99 (cond ((endp kpa) nil)
|
| H A D | check-file.lisp | 39 (cond ((endp x) nil)
107 (cond ((endp lst)
|
| H A D | untranslate-file.lisp | 96 (cond ((endp lst)
|
| H A D | a2ml.lisp | 62 ((endp list)
82 (if (endp (cdr list)) state (princ$ sep channel state))
|
| H A D | book-essence.lisp | 194 (cond ((endp x) nil)
214 (cond ((endp sigs) nil)
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/obsolete/ |
| H A D | filter-forms.lisp | 53 (if (endp lst)
69 (if (endp forms)
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
| H A D | hol_defaxiomsScript.sml | 435 [oracles: DEFUN COMMON-LISP::ENDP] [axioms: ] [] |- endp x = atom x,
440 `endp x = atom x`;
450 itel [(endp lst,nil); (equal x (car lst),lst)]
457 itel [(endp lst,nil); (equal x (car lst),lst)]
465 itel [(endp x,y); (member_equal (car x) y,union_equal (cdr x) y)]
472 ite (endp x) t
494 itel [(endp lst,nil); (eq x (car lst),lst)] (member_eq x (cdr lst)),
500 ite (endp x) t (andl [member_eq (car x) y; subsetp_eq (cdr x) y]),
513 itel [(endp alist,nil); (eq x (caar alist),car alist)]
520 itel [(endp alis
[all...] |
| H A D | acl2_packageScript.sml | 129 (* (cond ((endp triples) *)
161 (* (if (endp tail) *)
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | hol_defaxiomsScript.sml | 434 [oracles: DEFUN COMMON-LISP::ENDP] [axioms: ] [] |- endp x = atom x,
439 `endp x = atom x`;
449 itel [(endp lst,nil); (equal x (car lst),lst)]
456 itel [(endp lst,nil); (equal x (car lst),lst)]
464 itel [(endp x,y); (member_equal (car x) y,union_equal (cdr x) y)]
471 ite (endp x) t
493 itel [(endp lst,nil); (eq x (car lst),lst)] (member_eq x (cdr lst)),
499 ite (endp x) t (andl [member_eq (car x) y; subsetp_eq (cdr x) y]),
512 itel [(endp alist,nil); (eq x (caar alist),car alist)]
519 itel [(endp alis
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | hol_defaxiomsScript.sml | 430 [oracles: DEFUN COMMON-LISP::ENDP] [axioms: ] [] |- endp x = atom x,
435 `endp x = atom x`;
445 itel [(endp lst,nil); (equal x (car lst),lst)]
452 itel [(endp lst,nil); (equal x (car lst),lst)]
460 itel [(endp x,y); (member_equal (car x) y,union_equal (cdr x) y)]
467 ite (endp x) t
489 itel [(endp lst,nil); (eq x (car lst),lst)] (member_eq x (cdr lst)),
495 ite (endp x) t (andl [member_eq (car x) y; subsetp_eq (cdr x) y]),
508 itel [(endp alist,nil); (eq x (caar alist),car alist)]
515 itel [(endp alis
[all...] |
| H A D | sexpScript.sml | 1565 (* (cond ((endp triples) nil) *)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | mpoly.cpp | 243 TCHAR *endp = 0; local
271 gcpercent = _tcstol(p, &endp, 10);
272 if (*endp != '\0')
288 userOptions.gcthreads = _tcstol(p, &endp, 10);
289 if (*endp != '\0')
|
| H A D | polystring.cpp | 126 TCHAR *endp; local
127 codePage = _tcstol(codePageArg, &endp, 10);
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/ |
| H A D | unix.S | 273 .endp ffi_call_unix
512 .endp ffi_closure_unix
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake_types.sml | 160 fun endp c = c <> #"=" andalso not (Char.isSpace c) function
161 val (varname, rest) = splitl endp ss
|