package info (click to toggle)
acl2 8.3dfsg-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 309,408 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,383; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; 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,316 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-- 6,320 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,289 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