package info (click to toggle)
acl2 8.1dfsg-3
  • links: PTS
  • area: main
  • in suites: sid
  • size: 235,132 kB
  • sloc: lisp: 2,815,435; cpp: 8,883; ansic: 7,872; perl: 6,002; xml: 3,586; ruby: 2,616; makefile: 2,476; sh: 2,361; ml: 763; python: 741; yacc: 705; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; java: 41; asm: 23; haskell: 17

Folder: 8.1dfsg-3

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 94 emacs
d d rwxr-xr-x 4,096 graphics
d d rwxr-xr-x 4,096 installation
- - rw-r--r-- 377 .gitignore
- - rw-r--r-- 35,403 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,875 acl2-check.lisp
- - rw-r--r-- 92,948 acl2-fns.lisp
- - rw-r--r-- 101,860 acl2-init.lisp
- - rw-r--r-- 109,757 acl2.lisp
- - rw-r--r-- 8,587 akcl-acl2-trace.lisp
- - rw-r--r-- 3,583 all-files.txt
- - rw-r--r-- 10,715 allegro-acl2-trace.lisp
- - rw-r--r-- 13,504 apply-constraints.lisp
- - rw-r--r-- 22,567 apply-prim.lisp
- - rw-r--r-- 143,212 apply-raw.lisp
- - rw-r--r-- 93,216 apply.lisp
- - rw-r--r-- 1,066,116 axioms.lisp
- - rw-r--r-- 333,184 basis-a.lisp
- - rw-r--r-- 169,975 basis-b.lisp
- - rw-r--r-- 134,211 bdd.lisp
- - rw-r--r-- 48,467 boot-strap-pass-2-a.lisp
- - rw-r--r-- 31,774 boot-strap-pass-2-b.lisp
- - rw-r--r-- 3,342 build-allegro-exe.cl
- - rw-r--r-- 30,430 defpkgs.lisp
- - rw-r--r-- 530,003 defthm.lisp
- - rw-r--r-- 423,541 defuns.lisp
- - rw-r--r-- 5,137,386 doc.lisp
- - rw-r--r-- 59,443 futures-raw.lisp
- - rw-r--r-- 736,667 history-management.lisp
- - rw-r--r-- 177,251 hons-raw.lisp
- - rw-r--r-- 9,881 hons.lisp
- - rw-r--r-- 151,198 induct.lisp
- - rw-r--r-- 4,118 init.lisp
- - rw-r--r-- 458,578 interface-raw.lisp
- - rw-r--r-- 210,271 ld.lisp
- - rw-r--r-- 153,046 linear-a.lisp
- - rw-r--r-- 41,811 linear-b.lisp
- - rw-r--r-- 5,355 mcl-acl2-startup.lisp
- - rw-r--r-- 214,661 memoize-raw.lisp
- - rw-r--r-- 16,097 memoize.lisp
- - rw-r--r-- 43,865 multi-threading-raw.lisp
- - rw-r--r-- 2,160 new.html
- - rw-r--r-- 41,825 non-linear.lisp
- - rw-r--r-- 9,243 openmcl-acl2-trace.lisp
- - rw-r--r-- 1,396,439 other-events.lisp
- - rw-r--r-- 107,642 other-processes.lisp
- - rw-r--r-- 5,288 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-- 212,368 proof-builder-b.lisp
- - rw-r--r-- 1,087 proof-builder-pkg.lisp
- - rw-r--r-- 425,758 prove.lisp
- - rw-r--r-- 810,498 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,065 simplify.lisp
- - rw-r--r-- 591,597 tau.lisp
- - rw-r--r-- 501,199 translate.lisp
- - rw-r--r-- 41,454 type-set-a.lisp
- - rw-r--r-- 558,067 type-set-b.lisp
- - rw-r--r-- 8,065 workshops.html