package info
(click to toggle)
acl2 8.5dfsg-5
- links: PTS
- area: main
- in suites:
- 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: .sys
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1,835,233 | abs-separate%40useless-runes.lsp |
|
- | rw-r--r-- | 1,874,245 | abs-syscalls%40useless-runes.lsp |
|
- | rw-r--r-- | 601,988 | eqfat%40useless-runes.lsp |
|
- | rw-r--r-- | 0 | examples%40useless-runes.lsp |
|
- | rw-r--r-- | 129,734 | fat32%40useless-runes.lsp |
|
- | rw-r--r-- | 123,071 | file-system-lemmas%40useless-runes.lsp |
|
- | rw-r--r-- | 133,576 | hifat-syscalls%40useless-runes.lsp |
|
- | rw-r--r-- | 640,313 | hifat-to-lofat-inversion%40useless-runes.lsp |
|
- | rw-r--r-- | 553,485 | hifat%40useless-runes.lsp |
|
- | rw-r--r-- | 0 | l-models%40useless-runes.lsp |
|
- | rw-r--r-- | 203,010 | lofat-syscalls%40useless-runes.lsp |
|
- | rw-r--r-- | 673,019 | lofat-to-string-inversion%40useless-runes.lsp |
|
- | rw-r--r-- | 195,318 | lofat%40useless-runes.lsp |
|
- | rw-r--r-- | 610,563 | oracle%40useless-runes.lsp |
|
- | rw-r--r-- | 367,200 | tar-stuff%40useless-runes.lsp |
|
- | rw-r--r-- | 191,148 | test-stuff%40useless-runes.lsp |