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: strings
 |
.. (parent) | |||
 |
- | rw-r--r-- | 5,584 | abbrevs.lisp |
|
- | rw-r--r-- | 1,880 | acl2-customization.lsp |
|
- | rw-r--r-- | 5,263 | arithmetic.lisp |
|
- | rw-r--r-- | 2,413 | base64-tests.lisp |
|
- | rw-r--r-- | 44,185 | base64.lisp |
|
- | rw-r--r-- | 1,893 | binary-tests.lisp |
|
- | rw-r--r-- | 28,567 | binary.lisp |
|
- | rw-r--r-- | 20,835 | case-conversion.lisp |
|
- | rw-r--r-- | 8,813 | cat-base.lisp |
|
- | rw-r--r-- | 9,055 | cat.lisp |
|
- | rw-r--r-- | 1,647 | cert.acl2 |
|
- | rw-r--r-- | 20,516 | char-case.lisp |
|
- | rw-r--r-- | 4,569 | char-fix.lisp |
|
- | rw-r--r-- | 6,495 | charset-fns.lisp |
|
- | rw-r--r-- | 13,179 | charset.lisp |
|
- | rw-r--r-- | 9,728 | coerce.lisp |
|
- | rw-r--r-- | 1,614 | decimal-tests.lisp |
|
- | rw-r--r-- | 32,842 | decimal.lisp |
|
- | rw-r--r-- | 7,169 | defs-aux.lisp |
|
- | rw-r--r-- | 3,679 | defs-program.lisp |
|
- | rw-r--r-- | 1,881 | defs.lisp |
|
- | rw-r--r-- | 7,943 | eqv.lisp |
|
- | rw-r--r-- | 2,746 | explode-atom.lisp |
|
- | rw-r--r-- | 12,556 | explode-nonnegative-integer.lisp |
|
- | rw-r--r-- | 5,316 | fast-cat-raw.lsp |
|
- | rw-r--r-- | 5,110 | fast-cat.lisp |
|
- | rw-r--r-- | 5,267 | firstn-chars.lisp |
|
- | rw-r--r-- | 2,916 | hex-tests.lisp |
|
- | rw-r--r-- | 36,131 | hex.lisp |
|
- | rw-r--r-- | 8,967 | 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,359 | 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,295 | octal-tests.lisp |
|
- | rw-r--r-- | 33,033 | octal.lisp |
|
- | rw-r--r-- | 9,974 | pad.lisp |
|
- | rw-r--r-- | 3,922 | prefix-lines.lisp |
|
- | rw-r--r-- | 4,911 | pretty-defs-aux.lisp |
|
- | rw-r--r-- | 1,781 | pretty-defs.lisp |
|
- | rw-r--r-- | 3,420 | pretty-program.lisp |
|
- | rw-r--r-- | 1,457 | pretty-tests.acl2 |
|
- | rw-r--r-- | 31,003 | pretty-tests.lisp |
|
- | rw-r--r-- | 84,400 | 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,157 | stringify.lisp |
|
- | rw-r--r-- | 3,429 | stringless.lisp |
|
- | rw-r--r-- | 2,628 | strline-tests.lisp |
|
- | rw-r--r-- | 8,487 | strline.lisp |
|
- | rw-r--r-- | 26,997 | 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,982 | strsplit-tests.lisp |
|
- | rw-r--r-- | 3,895 | strsplit.lisp |
|
- | rw-r--r-- | 1,676 | strsubst-tests.lisp |
|
- | rw-r--r-- | 6,857 | strsubst.lisp |
|
- | rw-r--r-- | 1,658 | 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,752 | 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,448 | top.lisp |
|
- | rw-r--r-- | 1,855 | url-encode-tests.lisp |
|
- | rw-r--r-- | 7,401 | url-encode.lisp |