package info (click to toggle)
acl2 8.0dfsg-1
  • links: PTS
  • area: main
  • in suites: bullseye, 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: 8.0dfsg-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 acl2-customization-files
d d rwxr-xr-x 111 bin
d d rwxr-xr-x 4,096 books
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 94 emacs
d d rwxr-xr-x 4,096 graphics
d d rwxr-xr-x 4,096 installation
- - rw-r--r-- 377 .gitignore
- - rw-r--r-- 35,405 GNUmakefile
- - rw-r--r-- 1,927 LICENSE
- - rw-r--r-- 1,500 Makefile
- l rwxrwxrwx 15 README.md → books/README.md
- - rw-r--r-- 256 acl2-characters
- - rw-r--r-- 16,240 acl2-check.lisp
- - rw-r--r-- 92,185 acl2-fns.lisp
- - rw-r--r-- 98,399 acl2-init.lisp
- - rw-r--r-- 109,606 acl2.lisp
- - rw-r--r-- 8,587 akcl-acl2-trace.lisp
- - rw-r--r-- 3,583 all-files.txt
- - rw-r--r-- 10,715 allegro-acl2-trace.lisp
- - rw-r--r-- 12,609 apply-constraints.lisp
- - rw-r--r-- 20,080 apply-prim.lisp
- - rw-r--r-- 141,088 apply-raw.lisp
- - rw-r--r-- 95,951 apply.lisp
- - rw-r--r-- 1,055,135 axioms.lisp
- - rw-r--r-- 304,164 basis-a.lisp
- - rw-r--r-- 168,297 basis-b.lisp
- - rw-r--r-- 134,075 bdd.lisp
- - rw-r--r-- 48,103 boot-strap-pass-2-a.lisp
- - rw-r--r-- 31,107 boot-strap-pass-2-b.lisp
- - rw-r--r-- 3,342 build-allegro-exe.cl
- - rw-r--r-- 30,175 defpkgs.lisp
- - rw-r--r-- 532,976 defthm.lisp
- - rw-r--r-- 421,429 defuns.lisp
- - rw-r--r-- 5,024,658 doc.lisp
- - rw-r--r-- 59,443 futures-raw.lisp
- - rw-r--r-- 721,158 history-management.lisp
- - rw-r--r-- 177,251 hons-raw.lisp
- - rw-r--r-- 9,881 hons.lisp
- - rw-r--r-- 151,147 induct.lisp
- - rw-r--r-- 4,118 init.lisp
- - rw-r--r-- 453,331 interface-raw.lisp
- - rw-r--r-- 211,762 ld.lisp
- - rw-r--r-- 153,046 linear-a.lisp
- - rw-r--r-- 41,811 linear-b.lisp
- - rw-r--r-- 5,355 mcl-acl2-startup.lisp
- - rw-r--r-- 213,930 memoize-raw.lisp
- - rw-r--r-- 16,097 memoize.lisp
- - rw-r--r-- 43,865 multi-threading-raw.lisp
- - rw-r--r-- 2,559 new.html
- - rw-r--r-- 41,825 non-linear.lisp
- - rw-r--r-- 9,243 openmcl-acl2-trace.lisp
- - rw-r--r-- 1,371,308 other-events.lisp
- - rw-r--r-- 107,532 other-processes.lisp
- - rw-r--r-- 5,177 other-releases.html
- - rw-r--r-- 61,416 parallel-raw.lisp
- - rw-r--r-- 41,611 parallel.lisp
- - rw-r--r-- 65,079 proof-builder-a.lisp
- - rw-r--r-- 212,138 proof-builder-b.lisp
- - rw-r--r-- 1,087 proof-builder-pkg.lisp
- - rw-r--r-- 422,057 prove.lisp
- - rw-r--r-- 785,510 rewrite.lisp
- - rw-r--r-- 13,633 save-gprof.lsp
- - rw-r--r-- 68,494 serialize-raw.lisp
- - rw-r--r-- 4,313 serialize.lisp
- - rw-r--r-- 443,528 simplify.lisp
- - rw-r--r-- 589,502 tau.lisp
- - rw-r--r-- 483,725 translate.lisp
- - rw-r--r-- 41,454 type-set-a.lisp
- - rw-r--r-- 549,843 type-set-b.lisp
- - rw-r--r-- 8,421 workshops.html