package info
(click to toggle)
acl2 8.0dfsg-1
- links: PTS
- area: main
- in suites: buster
- size: 226,956 kB
- sloc: lisp: 2,678,900; ansic: 6,101; perl: 5,816; xml: 3,586; cpp: 2,624; ruby: 2,576; makefile: 2,443; sh: 2,312; python: 778; yacc: 764; ml: 763; awk: 260; csh: 186; php: 171; lex: 165; tcl: 44; java: 41; asm: 23; haskell: 17
Folder: system
 |
.. (parent) | |||
|
d | rwxr-xr-x | 144 | apply |
|
d | rwxr-xr-x | 4,096 | doc |
|
d | rwxr-xr-x | 135 | hons-check |
|
d | rwxr-xr-x | 4,096 | parallel |
|
d | rwxr-xr-x | 4,096 | pcert |
|
d | rwxr-xr-x | 4,096 | tests |
|
d | rwxr-xr-x | 4,096 | toothbrush |
 |
- | rw-r--r-- | 1,516 | Readme.lsp |
|
- | rw-r--r-- | 2,206 | acl2-system-exports.acl2 |
|
- | rw-r--r-- | 1,419 | acl2-system-exports.lisp |
|
- | rw-r--r-- | 1,610 | all-ffn-symbs-logic.lisp |
|
- | rw-r--r-- | 12,039 | bind-macro-args.lisp |
|
- | rw-r--r-- | 5,405 | cantor-pairing-bijective.lisp |
|
- | rw-r--r-- | 1,733 | case-match.lisp |
|
- | rw-r--r-- | 4,470 | check-system-guards-raw.lsp |
|
- | rw-r--r-- | 48 | check-system-guards.acl2 |
|
- | rw-r--r-- | 1,730 | check-system-guards.lisp |
|
- | rw-r--r-- | 77,822 | compare-out-files.lisp |
|
- | rw-r--r-- | 5,378 | convert-normalized-term-to-pairs.lisp |
|
- | rw-r--r-- | 12,243 | dead-source-code.lisp |
|
- | rw-r--r-- | 318 | deps-pcert.lisp |
|
- | rw-r--r-- | 4,711 | event-names.lisp |
|
- | rw-r--r-- | 3,950 | extend-pathname.lisp |
|
- | rw-r--r-- | 6,828 | f-put-global.lisp |
|
- | rw-r--r-- | 2,004 | fancy-string-reader-test.lisp |
|
- | rw-r--r-- | 18,926 | hl-addr-combine.lisp |
|
- | rw-r--r-- | 121 | hl-nat-combine-onto.acl2 |
|
- | rw-r--r-- | 5,527 | hl-nat-combine-onto.lisp |
|
- | rw-r--r-- | 4,961 | kestrel.lisp |
|
- | rw-r--r-- | 3,449 | legal-variablep.lisp |
|
- | rw-r--r-- | 987 | merge-sort-symbol-lt.lisp |
|
- | rw-r--r-- | 2,487 | merge-sort-term-order.lisp |
|
- | rw-r--r-- | 387 | meta-extract.lisp |
|
- | rw-r--r-- | 45,714 | obviously-equiv-terms.lisp |
|
- | rw-r--r-- | 2,062 | optimize-check-aux.lisp |
|
- | rw-r--r-- | 2,460 | optimize-check.lisp |
|
- | rw-r--r-- | 45 | origin.acl2 |
|
- | rw-r--r-- | 3,345 | origin.lisp |
|
- | rw-r--r-- | 114,734 | pseudo-good-worldp.lisp |
|
- | rw-r--r-- | 1,635 | pseudo-termp-lemmas.lisp |
|
- | rw-r--r-- | 4,204 | random.lisp |
|
- | rw-r--r-- | 2,216 | remove-guard-holders-lemmas.lisp |
|
- | rw-r--r-- | 819 | remove-guard-holders.lisp |
|
- | rw-r--r-- | 4,193 | subcor-var.lisp |
|
- | rw-r--r-- | 4,000 | sublis-var.lisp |
|
- | rw-r--r-- | 2,755 | subst-expr.lisp |
|
- | rw-r--r-- | 2,457 | subst-var.lisp |
|
- | rw-r--r-- | 10,669 | termp.lisp |
|
- | rw-r--r-- | 14,854 | to-do.txt |
|
- | rw-r--r-- | 252 | too-many-ifs.acl2 |
|
- | rw-r--r-- | 4,065 | too-many-ifs.lisp |
|
- | rw-r--r-- | 395 | toothbrush-deps.lisp |
|
- | rw-r--r-- | 1,965 | top.lisp |
|
- | rw-r--r-- | 24,254 | untranslate-car-cdr.lisp |
|
- | rw-r--r-- | 33,404 | update-state.lisp |
|
- | rw-r--r-- | 6,843 | verified-termination-and-guards.lisp |
|
- | rw-r--r-- | 409 | worldp-check.acl2 |
|
- | rw-r--r-- | 596 | worldp-check.lisp |