package info (click to toggle)
acl2 3.1-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 36,712 kB
  • ctags: 38,396
  • sloc: lisp: 464,023; makefile: 5,470; sh: 86; csh: 47; cpp: 25; ansic: 22

Folder: unicode

d .. (parent)
d d rwxr-xr-x 4,096 test-performance
- - rw-r--r-- 7,042 Makefile
- - rw-r--r-- 3,831 app.lisp
- - rw-r--r-- 2,447 append.lisp
- - rw-r--r-- 2,644 base10-digit-charp.lisp
- - rw-r--r-- 3,956 close-input-channel.lisp
- - rw-r--r-- 2,128 coerce.lisp
- - rw-r--r-- 4,052 combine.lisp
- - rw-r--r-- 1,951 consless-listp.lisp
- - rw-r--r-- 1,974 explode-atom.lisp
- - rw-r--r-- 7,065 explode-nonnegative-integer.lisp
- - rw-r--r-- 3,348 file-measure.lisp
- - rw-r--r-- 1,689 flatten.lisp
- - rw-r--r-- 1,780 intern-in-package-of-symbol.lisp
- - rw-r--r-- 1,835 list-fix.lisp
- - rw-r--r-- 1,874 nat-listp.lisp
- - rw-r--r-- 4,540 nthcdr-bytes.lisp
- - rw-r--r-- 2,723 nthcdr.lisp
- - rw-r--r-- 10,521 open-input-channel.lisp
- - rw-r--r-- 7,847 open-input-channels.lisp
- - rw-r--r-- 2,783 partition.lisp
- - rw-r--r-- 1,824 peek-char.lisp
- - rw-r--r-- 1,915 pos-listp.lisp
- - rw-r--r-- 6,812 read-byte.lisp
- - rw-r--r-- 3,519 read-char.lisp
- - rw-r--r-- 7,160 read-file-bytes.lisp
- - rw-r--r-- 6,065 read-file-characters.lisp
- - rw-r--r-- 41,231 read-ints.lisp
- - rw-r--r-- 2,180 read-object.lisp
- - rw-r--r-- 26,547 read-utf8.lisp
- - rw-r--r-- 1,159 repeat.lisp
- - rw-r--r-- 4,243 revappend.lisp
- - rw-r--r-- 1,451 reverse.lisp
- - rw-r--r-- 2,710 sign-byte.lisp
- - rw-r--r-- 4,331 signed-byte-listp.lisp
- - rw-r--r-- 1,408 string-append.lisp
- - rw-r--r-- 1,872 sum-list.lisp
- - rw-r--r-- 2,845 take-bytes.lisp
- - rw-r--r-- 2,896 take.lisp
- - rw-r--r-- 19,884 uchar.lisp
- - rw-r--r-- 7,282 unsigned-byte-listp.lisp
- - rw-r--r-- 32,770 update-state.lisp
- - rw-r--r-- 2,828 utf8-decode-string.lisp
- - rw-r--r-- 52,605 utf8-decode.lisp
- - rw-r--r-- 7,315 utf8-encode.lisp
- - rw-r--r-- 12,817 utf8-table35.lisp
- - rw-r--r-- 16,907 utf8-table36.lisp
- - rw-r--r-- 27,731 utf8.lisp
- - rw-r--r-- 1,839 z-listp.lisp