package info (click to toggle)
acl2 8.0dfsg-1
  • links: PTS
  • area: main
  • in suites: buster
  • size: 226,956 kB
  • sloc: lisp: 2,678,900; ansic: 6,101; perl: 5,816; xml: 3,586; cpp: 2,624; ruby: 2,576; makefile: 2,443; sh: 2,312; python: 778; yacc: 764; ml: 763; awk: 260; csh: 186; php: 171; lex: 165; tcl: 44; java: 41; 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-- 357 arithmetic-top-theory.lisp
- - rw-r--r-- 3,143 assert-tests.lisp
- - rw-r--r-- 5,654 assert.lisp
- - rw-r--r-- 463 bash-bsd.lisp
- - rw-r--r-- 14,878 bash.lisp
- - rw-r--r-- 14,802 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-- 7,806 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,361 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-- 2,583 defattach-bang.lisp
- - rw-r--r-- 8,821 defattach-example.lisp
- - rw-r--r-- 1,636 definline.lisp
- - rw-r--r-- 6,304 defmac.lisp
- - rw-r--r-- 22,046 defopener.lisp
- - rw-r--r-- 6,074 defp.lisp
- - rw-r--r-- 41,477 defpm.lisp
- - rw-r--r-- 282 defproxy-test.acl2
- - rw-r--r-- 2,890 defproxy-test.lisp
- - rw-r--r-- 22,633 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,690 eval-tests.lisp
- - rw-r--r-- 17,876 eval.lisp
- - rw-r--r-- 4,374 evalable-printing.lisp
- - rw-r--r-- 71,300 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-- 385 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,365 install-not-normalized-tests.lisp
- - rw-r--r-- 13,390 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,868 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-- 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-- 185 radix.acl2
- - rw-r--r-- 4,947 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-- 28,856 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-- 8,518 wet.lisp
- - rw-r--r-- 2,899 with-waterfall-parallelism.lisp
- - rw-r--r-- 3,135 without-waterfall-parallelism.lisp