package info (click to toggle)
acl2 7.2dfsg-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 198,968 kB
  • ctags: 182,300
  • sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; 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-- 6,265 assert.lisp
- - rw-r--r-- 463 bash-bsd.lisp
- - rw-r--r-- 14,877 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-- 5,899 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,265 defmac.lisp
- - rw-r--r-- 21,519 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-- 18,465 defpun.lisp
- - rw-r--r-- 11,425 defun-plus.lisp
- - rwxr-xr-x 248 dft-ex.acl2
- - rw-r--r-- 4,808 dft-ex.lisp
- - rw-r--r-- 30,220 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,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-- 9,303 eval.lisp
- - rw-r--r-- 4,374 evalable-printing.lisp
- - rw-r--r-- 65,310 expander.lisp
- - rw-r--r-- 7,311 fast-coerce.lisp
- - rw-r--r-- 5,919 fibonacci.lisp
- - rw-r--r-- 4,211 file-io.lisp
- - rw-r--r-- 7,696 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-- 12,726 install-not-normalized.lisp
- - rw-r--r-- 8,245 int-division.lisp
- - rw-r--r-- 1,834 integer-type-set-test.lisp
- - rw-r--r-- 11,589 invariants.lisp
- - rw-r--r-- 8,869 meta-lemmas.lisp
- - rw-r--r-- 34,933 mult.lisp
- - rw-r--r-- 30,772 multi-v-uni.lisp
- - rw-r--r-- 32,957 nested-stobj-tests.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,584 priorities.lisp
- - rw-r--r-- 4,748 problem13.lisp
- - rw-r--r-- 6,065 process-book-readme.lisp
- - rw-r--r-- 6,604 profiling-raw.lsp
- - rw-r--r-- 375 profiling.acl2
- - rw-r--r-- 1,864 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,119 records0.lisp
- - rw-r--r-- 89 redef-pkg.acl2
- - rw-r--r-- 17,345 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,891 simplify-defuns.lisp
- - rw-r--r-- 18,800 simplify-defuns.txt
- - rw-r--r-- 1,244 simplify-thm.lisp
- - rw-r--r-- 13,176 sin-cos.lisp
- - rw-r--r-- 5,420 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,221 total-order.lisp
- - rw-r--r-- 4,778 trace-star.lisp
- - rw-r--r-- 3,857 transfinite.lisp
- - rw-r--r-- 20,973 untranslate-patterns.lisp
- - rw-r--r-- 8,518 wet.lisp
- - rw-r--r-- 2,894 with-waterfall-parallelism.lisp
- - rw-r--r-- 3,130 without-waterfall-parallelism.lisp