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: basic

d .. (parent)
d d rwxr-xr-x 4,096 .sys
- - rw-r--r-- 1,535 acl2-customization.lsp
- - rw-r--r-- 5,782 arith-equiv-defs.lisp
- - rw-r--r-- 22,519 arith-equivs.lisp
- - rw-r--r-- 1,620 bytep.lisp
- - rw-r--r-- 1,514 cert.acl2
- - rw-r--r-- 905 code-char-char-code-with-force.lisp
- - rw-r--r-- 13,892 defs.lisp
- - rw-r--r-- 711 fix.lisp
- - rw-r--r-- 709 good-pseudo-term-listp.lisp
- - rw-r--r-- 1,347 good-pseudo-termp.lisp
- - rw-r--r-- 1,384 good-valuep.lisp
- - rw-r--r-- 1,138 if-star.lisp
- - rw-r--r-- 702 ifix.lisp
- - rw-r--r-- 3,422 inductions.lisp
- - rw-r--r-- 2,702 intern-in-package-of-symbol.lisp
- - rw-r--r-- 2,338 maybe-natp.lisp
- - rw-r--r-- 662 maybe-string-fix.lisp
- - rw-r--r-- 892 mbt-dollar.lisp
- - rw-r--r-- 833 member-symbol-name.lisp
- - rw-r--r-- 686 nfix.lisp
- - rw-r--r-- 1,547 nibblep.lisp
- - rw-r--r-- 644 nonkeyword-listp.lisp
- - rw-r--r-- 2,637 organize-symbols-by-name-tests.lisp
- - rw-r--r-- 1,818 organize-symbols-by-name.lisp
- - rw-r--r-- 2,615 organize-symbols-by-pkg-tests.lisp
- - rw-r--r-- 1,819 organize-symbols-by-pkg.lisp
- - rw-r--r-- 2,278 pos-fix.lisp
- - rw-r--r-- 747 realfix.lisp
- - rw-r--r-- 706 rfix.lisp
- - rw-r--r-- 935 symbol-name-lst.lisp
- - rw-r--r-- 825 symbol-package-name-lst-tests.lisp
- - rw-r--r-- 1,019 symbol-package-name-lst.lisp
- - rw-r--r-- 827 symbol-package-name-non-cl-tests.lisp
- - rw-r--r-- 1,553 symbol-package-name-non-cl.lisp
- - rw-r--r-- 2,623 top.lisp
- - rw-r--r-- 10,041 two-nats-measure.lisp