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

d .. (parent)
d d rwxr-xr-x 4,096 .sys
d 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