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

d .. (parent)
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,309 catpath.lisp
- - rw-r--r-- 1,594 cert.acl2
- - rw-r--r-- 15,918 copy-logic.lisp
- - rw-r--r-- 3,088 copy-raw.lsp
- - rw-r--r-- 1,713 copy.lisp
- - rw-r--r-- 3,600 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,735 dirname.lisp
- - rw-r--r-- 18,764 file-types-logic.lisp
- - rw-r--r-- 2,431 file-types-raw.lsp
- - rw-r--r-- 1,893 file-types.lisp
- - rw-r--r-- 2,238 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-- 6,320 ls-raw.lsp
- - rw-r--r-- 2,062 ls.lisp
- - rw-r--r-- 3,262 mkdir-logic.lisp
- - rw-r--r-- 1,993 mkdir-raw.lsp
- - rw-r--r-- 1,644 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,811 read-acl2-oracle.lisp
- - rw-r--r-- 2,853 rmtree-logic.lisp
- - rw-r--r-- 2,432 rmtree-raw.lsp
- - rw-r--r-- 1,664 rmtree.lisp
- - rw-r--r-- 5,546 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