package info (click to toggle)
acl2 7.2dfsg-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 198,968 kB
  • ctags: 182,300
  • sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17

Folder: 7.2dfsg-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 63 bin
d d rwxr-xr-x 4,096 books
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 134 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-- 345 .gitignore
- - rw-r--r-- 34,628 GNUmakefile
- - rw-r--r-- 1,927 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,228 acl2-check.lisp
- - rw-r--r-- 87,670 acl2-fns.lisp
- - rw-r--r-- 94,728 acl2-init.lisp
- - rw-r--r-- 107,665 acl2.lisp
- - rw-r--r-- 8,587 akcl-acl2-trace.lisp
- - rw-r--r-- 3,448 all-files.txt
- - rw-r--r-- 9,981 allegro-acl2-trace.lisp
- - rw-r--r-- 1,022,032 axioms.lisp
- - rw-r--r-- 293,844 basis-a.lisp
- - rw-r--r-- 164,634 basis-b.lisp
- - rw-r--r-- 134,075 bdd.lisp
- - rw-r--r-- 68,989 boot-strap-pass-2.lisp
- - rw-r--r-- 3,342 build-allegro-exe.cl
- - rw-r--r-- 28,612 defpkgs.lisp
- - rw-r--r-- 526,108 defthm.lisp
- - rw-r--r-- 390,628 defuns.lisp
- - rw-r--r-- 4,667,281 doc.lisp
- - rw-r--r-- 59,444 futures-raw.lisp
- - rw-r--r-- 685,174 history-management.lisp
- - rw-r--r-- 175,637 hons-raw.lisp
- - rw-r--r-- 9,310 hons.lisp
- - rw-r--r-- 142,409 induct.lisp
- - rw-r--r-- 4,167 init.lisp
- - rw-r--r-- 434,633 interface-raw.lisp
- - rw-r--r-- 205,217 ld.lisp
- - rw-r--r-- 153,032 linear-a.lisp
- - rw-r--r-- 38,336 linear-b.lisp
- - rw-r--r-- 5,355 mcl-acl2-startup.lisp
- - rw-r--r-- 212,015 memoize-raw.lisp
- - rw-r--r-- 15,832 memoize.lisp
- - rw-r--r-- 43,865 multi-threading-raw.lisp
- - rw-r--r-- 2,108 new.html
- - rw-r--r-- 41,825 non-linear.lisp
- - rw-r--r-- 8,602 openmcl-acl2-trace.lisp
- - rw-r--r-- 1,309,037 other-events.lisp
- - rw-r--r-- 108,308 other-processes.lisp
- - rw-r--r-- 4,850 other-releases.html
- - rw-r--r-- 61,417 parallel-raw.lisp
- - rw-r--r-- 41,631 parallel.lisp
- - rw-r--r-- 64,729 proof-checker-a.lisp
- - rw-r--r-- 208,283 proof-checker-b.lisp
- - rw-r--r-- 904 proof-checker-pkg.lisp
- - rw-r--r-- 417,043 prove.lisp
- - rw-r--r-- 776,646 rewrite.lisp
- - rw-r--r-- 13,646 save-gprof.lsp
- - rw-r--r-- 68,231 serialize-raw.lisp
- - rw-r--r-- 4,313 serialize.lisp
- - rw-r--r-- 406,974 simplify.lisp
- - rw-r--r-- 584,016 tau.lisp
- - rw-r--r-- 445,334 translate.lisp
- - rw-r--r-- 38,273 type-set-a.lisp
- - rw-r--r-- 522,116 type-set-b.lisp
- - rw-r--r-- 8,041 workshops.html