package info
(click to toggle)
acl2 4.3-3
- links: PTS
- area: main
- in suites: wheezy
- size: 76,444 kB
- sloc: lisp: 951,371; makefile: 3,491; sh: 1,669; perl: 1,639; ansic: 358; cpp: 245; csh: 125; haskell: 17; java: 12
Folder: 4.3-3
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
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 | 72 | emacs |
|
d | rwxr-xr-x | 4,096 | installation |
|
d | rwxr-xr-x | 42 | interface |
|
d | rwxr-xr-x | 10 | saved |
 |
- | rw-r--r-- | 40,271 | GNUmakefile |
|
- | rw-r--r-- | 17,976 | GPL2 |
|
- | rw-r--r-- | 112 | LICENSE |
|
- | rw-r--r-- | 1,500 | Makefile |
|
- | rw-r--r-- | 317,407 | TAGS |
|
- | rw-r--r-- | 13,313 | acl2-check.lisp |
|
- | rw-r--r-- | 56,199 | acl2-fns.lisp |
|
- | rw-r--r-- | 64,286 | acl2-init.lisp |
|
- | rw-r--r-- | 9 | acl2-startup-info.txt |
|
- | rw-r--r-- | 83,033 | acl2.lisp |
|
- | rw-r--r-- | 8,905 | akcl-acl2-trace.lisp |
|
- | rw-r--r-- | 4,412 | all-files-nonstd.txt |
|
- | rw-r--r-- | 46,517 | all-files-workshops.txt |
|
- | rw-r--r-- | 58,344 | all-files.txt |
|
- | rw-r--r-- | 10,312 | allegro-acl2-trace.lisp |
|
- | rw-r--r-- | 1,765,793 | axioms.lisp |
|
- | rw-r--r-- | 614,784 | basis.lisp |
|
- | rw-r--r-- | 168,265 | bdd.lisp |
|
- | rw-r--r-- | 32,837 | boot-strap-pass-2.lisp |
|
- | rw-r--r-- | 3,342 | build-allegro-exe.cl |
|
- | rw-r--r-- | 31,928 | defpkgs.lisp |
|
- | rw-r--r-- | 648,816 | defthm.lisp |
|
- | rw-r--r-- | 423,536 | defuns.lisp |
|
- | rw-r--r-- | 34,711 | futures-raw.lisp |
|
- | rw-r--r-- | 964,728 | history-management.lisp |
|
- | rw-r--r-- | 105,514 | hons-raw.lisp |
|
- | rw-r--r-- | 38,688 | hons.lisp |
|
- | rw-r--r-- | 149,844 | induct.lisp |
|
- | rw-r--r-- | 3,594 | init.lisp |
|
- | rw-r--r-- | 367,671 | interface-raw.lisp |
|
- | rw-r--r-- | 1,079,032 | ld.lisp |
|
- | rw-r--r-- | 154,554 | linear-a.lisp |
|
- | rw-r--r-- | 38,206 | linear-b.lisp |
|
- | rw-r--r-- | 5,354 | mcl-acl2-startup.lisp |
|
- | rw-r--r-- | 323,439 | memoize-raw.lisp |
|
- | rw-r--r-- | 50,292 | memoize.lisp |
|
- | rw-r--r-- | 44,931 | multi-threading-raw.lisp |
|
- | rw-r--r-- | 3,522 | new.html |
|
- | rw-r--r-- | 42,226 | non-linear.lisp |
|
- | rw-r--r-- | 8,921 | openmcl-acl2-trace.lisp |
|
- | rw-r--r-- | 1,315,883 | other-events.lisp |
|
- | rw-r--r-- | 122,896 | other-processes.lisp |
|
- | rw-r--r-- | 3,737 | other-releases.html |
|
- | rw-r--r-- | 57,937 | parallel-raw.lisp |
|
- | rw-r--r-- | 80,823 | parallel.lisp |
|
- | rw-r--r-- | 88,575 | proof-checker-a.lisp |
|
- | rw-r--r-- | 304,665 | proof-checker-b.lisp |
|
- | rw-r--r-- | 1,222 | proof-checker-pkg.lisp |
|
- | rw-r--r-- | 417,147 | prove.lisp |
|
- | rw-r--r-- | 853,165 | rewrite.lisp |
|
- | rw-r--r-- | 13,939 | save-gprof.lsp |
|
- | rw-r--r-- | 422,213 | simplify.lisp |
|
- | rw-r--r-- | 3,302 | sum-list-example.lisp |
|
- | rw-r--r-- | 326,614 | translate.lisp |
|
- | rw-r--r-- | 438,352 | tutorial.lisp |
|
- | rw-r--r-- | 38,597 | type-set-a.lisp |
|
- | rw-r--r-- | 556,049 | type-set-b.lisp |
|
- | rw-r--r-- | 3,839 | workshops.html |