package info (click to toggle)
acl2 8.3dfsg-1
  • links: PTS
  • area: main
  • in suites: bullseye, sid
  • size: 306,272 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,382; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17

Folder: 8.3dfsg-1

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 111 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-- 483 .gitignore
- - rw-r--r-- 35,047 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-- 93,722 acl2-fns.lisp
- - rw-r--r-- 102,449 acl2-init.lisp
- - rw-r--r-- 110,155 acl2.lisp
- - rw-r--r-- 8,389 akcl-acl2-trace.lisp
- - rw-r--r-- 3,489 all-files.txt
- - rw-r--r-- 10,715 allegro-acl2-trace.lisp
- - rw-r--r-- 13,084 apply-constraints.lisp
- - rw-r--r-- 23,431 apply-prim.lisp
- - rw-r--r-- 185,679 apply-raw.lisp
- - rw-r--r-- 119,405 apply.lisp
- - rw-r--r-- 1,102,923 axioms.lisp
- - rw-r--r-- 337,557 basis-a.lisp
- - rw-r--r-- 177,357 basis-b.lisp
- - rw-r--r-- 134,124 bdd.lisp
- - rw-r--r-- 48,511 boot-strap-pass-2-a.lisp
- - rw-r--r-- 36,087 boot-strap-pass-2-b.lisp
- - rw-r--r-- 3,342 build-allegro-exe.cl
- - rw-r--r-- 31,452 defpkgs.lisp
- - rw-r--r-- 539,890 defthm.lisp
- - rw-r--r-- 524,604 defuns.lisp
- - rw-r--r-- 5,477,184 doc.lisp
- - rw-r--r-- 59,443 futures-raw.lisp
- - rw-r--r-- 805,595 history-management.lisp
- - rw-r--r-- 178,947 hons-raw.lisp
- - rw-r--r-- 10,229 hons.lisp
- - rw-r--r-- 151,703 induct.lisp
- - rw-r--r-- 4,155 init.lisp
- - rw-r--r-- 469,547 interface-raw.lisp
- - rw-r--r-- 210,996 ld.lisp
- - rw-r--r-- 153,504 linear-a.lisp
- - rw-r--r-- 44,130 linear-b.lisp
- - rw-r--r-- 5,355 mcl-acl2-startup.lisp
- - rw-r--r-- 217,086 memoize-raw.lisp
- - rw-r--r-- 16,342 memoize.lisp
- - rw-r--r-- 43,865 multi-threading-raw.lisp
- - rw-r--r-- 2,096 new.html
- - rw-r--r-- 41,825 non-linear.lisp
- - rw-r--r-- 9,243 openmcl-acl2-trace.lisp
- - rw-r--r-- 1,421,745 other-events.lisp
- - rw-r--r-- 107,642 other-processes.lisp
- - rw-r--r-- 5,500 other-releases.html
- - rw-r--r-- 61,416 parallel-raw.lisp
- - rw-r--r-- 41,611 parallel.lisp
- - rw-r--r-- 65,079 proof-builder-a.lisp
- - rw-r--r-- 213,264 proof-builder-b.lisp
- - rw-r--r-- 1,087 proof-builder-pkg.lisp
- - rw-r--r-- 435,800 prove.lisp
- - rw-r--r-- 853,649 rewrite.lisp
- - rw-r--r-- 13,633 save-gprof.lsp
- - rw-r--r-- 68,494 serialize-raw.lisp
- - rw-r--r-- 4,313 serialize.lisp
- - rw-r--r-- 444,931 simplify.lisp
- - rw-r--r-- 583,959 tau.lisp
- - rw-r--r-- 803,893 translate.lisp
- - rw-r--r-- 41,454 type-set-a.lisp
- - rw-r--r-- 563,305 type-set-b.lisp
- - rw-r--r-- 8,187 workshops.html