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

d .. (parent)
d d rwxr-xr-x 4,096 .sys
d d rwxr-xr-x 78 contrib
- - rw-r--r-- 1,575 acl2-customization.lsp
- - rw-r--r-- 11,401 ash-bounds.lisp
- - rw-r--r-- 1,495 cert.acl2
- - rw-r--r-- 30,637 congruences.lisp
- - rw-r--r-- 6,061 defaults.lisp
- - rw-r--r-- 56,683 equal-by-logbitp.lisp
- - rw-r--r-- 23,205 extra-defs.lisp
- - rw-r--r-- 12,460 fast-logext.lisp
- - rw-r--r-- 1,432 fast-logrev.acl2
- - rw-r--r-- 10,281 fast-logrev.lisp
- - rw-r--r-- 23,218 fast-part-select.lisp
- - rw-r--r-- 14,412 fast-rotate.lisp
- - rw-r--r-- 38,813 floor-mod.lisp
- - rw-r--r-- 5,594 floor.lisp
- - rw-r--r-- 30,179 ihs-extensions.lisp
- - rw-r--r-- 138,935 ihsext-basics.lisp
- - rw-r--r-- 3,357 install-bit.lisp
- - rw-r--r-- 10,391 int-sqrt.lisp
- - rw-r--r-- 10,711 integer-length.lisp
- - rw-r--r-- 13,712 limited-shifts.lisp
- - rw-r--r-- 4,192 logbitp-bounds.lisp
- - rw-r--r-- 4,116 logbitp-mismatch.lisp
- - rw-r--r-- 78 logrepeat.acl2
- - rw-r--r-- 14,947 logrepeat.lisp
- - rw-r--r-- 7,067 logsaturate.lisp
- - rw-r--r-- 19,535 merge.lisp
- - rw-r--r-- 7,801 package.lsp
- - rw-r--r-- 7,589 parity.lisp
- - rw-r--r-- 10,835 part-install.lisp
- - rw-r--r-- 4,910 part-select.lisp
- - rw-r--r-- 1,464 portcullis.acl2
- - rw-r--r-- 1,439 portcullis.lisp
- - rw-r--r-- 1,565 rotate.acl2
- - rw-r--r-- 27,744 rotate.lisp
- - rw-r--r-- 11,161 saturate.lisp
- - rw-r--r-- 61,451 signed-byte-p.lisp
- - rw-r--r-- 78 sparseint.acl2
- - rw-r--r-- 222,247 sparseint.lisp
- - rw-r--r-- 20,111 top.lisp
- - rw-r--r-- 36,714 trailing-0-count.lisp
- - rw-r--r-- 4,292 width-find-rule.lisp