package info (click to toggle)
acl2 8.3dfsg-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 309,408 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,383; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17

Folder: misc

d .. (parent)
d d rwxr-xr-x 4,096 hidden-defpkg-checks
d d rwxr-xr-x 4,096 misc2
- - rw-r--r-- 24,780 README
- - rw-r--r-- 420 arithmetic-top-theory.lisp
- - rw-r--r-- 3,241 assert-tests.lisp
- - rw-r--r-- 98 assert.lisp
- - rw-r--r-- 463 bash-bsd.lisp
- - rw-r--r-- 15,185 bash.lisp
- - rw-r--r-- 15,468 beta-reduce.lisp
- - rw-r--r-- 9,521 book-checks.lisp
- - rw-r--r-- 4,576 callers-and-ancestors.lisp
- - rw-r--r-- 1,705 character-encoding-test.lisp
- - rw-r--r-- 8,479 check-acl2-exports.lisp
- - rw-r--r-- 2,756 check-fn-inst.lisp
- - rw-r--r-- 2,296 check-state.lisp
- - rw-r--r-- 6,487 computed-hint-rewrite.lisp
- - rw-r--r-- 16,515 computed-hint.lisp
- - rw-r--r-- 7,386 congruent-stobjs-test.lisp
- - rw-r--r-- 16,881 csort.lisp
- - rw-r--r-- 157 dead-events.lisp
- - rw-r--r-- 18,977 defabsstobj-example-1.lisp
- - rw-r--r-- 12,012 defabsstobj-example-2.lisp
- - rw-r--r-- 13,419 defabsstobj-example-3.lisp
- - rw-r--r-- 310 defabsstobj-example-4.acl2
- - rw-r--r-- 4,962 defabsstobj-example-4.lisp
- - rw-r--r-- 11,794 defabsstobj-example-5.lisp
- - rw-r--r-- 2,583 defattach-bang.lisp
- - rw-r--r-- 8,821 defattach-example.lisp
- - rw-r--r-- 2,690 definline.lisp
- - rw-r--r-- 6,304 defmac.lisp
- - rw-r--r-- 22,294 defopener.lisp
- - rw-r--r-- 6,074 defp.lisp
- - rw-r--r-- 41,578 defpm.lisp
- - rw-r--r-- 282 defproxy-test.acl2
- - rw-r--r-- 2,890 defproxy-test.lisp
- - rw-r--r-- 22,832 defpun.lisp
- - rw-r--r-- 11,425 defun-plus.lisp
- - rw-r--r-- 248 dft-ex.acl2
- - rw-r--r-- 4,808 dft-ex.lisp
- - rw-r--r-- 30,763 dft.lisp
- - rw-r--r-- 37,065 dijkstra-shortest-path.lisp
- - rw-r--r-- 277 disassemble.acl2
- - rw-r--r-- 4,435 disassemble.lisp
- - rw-r--r-- 5,129 dump-events.lisp
- - rw-r--r-- 1,463 eliminate-irrelevance-tests.lisp
- - rw-r--r-- 1,898 enumerate.lisp
- - rw-r--r-- 10,054 equal-by-g-help.lisp
- - rw-r--r-- 2,541 equal-by-g.lisp
- - rw-r--r-- 1,715 eval-tests.lisp
- - rw-r--r-- 96 eval.lisp
- - rw-r--r-- 4,374 evalable-printing.lisp
- - rw-r--r-- 1,596 expander-tests.lisp
- - rw-r--r-- 71,071 expander.lisp
- - rw-r--r-- 7,311 fast-coerce.lisp
- - rw-r--r-- 5,919 fibonacci.lisp
- - rw-r--r-- 4,879 file-io.lisp
- - rw-r--r-- 7,647 find-lemmas.lisp
- - rw-r--r-- 6,409 gentle.lisp
- - rw-r--r-- 6,559 getprop.lisp
- - rw-r--r-- 4,569 goodstein.lisp
- - rw-r--r-- 19,195 grcd.lisp
- - rw-r--r-- 588 hanoi.acl2
- - rw-r--r-- 12,644 hanoi.lisp
- - rw-r--r-- 25,687 hons-help.lisp
- - rw-r--r-- 1,995 hons-help2.lisp
- - rw-r--r-- 56,072 hons-tests.lisp
- - rw-r--r-- 24,057 how-to-prove-thms.lisp
- - rw-r--r-- 11,372 install-not-normalized-tests.lisp
- - rw-r--r-- 13,785 install-not-normalized.lisp
- - rw-r--r-- 8,741 int-division.lisp
- - rw-r--r-- 1,834 integer-type-set-test.lisp
- - rw-r--r-- 11,754 invariants.lisp
- - rw-r--r-- 8,886 meta-lemmas.lisp
- - rw-r--r-- 35,136 mult.lisp
- - rw-r--r-- 30,772 multi-v-uni.lisp
- - rw-r--r-- 2,921 oprof-raw.lsp
- - rw-r--r-- 77 oprof.acl2
- - rw-r--r-- 3,574 oprof.lisp
- - rw-r--r-- 339 pigeonhole.acl2
- - rw-r--r-- 12,789 pigeonhole.lisp
- - rw-r--r-- 9,451 priorities.lisp
- - rw-r--r-- 4,748 problem13.lisp
- - rw-r--r-- 6,065 process-book-readme.lisp
- - rw-r--r-- 6,199 profiling-raw.lsp
- - rw-r--r-- 375 profiling.acl2
- - rw-r--r-- 5,187 profiling.lisp
- - rw-r--r-- 388 radix.acl2
- - rw-r--r-- 4,955 radix.lisp
- - rw-r--r-- 2,543 random.lisp
- - rw-r--r-- 1,923 records-bsd.lisp
- - rw-r--r-- 14,107 records.lisp
- - rw-r--r-- 11,110 records0.lisp
- - rw-r--r-- 89 redef-pkg.acl2
- - rw-r--r-- 17,382 redef-pkg.lisp
- - rw-r--r-- 31,530 rtl-untranslate.lisp
- - rw-r--r-- 9,914 save-time.lisp
- - rw-r--r-- 7,613 seq-examples.lsp
- - rw-r--r-- 24,603 seq.lisp
- - rw-r--r-- 8,981 seqw-examples.lsp
- - rw-r--r-- 14,246 seqw.lisp
- - rw-r--r-- 4,222 simp.lisp
- - rw-r--r-- 43,895 simplify-defuns.lisp
- - rw-r--r-- 18,800 simplify-defuns.txt
- - rw-r--r-- 1,244 simplify-thm.lisp
- - rw-r--r-- 13,336 sin-cos.lisp
- - rw-r--r-- 5,525 sort-symbols.lisp
- - rw-r--r-- 2,372 sticky-disable.lisp
- - rw-r--r-- 29,008 symbol-btree.lisp
- - rw-r--r-- 427 total-order-bsd.lisp
- - rw-r--r-- 76 total-order.acl2
- - rw-r--r-- 16,211 total-order.lisp
- - rw-r--r-- 4,778 trace-star.lisp
- - rw-r--r-- 3,857 transfinite.lisp
- - rw-r--r-- 21,583 untranslate-patterns.lisp
- - rw-r--r-- 9,675 wet.lisp
- - rw-r--r-- 2,899 with-waterfall-parallelism.lisp
- - rw-r--r-- 3,135 without-waterfall-parallelism.lisp