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: strings
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .sys |
 |
- | rw-r--r-- | 5,741 | abbrevs.lisp |
|
- | rw-r--r-- | 1,880 | acl2-customization.lsp |
|
- | rw-r--r-- | 5,263 | arithmetic.lisp |
|
- | rw-r--r-- | 2,418 | base64-tests.lisp |
|
- | rw-r--r-- | 44,185 | base64.lisp |
|
- | rw-r--r-- | 1,902 | binary-tests.lisp |
|
- | rw-r--r-- | 29,892 | binary.lisp |
|
- | rw-r--r-- | 21,136 | case-conversion.lisp |
|
- | rw-r--r-- | 8,785 | cat-base.lisp |
|
- | rw-r--r-- | 9,055 | cat.lisp |
|
- | rw-r--r-- | 1,647 | cert.acl2 |
|
- | rw-r--r-- | 20,703 | char-case.lisp |
|
- | rw-r--r-- | 4,569 | char-fix.lisp |
|
- | rw-r--r-- | 6,495 | charset-fns.lisp |
|
- | rw-r--r-- | 13,185 | charset.lisp |
|
- | rw-r--r-- | 9,728 | coerce.lisp |
|
- | rw-r--r-- | 1,619 | decimal-tests.lisp |
|
- | rw-r--r-- | 35,798 | decimal.lisp |
|
- | rw-r--r-- | 7,662 | defs-aux.lisp |
|
- | rw-r--r-- | 3,983 | defs-program.lisp |
|
- | rw-r--r-- | 2,183 | defs.lisp |
|
- | rw-r--r-- | 1,066 | digit-to-char.lisp |
|
- | rw-r--r-- | 8,075 | eqv.lisp |
|
- | rw-r--r-- | 2,764 | explode-atom.lisp |
|
- | rw-r--r-- | 12,795 | explode-nonnegative-integer.lisp |
|
- | rw-r--r-- | 5,316 | fast-cat-raw.lsp |
|
- | rw-r--r-- | 6,064 | fast-cat.lisp |
|
- | rw-r--r-- | 5,267 | firstn-chars.lisp |
|
- | rw-r--r-- | 3,079 | hex-tests.lisp |
|
- | rw-r--r-- | 37,546 | hex.lisp |
|
- | rw-r--r-- | 8,978 | hexify.lisp |
|
- | rw-r--r-- | 11,987 | html-encode.lisp |
|
- | rw-r--r-- | 9,422 | ieqv.lisp |
|
- | rw-r--r-- | 13,026 | iless.lisp |
|
- | rw-r--r-- | 3,123 | iprefixp.lisp |
|
- | rw-r--r-- | 2,372 | isort.lisp |
|
- | rw-r--r-- | 7,086 | istrpos.lisp |
|
- | rw-r--r-- | 5,404 | istrprefixp.lisp |
|
- | rw-r--r-- | 6,313 | isubstrp.lisp |
|
- | rw-r--r-- | 3,346 | make-character-list.lisp |
|
- | rw-r--r-- | 2,336 | octal-tests.lisp |
|
- | rw-r--r-- | 34,168 | octal.lisp |
|
- | rw-r--r-- | 9,974 | pad.lisp |
|
- | rw-r--r-- | 3,891 | prefix-lines.lisp |
|
- | rw-r--r-- | 4,911 | pretty-defs-aux.lisp |
|
- | rw-r--r-- | 1,781 | pretty-defs.lisp |
|
- | rw-r--r-- | 3,523 | pretty-program.lisp |
|
- | rw-r--r-- | 1,457 | pretty-tests.acl2 |
|
- | rw-r--r-- | 30,954 | pretty-tests.lisp |
|
- | rw-r--r-- | 84,512 | pretty.lisp |
|
- | rw-r--r-- | 4,017 | printtree-concat.lisp |
|
- | rw-r--r-- | 1,803 | printtree-fix.lisp |
|
- | rw-r--r-- | 2,745 | printtree-fty.lisp |
|
- | rw-r--r-- | 11,006 | printtree.lisp |
|
- | rw-r--r-- | 15,513 | stringify.lisp |
|
- | rw-r--r-- | 3,429 | stringless.lisp |
|
- | rw-r--r-- | 2,633 | strline-tests.lisp |
|
- | rw-r--r-- | 8,487 | strline.lisp |
|
- | rw-r--r-- | 27,610 | strnatless.lisp |
|
- | rw-r--r-- | 5,302 | strpos.lisp |
|
- | rw-r--r-- | 5,766 | strprefixp.lisp |
|
- | rw-r--r-- | 5,301 | strrange-equiv.lisp |
|
- | rw-r--r-- | 10,752 | strrpos.lisp |
|
- | rw-r--r-- | 1,987 | strsplit-tests.lisp |
|
- | rw-r--r-- | 3,895 | strsplit.lisp |
|
- | rw-r--r-- | 1,681 | strsubst-tests.lisp |
|
- | rw-r--r-- | 6,829 | strsubst.lisp |
|
- | rw-r--r-- | 1,663 | strtok-tests.lisp |
|
- | rw-r--r-- | 5,020 | strtok.lisp |
|
- | rw-r--r-- | 2,383 | subseq.lisp |
|
- | rw-r--r-- | 2,136 | substrp.lisp |
|
- | rw-r--r-- | 1,757 | suffixp-tests.lisp |
|
- | rw-r--r-- | 3,731 | suffixp.lisp |
|
- | rw-r--r-- | 6,086 | symbols.lisp |
|
- | rw-r--r-- | 2,496 | timetest.lsp |
|
- | rw-r--r-- | 7,478 | top.lisp |
|
- | rw-r--r-- | 1,860 | url-encode-tests.lisp |
|
- | rw-r--r-- | 7,407 | url-encode.lisp |