package info (click to toggle)
acl2 3.1-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 36,712 kB
  • ctags: 38,396
  • sloc: lisp: 464,023; makefile: 5,470; sh: 86; csh: 47; cpp: 25; ansic: 22

Folder: make-event

d .. (parent)
d d rwxr-xr-x 4,096 embedded-defaxioms
- - rw-r--r-- 3,939 Makefile
- - rw-r--r-- 5,754 Readme.lsp
- - rw-r--r-- 85 assert-check-include-1.acl2
- - rw-r--r-- 299 assert-check-include-1.lisp
- - rw-r--r-- 214 assert-check-include.lisp
- - rw-r--r-- 2,284 assert-check.lisp
- - rw-r--r-- 53 assert-include.acl2
- - rw-r--r-- 305 assert-include.lisp
- - rw-r--r-- 3,793 assert.lisp
- - rw-r--r-- 1,507 basic-check.lisp
- - rw-r--r-- 170 basic-pkg-check.acl2
- - rw-r--r-- 429 basic-pkg-check.lisp
- - rw-r--r-- 153 basic-pkg.acl2
- - rw-r--r-- 443 basic-pkg.lisp
- - rw-r--r-- 1,773 basic.lisp
- - rw-r--r-- 805 defconst-fast-examples.lisp
- - rw-r--r-- 599 defconst-fast.lisp
- - rw-r--r-- 2,128 dotimes.lisp
- - rw-r--r-- 61 embedded-defaxioms.acl2
- - rw-r--r-- 3,275 embedded-defaxioms.lisp
- - rw-r--r-- 3,676 eval-check-tests.lisp
- - rw-r--r-- 2,199 eval-check.lisp
- - rw-r--r-- 3,802 eval-tests.lisp
- - rw-r--r-- 2,249 eval.lisp
- - rw-r--r-- 2,441 gen-defthm-check.lisp
- - rw-r--r-- 3,090 gen-defthm.lisp
- - rw-r--r-- 2,694 gen-defun-check.lisp
- - rw-r--r-- 3,107 gen-defun.lisp
- - rw-r--r-- 1,017 local-requires-skip-check-include.lisp
- - rw-r--r-- 1,316 local-requires-skip-check.lisp
- - rw-r--r-- 1,780 logical-tangent.lisp
- - rw-r--r-- 3,882 macros-include.lisp
- - rw-r--r-- 67 macros-skip-proofs-include.acl2
- - rw-r--r-- 1,854 macros-skip-proofs-include.lisp
- - rw-r--r-- 59 macros-skip-proofs.acl2
- - rw-r--r-- 978 macros-skip-proofs.lisp
- - rw-r--r-- 2,182 macros.lisp
- - rw-r--r-- 1,871 nested-check.lisp
- - rw-r--r-- 1,214 nested.lisp
- - rw-r--r-- 328 portcullis-expansion-include.acl2
- - rw-r--r-- 597 portcullis-expansion-include.lisp
- - rw-r--r-- 1,339 portcullis-expansion.acl2
- - rw-r--r-- 3,425 portcullis-expansion.lisp
- - rw-r--r-- 5,169 proof-by-arith.lisp
- - rw-r--r-- 10 read-from-file-data-mod.lsp
- - rw-r--r-- 10 read-from-file-data.lsp
- - rw-r--r-- 3,342 read-from-file.lisp
- - rw-r--r-- 1,515 stobj-test.lisp
- - rw-r--r-- 924 test-case-check.lisp
- - rw-r--r-- 986 test-case.lisp