package info
(click to toggle)
acl2 6.5-2
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 108,856 kB
- ctags: 110,136
- sloc: lisp: 1,492,565; xml: 7,958; perl: 3,682; sh: 2,103; cpp: 1,477; makefile: 1,470; ruby: 453; ansic: 358; csh: 125; java: 24; haskell: 17
Folder: 6.5-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | acl2-customization-files |
|
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 |
|
d | rwxr-xr-x | 6 | saved |
 |
- | rw-r--r-- | 33,602 | GNUmakefile |
|
- | rw-r--r-- | 1,927 | LICENSE |
|
- | rw-r--r-- | 1,500 | Makefile |
|
- | rw-r--r-- | 328,218 | TAGS |
|
- | rw-r--r-- | 256 | acl2-characters |
|
- | rw-r--r-- | 16,245 | acl2-check.lisp |
|
- | rw-r--r-- | 68,092 | acl2-fns.lisp |
|
- | rw-r--r-- | 86,525 | acl2-init.lisp |
|
- | rw-r--r-- | 9 | acl2-startup-info.txt |
|
- | rw-r--r-- | 102,406 | acl2.lisp |
|
- | rw-r--r-- | 8,587 | akcl-acl2-trace.lisp |
|
- | rw-r--r-- | 3,041 | all-files.txt |
|
- | rw-r--r-- | 9,981 | allegro-acl2-trace.lisp |
|
- | rw-r--r-- | 1,008,963 | axioms.lisp |
|
- | rw-r--r-- | 383,416 | basis.lisp |
|
- | rw-r--r-- | 134,347 | bdd.lisp |
|
- | rw-r--r-- | 57,091 | boot-strap-pass-2.lisp |
|
- | rw-r--r-- | 3,342 | build-allegro-exe.cl |
|
- | rw-r--r-- | 27,699 | defpkgs.lisp |
|
- | rw-r--r-- | 473,716 | defthm.lisp |
|
- | rw-r--r-- | 413,518 | defuns.lisp |
|
- | rw-r--r-- | 4,332,707 | doc.lisp |
|
- | rw-r--r-- | 58,771 | futures-raw.lisp |
|
- | rw-r--r-- | 748,157 | history-management.lisp |
|
- | rw-r--r-- | 170,478 | hons-raw.lisp |
|
- | rw-r--r-- | 9,334 | hons.lisp |
|
- | rw-r--r-- | 141,580 | induct.lisp |
|
- | rw-r--r-- | 4,381 | init.lisp |
|
- | rw-r--r-- | 415,225 | interface-raw.lisp |
|
- | rw-r--r-- | 199,800 | ld.lisp |
|
- | rw-r--r-- | 152,790 | linear-a.lisp |
|
- | rw-r--r-- | 38,383 | linear-b.lisp |
|
- | rw-r--r-- | 5,355 | mcl-acl2-startup.lisp |
|
- | rw-r--r-- | 165,631 | memoize-raw.lisp |
|
- | rw-r--r-- | 16,259 | memoize.lisp |
|
- | rw-r--r-- | 46,342 | multi-threading-raw.lisp |
|
- | rw-r--r-- | 2,009 | new.html |
|
- | rw-r--r-- | 41,825 | non-linear.lisp |
|
- | rw-r--r-- | 8,602 | openmcl-acl2-trace.lisp |
|
- | rw-r--r-- | 1,381,765 | other-events.lisp |
|
- | rw-r--r-- | 107,410 | other-processes.lisp |
|
- | rw-r--r-- | 4,497 | other-releases.html |
|
- | rw-r--r-- | 60,584 | parallel-raw.lisp |
|
- | rw-r--r-- | 41,733 | parallel.lisp |
|
- | rw-r--r-- | 64,717 | proof-checker-a.lisp |
|
- | rw-r--r-- | 210,080 | proof-checker-b.lisp |
|
- | rw-r--r-- | 904 | proof-checker-pkg.lisp |
|
- | rw-r--r-- | 425,085 | prove.lisp |
|
- | rw-r--r-- | 839,203 | rewrite.lisp |
|
- | rw-r--r-- | 13,685 | save-gprof.lsp |
|
- | rw-r--r-- | 68,245 | serialize-raw.lisp |
|
- | rw-r--r-- | 4,313 | serialize.lisp |
|
- | rw-r--r-- | 407,074 | simplify.lisp |
|
- | rw-r--r-- | 585,671 | tau.lisp |
|
- | rw-r--r-- | 406,075 | translate.lisp |
|
- | rw-r--r-- | 38,273 | type-set-a.lisp |
|
- | rw-r--r-- | 509,460 | type-set-b.lisp |
|
- | rw-r--r-- | 7,567 | workshops.html |