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: util
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .sys |
|
d | rwxr-xr-x | 79 | extensions |
|
d | rwxr-xr-x | 4,096 | tests |
 |
- | rw-r--r-- | 1,575 | acl2-customization.lsp |
|
- | rw-r--r-- | 685 | add-io-pairs-tests-sub-1.lisp |
|
- | rw-r--r-- | 685 | add-io-pairs-tests-sub-2.lisp |
|
- | rw-r--r-- | 485 | add-io-pairs-tests-sub.lisp |
|
- | rw-r--r-- | 408 | add-io-pairs-tests.acl2 |
|
- | rw-r--r-- | 10,810 | add-io-pairs-tests.lisp |
|
- | rw-r--r-- | 57,763 | add-io-pairs.lisp |
|
- | rw-r--r-- | 57,888 | 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,826 | defaggregate.lisp |
|
- | rw-r--r-- | 4,332 | defaggrify-defrec.lisp |
|
- | rw-r--r-- | 29,173 | 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-- | 43,759 | define-sk.lisp |
|
- | rw-r--r-- | 94,648 | define.lisp |
|
- | rw-r--r-- | 42,532 | defines.lisp |
|
- | rw-r--r-- | 3,890 | deflist-aux.lisp |
|
- | rw-r--r-- | 33,806 | deflist-base.lisp |
|
- | rw-r--r-- | 8,697 | deflist.lisp |
|
- | rw-r--r-- | 20,477 | defmapappend.lisp |
|
- | rw-r--r-- | 1,869 | defmvtypes-tests.lisp |
|
- | rw-r--r-- | 8,025 | defmvtypes.lisp |
|
- | rw-r--r-- | 31,298 | defprojection.lisp |
|
- | rw-r--r-- | 2,149 | defredundant-tests.lisp |
|
- | rw-r--r-- | 19,787 | defredundant.lisp |
|
- | rw-r--r-- | 38,258 | defret-mutual-generate.lisp |
|
- | rw-r--r-- | 14,054 | defretgen.lisp |
|
- | rw-r--r-- | 15,636 | defrule.lisp |
|
- | rw-r--r-- | 11,536 | defsum.lisp |
|
- | rw-r--r-- | 9,632 | defval.lisp |
|
- | rw-r--r-- | 4,764 | formals-tests.lisp |
|
- | rw-r--r-- | 18,088 | formals.lisp |
|
- | rw-r--r-- | 3,345 | generate-symbol.lisp |
|
- | rw-r--r-- | 3,575 | look-up-tests.lisp |
|
- | rw-r--r-- | 6,327 | look-up.lisp |
|
- | rw-r--r-- | 2,366 | maybe-defthm-tests.lisp |
|
- | rw-r--r-- | 5,370 | maybe-defthm.lisp |
|
- | rw-r--r-- | 1,880 | returnspecs-tests.lisp |
|
- | rw-r--r-- | 31,041 | returnspecs.lisp |
|
- | rw-r--r-- | 18,168 | support.lisp |
|
- | rw-r--r-- | 23,805 | termhints.lisp |
|
- | rw-r--r-- | 4,011 | top.lisp |
|
- | rw-r--r-- | 7,518 | wizard.lisp |