package info
(click to toggle)
acl2 8.5dfsg-5
- links: PTS
- area: main
- in suites: bookworm, sid, trixie
- size: 991,452 kB
- sloc: lisp: 15,567,759; javascript: 22,820; cpp: 13,929; ansic: 12,092; perl: 7,150; java: 4,405; xml: 3,884; makefile: 3,507; sh: 3,187; ruby: 2,633; ml: 763; python: 746; yacc: 723; awk: 295; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17
Folder: 8.5dfsg-5
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | .pc | |
d | rwxr-xr-x | 4,096 | acl2-customization-files | |
d | rwxr-xr-x | 4,096 | 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-- | 430 | .gitignore | |
- | rw-r--r-- | 37,649 | 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-- | 94,385 | acl2-fns.lisp | |
- | rw-r--r-- | 103,618 | acl2-init.lisp | |
- | rw-r--r-- | 111,184 | acl2.lisp | |
- | rw-r--r-- | 7,938 | akcl-acl2-trace.lisp | |
- | rw-r--r-- | 3,854 | all-files.txt | |
- | rw-r--r-- | 10,264 | allegro-acl2-trace.lisp | |
- | rw-r--r-- | 13,424 | apply-constraints.lisp | |
- | rw-r--r-- | 39,442 | apply-prim.lisp | |
- | rw-r--r-- | 191,104 | apply-raw.lisp | |
- | rw-r--r-- | 140,131 | apply.lisp | |
- | rw-r--r-- | 1,114,435 | axioms.lisp | |
- | rw-r--r-- | 371,089 | basis-a.lisp | |
- | rw-r--r-- | 178,802 | basis-b.lisp | |
- | rw-r--r-- | 135,169 | bdd.lisp | |
- | rw-r--r-- | 56,041 | boot-strap-pass-2-a.lisp | |
- | rw-r--r-- | 28,150 | boot-strap-pass-2-b.lisp | |
- | rw-r--r-- | 3,342 | build-allegro-exe.cl | |
- | rw-r--r-- | 32,610 | defpkgs.lisp | |
- | rw-r--r-- | 538,932 | defthm.lisp | |
- | rw-r--r-- | 602,253 | defuns.lisp | |
- | rw-r--r-- | 5,961,957 | doc.lisp | |
- | rw-r--r-- | 58,504 | futures-raw.lisp | |
- | rw-r--r-- | 836,284 | history-management.lisp | |
- | rw-r--r-- | 180,486 | hons-raw.lisp | |
- | rw-r--r-- | 9,577 | hons.lisp | |
- | rw-r--r-- | 153,546 | induct.lisp | |
- | rw-r--r-- | 4,290 | init.lisp | |
- | rw-r--r-- | 478,054 | interface-raw.lisp | |
- | rw-r--r-- | 226,184 | ld.lisp | |
- | rw-r--r-- | 153,018 | linear-a.lisp | |
- | rw-r--r-- | 44,130 | linear-b.lisp | |
- | rw-r--r-- | 5,355 | mcl-acl2-startup.lisp | |
- | rw-r--r-- | 218,328 | memoize-raw.lisp | |
- | rw-r--r-- | 17,261 | memoize.lisp | |
- | rw-r--r-- | 43,862 | multi-threading-raw.lisp | |
- | rw-r--r-- | 1,894 | new.html | |
- | rw-r--r-- | 41,825 | non-linear.lisp | |
- | rw-r--r-- | 8,993 | openmcl-acl2-trace.lisp | |
- | rw-r--r-- | 1,634,435 | other-events.lisp | |
- | rw-r--r-- | 107,642 | other-processes.lisp | |
- | rw-r--r-- | 5,764 | other-releases.html | |
- | rw-r--r-- | 61,367 | parallel-raw.lisp | |
- | rw-r--r-- | 41,818 | parallel.lisp | |
- | rw-r--r-- | 69,576 | proof-builder-a.lisp | |
- | rw-r--r-- | 214,947 | proof-builder-b.lisp | |
- | rw-r--r-- | 1,087 | proof-builder-pkg.lisp | |
- | rw-r--r-- | 436,702 | prove.lisp | |
- | rw-r--r-- | 907,989 | rewrite.lisp | |
- | rw-r--r-- | 13,633 | save-gprof.lsp | |
- | rw-r--r-- | 68,494 | serialize-raw.lisp | |
- | rw-r--r-- | 3,651 | serialize.lisp | |
- | rw-r--r-- | 443,859 | simplify.lisp | |
- | rw-r--r-- | 583,957 | tau.lisp | |
- | rw-r--r-- | 1,129,974 | translate.lisp | |
- | rw-r--r-- | 41,454 | type-set-a.lisp | |
- | rw-r--r-- | 565,439 | type-set-b.lisp | |
- | rw-r--r-- | 8,210 | workshops.html |