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

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 acl2-customization-files
d d rwxr-xr-x 4,096 bin
d d rwxr-xr-x 4,096 books
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 125 emacs
d d rwxr-xr-x 4,096 graphics
d 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