package info
(click to toggle)
acl2 8.5dfsg-5
- links: PTS
- area: main
- in suites: bookworm
- 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: rewrite
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .sys |
|
d | rwxr-xr-x | 4,096 | assms |
|
d | rwxr-xr-x | 4,096 | traces |
 |
- | rw-r--r-- | 1,455 | acl2-customization.lsp |
|
- | rw-r--r-- | 9,920 | ancestors.lisp |
|
- | rw-r--r-- | 7,439 | assume.lisp |
|
- | rw-r--r-- | 44,669 | cachep.lisp |
|
- | rw-r--r-- | 6,357 | ccstep-arities.lisp |
|
- | rw-r--r-- | 15,324 | ccstep-check.lisp |
|
- | rw-r--r-- | 55,009 | ccsteps.lisp |
|
- | rw-r--r-- | 1,485 | cert.acl2 |
|
- | rw-r--r-- | 14,282 | controlp.lisp |
|
- | rw-r--r-- | 48,721 | crewrite-clause.lisp |
|
- | rw-r--r-- | 172,156 | crewrite.lisp |
|
- | rw-r--r-- | 6,931 | definitions.lisp |
|
- | rw-r--r-- | 33,223 | evaluator-bldr.lisp |
|
- | rw-r--r-- | 14,546 | evaluator.lisp |
|
- | rw-r--r-- | 15,286 | fast-cache.lisp |
|
- | rw-r--r-- | 27,525 | fast-crewrite-clause.lisp |
|
- | rw-r--r-- | 81,888 | fast-crewrite.lisp |
|
- | rw-r--r-- | 52,520 | fast-traces.lisp |
|
- | rw-r--r-- | 10,722 | fast-urewrite.lisp |
|
- | rw-r--r-- | 10,596 | gather.lisp |
|
- | rw-r--r-- | 5,345 | magic-evaluator.lisp |
|
- | rw-r--r-- | 21,013 | match-free.lisp |
|
- | rw-r--r-- | 2,924 | prop.lisp |
|
- | rw-r--r-- | 15,671 | rulep.lisp |
|
- | rw-r--r-- | 22,284 | syntax-evaluator.lisp |
|
- | rw-r--r-- | 1,843 | test-evaluator.lsp |
|
- | rw-r--r-- | 14,125 | theory-arities.lisp |
|
- | rw-r--r-- | 70,146 | theoryp.lisp |
|
- | rw-r--r-- | 8,709 | urewrite-clause.lisp |
|
- | rw-r--r-- | 28,159 | urewrite.lisp |
|
- | rw-r--r-- | 10,527 | worse-termp-patch.lsp |
|
- | rw-r--r-- | 2,751 | worse-termp-tests.lsp |
|
- | rw-r--r-- | 24,780 | worse-termp.lisp |