package info
(click to toggle)
acl2 8.6%2Bdfsg-2
- links: PTS
- area: main
- in suites: trixie
- size: 1,111,420 kB
- sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
Folder: clause-processors
![]() |
.. (parent) | |||
![]() |
d | rwxr-xr-x | 4,096 | .sys |
![]() |
d | rwxr-xr-x | 4,096 | SULFA |
![]() |
- | rw-r--r-- | 3,974 | Readme.lsp |
![]() |
- | rw-r--r-- | 46 | autohide.acl2 |
![]() |
- | rw-r--r-- | 15,611 | autohide.lisp |
![]() |
- | rw-r--r-- | 390 | basic-examples.acl2 |
![]() |
- | rw-r--r-- | 45,776 | basic-examples.lisp |
![]() |
- | rw-r--r-- | 34,563 | bindinglist.lisp |
![]() |
- | rw-r--r-- | 646 | bv-add-common.lisp |
![]() |
- | rw-r--r-- | 5,450 | bv-add-tests.lisp |
![]() |
- | rw-r--r-- | 8,856 | bv-add.lisp |
![]() |
- | rw-r--r-- | 45 | constant-prop.acl2 |
![]() |
- | rw-r--r-- | 20,322 | constant-prop.lisp |
![]() |
- | rw-r--r-- | 11,570 | decomp-hint.lisp |
![]() |
- | rw-r--r-- | 137 | deps-SULFA.lisp |
![]() |
- | rw-r--r-- | 1,370 | doc.lisp |
![]() |
- | rw-r--r-- | 1,364 | equality-tests.lisp |
![]() |
- | rw-r--r-- | 128 | equality.acl2 |
![]() |
- | rw-r--r-- | 14,033 | equality.lisp |
![]() |
- | rw-r--r-- | 5,682 | ev-find-rules.lisp |
![]() |
- | rw-r--r-- | 2,886 | ev-ind.lisp |
![]() |
- | rw-r--r-- | 9,451 | ev-theoremp.lisp |
![]() |
- | rw-r--r-- | 12,144 | eval-alist-equiv.lisp |
![]() |
- | rw-r--r-- | 45 | find-matching.acl2 |
![]() |
- | rw-r--r-- | 4,749 | find-matching.lisp |
![]() |
- | rw-r--r-- | 3,368 | find-subterms.lisp |
![]() |
- | rw-r--r-- | 45 | generalize.acl2 |
![]() |
- | rw-r--r-- | 27,697 | generalize.lisp |
![]() |
- | rw-r--r-- | 28,949 | induction.lisp |
![]() |
- | rw-r--r-- | 8,136 | instantiate.lisp |
![]() |
- | rw-r--r-- | 7,511 | join-thms.lisp |
![]() |
- | rw-r--r-- | 49,991 | just-expand.lisp |
![]() |
- | rw-r--r-- | 46 | let-abstraction.acl2 |
![]() |
- | rw-r--r-- | 48,535 | let-abstraction.lisp |
![]() |
- | rw-r--r-- | 4,156 | magic-ev.lisp |
![]() |
- | rw-r--r-- | 8,553 | meta-extract-simple-test.lisp |
![]() |
- | rw-r--r-- | 45 | meta-extract-user.acl2 |
![]() |
- | rw-r--r-- | 64,351 | meta-extract-user.lisp |
![]() |
- | rw-r--r-- | 18,584 | multi-env-trick.lisp |
![]() |
- | rw-r--r-- | 1,943 | null-fail-hints.lisp |
![]() |
- | rw-r--r-- | 12,198 | nvalues-thms.lisp |
![]() |
- | rw-r--r-- | 68,386 | pseudo-term-fty.lisp |
![]() |
- | rw-r--r-- | 2,399 | remove-hyp.lisp |
![]() |
- | rw-r--r-- | 65 | replace-defined-consts.acl2 |
![]() |
- | rw-r--r-- | 8,967 | replace-defined-consts.lisp |
![]() |
- | rw-r--r-- | 105 | replace-equalities.acl2 |
![]() |
- | rw-r--r-- | 17,475 | replace-equalities.lisp |
![]() |
- | rw-r--r-- | 6,119 | replace-impl.lisp |
![]() |
- | rw-r--r-- | 17,677 | stobj-preservation.lisp |
![]() |
- | rw-r--r-- | 11,134 | sublis-var-meaning.lisp |
![]() |
- | rw-r--r-- | 256 | term-patterns.acl2 |
![]() |
- | rw-r--r-- | 6,886 | term-patterns.lisp |
![]() |
- | rw-r--r-- | 12,825 | term-vars.lisp |
![]() |
- | rw-r--r-- | 66 | unify-subst.acl2 |
![]() |
- | rw-r--r-- | 45,450 | unify-subst.lisp |
![]() |
- | rw-r--r-- | 3,942 | use-by-hint.lisp |
![]() |
- | rw-r--r-- | 1,518 | witness-cp.acl2 |
![]() |
- | rw-r--r-- | 86,527 | witness-cp.lisp |