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: 8.3dfsg-2
 |
.. (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 | 125 | emacs |
|
d | rwxr-xr-x | 4,096 | graphics |
|
d | rwxr-xr-x | 4,096 | installation |
 |
- | rw-r--r-- | 483 | .gitignore |
|
- | rw-r--r-- | 35,047 | GNUmakefile |
|
- | rw-r--r-- | 2,084 | 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,932 | acl2-check.lisp |
|
- | rw-r--r-- | 93,722 | acl2-fns.lisp |
|
- | rw-r--r-- | 102,449 | acl2-init.lisp |
|
- | rw-r--r-- | 110,155 | acl2.lisp |
|
- | rw-r--r-- | 8,389 | akcl-acl2-trace.lisp |
|
- | rw-r--r-- | 3,489 | all-files.txt |
|
- | rw-r--r-- | 10,715 | allegro-acl2-trace.lisp |
|
- | rw-r--r-- | 13,084 | apply-constraints.lisp |
|
- | rw-r--r-- | 23,431 | apply-prim.lisp |
|
- | rw-r--r-- | 185,679 | apply-raw.lisp |
|
- | rw-r--r-- | 119,405 | apply.lisp |
|
- | rw-r--r-- | 1,102,924 | axioms.lisp |
|
- | rw-r--r-- | 337,557 | basis-a.lisp |
|
- | rw-r--r-- | 177,357 | basis-b.lisp |
|
- | rw-r--r-- | 134,124 | bdd.lisp |
|
- | rw-r--r-- | 48,511 | boot-strap-pass-2-a.lisp |
|
- | rw-r--r-- | 36,087 | boot-strap-pass-2-b.lisp |
|
- | rw-r--r-- | 3,342 | build-allegro-exe.cl |
|
- | rw-r--r-- | 31,452 | defpkgs.lisp |
|
- | rw-r--r-- | 539,890 | defthm.lisp |
|
- | rw-r--r-- | 524,604 | defuns.lisp |
|
- | rw-r--r-- | 5,477,184 | doc.lisp |
|
- | rw-r--r-- | 59,443 | futures-raw.lisp |
|
- | rw-r--r-- | 805,595 | history-management.lisp |
|
- | rw-r--r-- | 178,947 | hons-raw.lisp |
|
- | rw-r--r-- | 10,229 | hons.lisp |
|
- | rw-r--r-- | 151,703 | induct.lisp |
|
- | rw-r--r-- | 4,155 | init.lisp |
|
- | rw-r--r-- | 469,547 | interface-raw.lisp |
|
- | rw-r--r-- | 210,996 | ld.lisp |
|
- | rw-r--r-- | 153,504 | linear-a.lisp |
|
- | rw-r--r-- | 44,130 | linear-b.lisp |
|
- | rw-r--r-- | 5,355 | mcl-acl2-startup.lisp |
|
- | rw-r--r-- | 217,086 | memoize-raw.lisp |
|
- | rw-r--r-- | 16,342 | memoize.lisp |
|
- | rw-r--r-- | 43,865 | multi-threading-raw.lisp |
|
- | rw-r--r-- | 2,096 | new.html |
|
- | rw-r--r-- | 41,825 | non-linear.lisp |
|
- | rw-r--r-- | 9,243 | openmcl-acl2-trace.lisp |
|
- | rw-r--r-- | 1,421,745 | other-events.lisp |
|
- | rw-r--r-- | 107,642 | other-processes.lisp |
|
- | rw-r--r-- | 5,500 | 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-- | 213,264 | proof-builder-b.lisp |
|
- | rw-r--r-- | 1,087 | proof-builder-pkg.lisp |
|
- | rw-r--r-- | 435,800 | prove.lisp |
|
- | rw-r--r-- | 853,649 | 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-- | 444,931 | simplify.lisp |
|
- | rw-r--r-- | 583,959 | tau.lisp |
|
- | rw-r--r-- | 803,893 | translate.lisp |
|
- | rw-r--r-- | 41,454 | type-set-a.lisp |
|
- | rw-r--r-- | 563,305 | type-set-b.lisp |
|
- | rw-r--r-- | 8,187 | workshops.html |