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: 8.0dfsg-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | acl2-customization-files |
|
d | rwxr-xr-x | 111 | bin |
|
d | rwxr-xr-x | 4,096 | books |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | doc |
|
d | rwxr-xr-x | 94 | emacs |
|
d | rwxr-xr-x | 4,096 | graphics |
|
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 |