package info
(click to toggle)
acl2 7.2dfsg-3
- links: PTS
- area: main
- in suites: stretch
- size: 198,968 kB
- ctags: 182,300
- sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17
Folder: strings
 |
.. (parent) | |||
 |
- | rw-r--r-- | 5,584 | abbrevs.lisp |
|
- | rw-r--r-- | 1,578 | acl2-customization.lsp |
|
- | rw-r--r-- | 5,276 | arithmetic.lisp |
|
- | rw-r--r-- | 45,221 | base64.lisp |
|
- | rw-r--r-- | 28,586 | binary.lisp |
|
- | rw-r--r-- | 20,840 | case-conversion.lisp |
|
- | rw-r--r-- | 15,972 | 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,183 | charset.lisp |
|
- | rw-r--r-- | 9,728 | coerce.lisp |
|
- | rw-r--r-- | 29,174 | decimal.lisp |
|
- | rw-r--r-- | 6,828 | defs-aux.lisp |
|
- | rw-r--r-- | 3,679 | defs-program.lisp |
|
- | rw-r--r-- | 1,881 | defs.lisp |
|
- | rw-r--r-- | 7,461 | eqv.lisp |
|
- | rw-r--r-- | 2,746 | explode-atom.lisp |
|
- | rw-r--r-- | 12,556 | explode-nonnegative-integer.lisp |
|
- | rw-r--r-- | 3,108 | fast-cat-raw.lsp |
|
- | rw-r--r-- | 4,084 | fast-cat.lisp |
|
- | rw-r--r-- | 5,281 | firstn-chars.lisp |
|
- | rw-r--r-- | 37,556 | hex.lisp |
|
- | rw-r--r-- | 4,852 | hexify.lisp |
|
- | rw-r--r-- | 11,232 | 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,080 | istrpos.lisp |
|
- | rw-r--r-- | 5,478 | istrprefixp.lisp |
|
- | rw-r--r-- | 6,313 | isubstrp.lisp |
|
- | rw-r--r-- | 3,346 | make-character-list.lisp |
|
- | rw-r--r-- | 33,827 | octal.lisp |
|
- | rw-r--r-- | 9,974 | pad.lisp |
|
- | rw-r--r-- | 3,928 | prefix-lines.lisp |
|
- | rw-r--r-- | 4,540 | pretty-defs-aux.lisp |
|
- | rw-r--r-- | 1,721 | pretty-defs.lisp |
|
- | rw-r--r-- | 3,360 | pretty-program.lisp |
|
- | rw-r--r-- | 1,457 | pretty-tests.acl2 |
|
- | rw-r--r-- | 30,996 | pretty-tests.lisp |
|
- | rw-r--r-- | 75,303 | pretty.lisp |
|
- | rw-r--r-- | 15,157 | stringify.lisp |
|
- | rw-r--r-- | 9,828 | strline.lisp |
|
- | rw-r--r-- | 25,418 | strnatless.lisp |
|
- | rw-r--r-- | 5,346 | strpos.lisp |
|
- | rw-r--r-- | 5,840 | strprefixp.lisp |
|
- | rw-r--r-- | 8,849 | strrpos.lisp |
|
- | rw-r--r-- | 4,549 | strsplit.lisp |
|
- | rw-r--r-- | 7,045 | strsubst.lisp |
|
- | rw-r--r-- | 5,252 | strtok.lisp |
|
- | rw-r--r-- | 2,383 | subseq.lisp |
|
- | rw-r--r-- | 2,136 | substrp.lisp |
|
- | rw-r--r-- | 4,084 | suffixp.lisp |
|
- | rw-r--r-- | 6,098 | symbols.lisp |
|
- | rw-r--r-- | 2,496 | timetest.lsp |
|
- | rw-r--r-- | 7,388 | top.lisp |