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

d .. (parent)
d d rwxr-xr-x 64 extensions
d d rwxr-xr-x 4,096 tests
- - rw-r--r-- 1,575 acl2-customization.lsp
- - rw-r--r-- 56,357 bstar.lisp
- - rw-r--r-- 1,482 cert.acl2
- - rw-r--r-- 5,604 cons.lisp
- - rw-r--r-- 40,744 da-base.lisp
- - rw-r--r-- 19,128 def-bound-theorems.lisp
- - rw-r--r-- 56,286 defaggregate.lisp
- - rw-r--r-- 4,332 defaggrify-defrec.lisp
- - rw-r--r-- 29,064 defalist-base.lisp
- - rw-r--r-- 3,265 defalist.lisp
- - rw-r--r-- 15,975 defconsts.lisp
- - rw-r--r-- 1,863 defenum-tests.lisp
- - rw-r--r-- 11,528 defenum.lisp
- - rw-r--r-- 92,594 define.lisp
- - rw-r--r-- 41,677 defines.lisp
- - rw-r--r-- 3,890 deflist-aux.lisp
- - rw-r--r-- 33,382 deflist-base.lisp
- - rw-r--r-- 8,697 deflist.lisp
- - rw-r--r-- 20,477 defmapappend.lisp
- - rw-r--r-- 1,864 defmvtypes-tests.lisp
- - rw-r--r-- 8,025 defmvtypes.lisp
- - rw-r--r-- 31,298 defprojection.lisp
- - rw-r--r-- 2,144 defredundant-tests.lisp
- - rw-r--r-- 19,787 defredundant.lisp
- - rw-r--r-- 31,280 defret-mutual-generate.lisp
- - rw-r--r-- 15,328 defrule.lisp
- - rw-r--r-- 11,536 defsum.lisp
- - rw-r--r-- 1,829 defval-tests.lisp
- - rw-r--r-- 9,590 defval.lisp
- - rw-r--r-- 4,759 formals-tests.lisp
- - rw-r--r-- 17,991 formals.lisp
- - rw-r--r-- 3,345 generate-symbol.lisp
- - rw-r--r-- 3,570 look-up-tests.lisp
- - rw-r--r-- 6,327 look-up.lisp
- - rw-r--r-- 2,361 maybe-defthm-tests.lisp
- - rw-r--r-- 6,094 maybe-defthm.lisp
- - rw-r--r-- 1,875 returnspecs-tests.lisp
- - rw-r--r-- 26,710 returnspecs.lisp
- - rw-r--r-- 11,514 support.lisp
- - rw-r--r-- 23,820 termhints.lisp
- - rw-r--r-- 3,984 top.lisp
- - rw-r--r-- 7,518 wizard.lisp