package info
(click to toggle)
acl2 8.6%2Bdfsg-3
- links: PTS
- area: main
- in suites: forky, sid
- size: 1,138,276 kB
- sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,978; makefile: 3,840; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
Folder: 8.6+dfsg-3
 |
.. (parent) | |||
|
d | rwxr-xr-x | 104 | .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 | 151 | emacs |
|
d | rwxr-xr-x | 4,096 | graphics |
|
d | rwxr-xr-x | 4,096 | installation |
 |
- | rw-r--r-- | 464 | .gitignore |
|
- | rw-r--r-- | 39,679 | GNUmakefile |
|
- | rw-r--r-- | 2,084 | LICENSE |
|
- | rw-r--r-- | 1,500 | Makefile |
|
- | rw-r--r-- | 5,111 | README.md |
|
- | rw-r--r-- | 256 | acl2-characters |
|
- | rw-r--r-- | 16,478 | acl2-check.lisp |
|
- | rw-r--r-- | 99,530 | acl2-fns.lisp |
|
- | rw-r--r-- | 105,420 | acl2-init.lisp |
|
- | rw-r--r-- | 121,904 | acl2.lisp |
|
- | rw-r--r-- | 7,938 | akcl-acl2-trace.lisp |
|
- | rw-r--r-- | 3,851 | all-files.txt |
|
- | rw-r--r-- | 10,264 | allegro-acl2-trace.lisp |
|
- | rw-r--r-- | 13,417 | apply-constraints.lisp |
|
- | rw-r--r-- | 47,769 | apply-prim.lisp |
|
- | rw-r--r-- | 191,629 | apply-raw.lisp |
|
- | rw-r--r-- | 150,323 | apply.lisp |
|
- | rw-r--r-- | 1,177,310 | axioms.lisp |
|
- | rw-r--r-- | 461,974 | basis-a.lisp |
|
- | rw-r--r-- | 212,606 | basis-b.lisp |
|
- | rw-r--r-- | 135,114 | bdd.lisp |
|
- | rw-r--r-- | 58,470 | boot-strap-pass-2-a.lisp |
|
- | rw-r--r-- | 31,978 | boot-strap-pass-2-b.lisp |
|
- | rw-r--r-- | 3,342 | build-allegro-exe.cl |
|
- | rw-r--r-- | 33,791 | defpkgs.lisp |
|
- | rw-r--r-- | 570,614 | defthm.lisp |
|
- | rw-r--r-- | 578,883 | defuns.lisp |
|
- | rw-r--r-- | 7,700,848 | doc.lisp |
|
- | rw-r--r-- | 37,960 | float-a.lisp |
|
- | rw-r--r-- | 16,250 | float-b.lisp |
|
- | rw-r--r-- | 13,692 | float-raw.lisp |
|
- | rw-r--r-- | 58,504 | futures-raw.lisp |
|
- | rw-r--r-- | 825,171 | history-management.lisp |
|
- | rw-r--r-- | 185,727 | hons-raw.lisp |
|
- | rw-r--r-- | 9,573 | hons.lisp |
|
- | rw-r--r-- | 323,873 | induct.lisp |
|
- | rw-r--r-- | 4,323 | init.lisp |
|
- | rw-r--r-- | 517,404 | interface-raw.lisp |
|
- | rw-r--r-- | 234,875 | ld.lisp |
|
- | rw-r--r-- | 153,096 | linear-a.lisp |
|
- | rw-r--r-- | 43,906 | linear-b.lisp |
|
- | rw-r--r-- | 5,355 | mcl-acl2-startup.lisp |
|
- | rw-r--r-- | 222,778 | memoize-raw.lisp |
|
- | rw-r--r-- | 17,569 | memoize.lisp |
|
- | rw-r--r-- | 43,862 | multi-threading-raw.lisp |
|
- | rw-r--r-- | 2,982 | new.html |
|
- | rw-r--r-- | 41,825 | non-linear.lisp |
|
- | rw-r--r-- | 8,993 | openmcl-acl2-trace.lisp |
|
- | rw-r--r-- | 1,714,172 | other-events.lisp |
|
- | rw-r--r-- | 108,121 | other-processes.lisp |
|
- | rw-r--r-- | 6,018 | other-releases.html |
|
- | rw-r--r-- | 61,367 | parallel-raw.lisp |
|
- | rw-r--r-- | 42,115 | parallel.lisp |
|
- | rw-r--r-- | 70,219 | proof-builder-a.lisp |
|
- | rw-r--r-- | 217,022 | proof-builder-b.lisp |
|
- | rw-r--r-- | 1,189 | proof-builder-pkg.lisp |
|
- | rw-r--r-- | 370,598 | prove.lisp |
|
- | rw-r--r-- | 1,067,740 | rewrite.lisp |
|
- | rw-r--r-- | 13,633 | save-gprof.lsp |
|
- | rw-r--r-- | 68,506 | serialize-raw.lisp |
|
- | rw-r--r-- | 3,651 | serialize.lisp |
|
- | rw-r--r-- | 451,396 | simplify.lisp |
|
- | rw-r--r-- | 585,037 | tau.lisp |
|
- | rw-r--r-- | 1,278,620 | translate.lisp |
|
- | rw-r--r-- | 41,456 | type-set-a.lisp |
|
- | rw-r--r-- | 578,490 | type-set-b.lisp |
|
- | rw-r--r-- | 6,804 | workshops.html |