package info (click to toggle)
acl2 8.5dfsg-5
  • links: PTS
  • area: main
  • in suites: bookworm
  • 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: oslib

d .. (parent)
d d rwxr-xr-x 4,096 .sys
d d rwxr-xr-x 4,096 tests
- - rw-r--r-- 1,554 acl2-customization.lsp
- - rw-r--r-- 5,253 argv-logic.lisp
- - rw-r--r-- 7,117 argv-raw.lsp
- - rw-r--r-- 1,604 argv.lisp
- - rw-r--r-- 4,321 catpath.lisp
- - rw-r--r-- 1,594 cert.acl2
- - rw-r--r-- 15,919 copy-logic.lisp
- - rw-r--r-- 3,088 copy-raw.lsp
- - rw-r--r-- 1,713 copy.lisp
- - rw-r--r-- 3,595 date-logic.lisp
- - rw-r--r-- 2,935 date-raw.lsp
- - rw-r--r-- 1,699 date.lisp
- - rw-r--r-- 6,996 dirname-logic.lisp
- - rw-r--r-- 7,701 dirname-raw.lsp
- - rw-r--r-- 1,719 dirname.lisp
- - rw-r--r-- 20,130 file-types-logic.lisp
- - rw-r--r-- 2,618 file-types-raw.lsp
- - rw-r--r-- 1,885 file-types.lisp
- - rw-r--r-- 2,345 getpid-logic.lisp
- - rw-r--r-- 1,967 getpid-raw.lsp
- - rw-r--r-- 1,760 getpid.lisp
- - rw-r--r-- 3,442 lisptype-logic.lisp
- - rw-r--r-- 2,434 lisptype-raw.lsp
- - rw-r--r-- 1,617 lisptype.lisp
- - rw-r--r-- 7,750 ls-logic.lisp
- - rw-r--r-- 7,146 ls-raw.lsp
- - rw-r--r-- 2,054 ls.lisp
- - rw-r--r-- 3,262 mkdir-logic.lisp
- - rw-r--r-- 1,993 mkdir-raw.lsp
- - rw-r--r-- 1,636 mkdir.lisp
- - rw-r--r-- 1,997 package.lsp
- - rw-r--r-- 1,543 portcullis.acl2
- - rw-r--r-- 1,691 portcullis.lisp
- - rw-r--r-- 1,975 read-acl2-oracle.lisp
- - rw-r--r-- 2,853 rmtree-logic.lisp
- - rw-r--r-- 2,432 rmtree-raw.lsp
- - rw-r--r-- 1,656 rmtree.lisp
- - rw-r--r-- 6,298 tempfile-logic.lisp
- - rw-r--r-- 1,562 tempfile.lisp
- - rw-r--r-- 1,509 top-logic.acl2
- - rw-r--r-- 3,780 top-logic.lisp
- - rw-r--r-- 1,772 top.lisp