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: 7.2dfsg-3
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | acl2-customization-files |
|
d | rwxr-xr-x | 63 | bin |
|
d | rwxr-xr-x | 4,096 | books |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 134 | doc |
|
d | rwxr-xr-x | 94 | emacs |
|
d | rwxr-xr-x | 4,096 | graphics |
|
d | rwxr-xr-x | 4,096 | installation |
 |
- | rw-r--r-- | 345 | .gitignore |
|
- | rw-r--r-- | 34,628 | 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,228 | acl2-check.lisp |
|
- | rw-r--r-- | 87,670 | acl2-fns.lisp |
|
- | rw-r--r-- | 94,728 | acl2-init.lisp |
|
- | rw-r--r-- | 107,665 | acl2.lisp |
|
- | rw-r--r-- | 8,587 | akcl-acl2-trace.lisp |
|
- | rw-r--r-- | 3,448 | all-files.txt |
|
- | rw-r--r-- | 9,981 | allegro-acl2-trace.lisp |
|
- | rw-r--r-- | 1,022,032 | axioms.lisp |
|
- | rw-r--r-- | 293,844 | basis-a.lisp |
|
- | rw-r--r-- | 164,634 | basis-b.lisp |
|
- | rw-r--r-- | 134,075 | bdd.lisp |
|
- | rw-r--r-- | 68,989 | boot-strap-pass-2.lisp |
|
- | rw-r--r-- | 3,342 | build-allegro-exe.cl |
|
- | rw-r--r-- | 28,612 | defpkgs.lisp |
|
- | rw-r--r-- | 526,108 | defthm.lisp |
|
- | rw-r--r-- | 390,628 | defuns.lisp |
|
- | rw-r--r-- | 4,667,281 | doc.lisp |
|
- | rw-r--r-- | 59,444 | futures-raw.lisp |
|
- | rw-r--r-- | 685,174 | history-management.lisp |
|
- | rw-r--r-- | 175,637 | hons-raw.lisp |
|
- | rw-r--r-- | 9,310 | hons.lisp |
|
- | rw-r--r-- | 142,409 | induct.lisp |
|
- | rw-r--r-- | 4,167 | init.lisp |
|
- | rw-r--r-- | 434,633 | interface-raw.lisp |
|
- | rw-r--r-- | 205,217 | ld.lisp |
|
- | rw-r--r-- | 153,032 | linear-a.lisp |
|
- | rw-r--r-- | 38,336 | linear-b.lisp |
|
- | rw-r--r-- | 5,355 | mcl-acl2-startup.lisp |
|
- | rw-r--r-- | 212,015 | memoize-raw.lisp |
|
- | rw-r--r-- | 15,832 | memoize.lisp |
|
- | rw-r--r-- | 43,865 | multi-threading-raw.lisp |
|
- | rw-r--r-- | 2,108 | new.html |
|
- | rw-r--r-- | 41,825 | non-linear.lisp |
|
- | rw-r--r-- | 8,602 | openmcl-acl2-trace.lisp |
|
- | rw-r--r-- | 1,309,037 | other-events.lisp |
|
- | rw-r--r-- | 108,308 | other-processes.lisp |
|
- | rw-r--r-- | 4,850 | other-releases.html |
|
- | rw-r--r-- | 61,417 | parallel-raw.lisp |
|
- | rw-r--r-- | 41,631 | parallel.lisp |
|
- | rw-r--r-- | 64,729 | proof-checker-a.lisp |
|
- | rw-r--r-- | 208,283 | proof-checker-b.lisp |
|
- | rw-r--r-- | 904 | proof-checker-pkg.lisp |
|
- | rw-r--r-- | 417,043 | prove.lisp |
|
- | rw-r--r-- | 776,646 | rewrite.lisp |
|
- | rw-r--r-- | 13,646 | save-gprof.lsp |
|
- | rw-r--r-- | 68,231 | serialize-raw.lisp |
|
- | rw-r--r-- | 4,313 | serialize.lisp |
|
- | rw-r--r-- | 406,974 | simplify.lisp |
|
- | rw-r--r-- | 584,016 | tau.lisp |
|
- | rw-r--r-- | 445,334 | translate.lisp |
|
- | rw-r--r-- | 38,273 | type-set-a.lisp |
|
- | rw-r--r-- | 522,116 | type-set-b.lisp |
|
- | rw-r--r-- | 8,041 | workshops.html |