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: tactics

d .. (parent)
d d rwxr-xr-x 4,096 .sys
- - rw-r--r-- 1,402 acl2-customization.lsp
- - rw-r--r-- 152 cert.acl2
- - rw-r--r-- 12 cert.image
- - rw-r--r-- 6,651 cleanup.lisp
- - rw-r--r-- 1,989 colors.lisp
- - rw-r--r-- 45,166 compiler.lisp
- - rw-r--r-- 22,025 conditional-eqsubst-all.lisp
- - rw-r--r-- 20,811 conditional-eqsubst.lisp
- - rw-r--r-- 11,767 crewrite-all.lisp
- - rw-r--r-- 12,190 crewrite-first.lisp
- - rw-r--r-- 48,137 crewrite-world.lisp
- - rw-r--r-- 30,410 distribute-all.lisp
- - rw-r--r-- 51,183 elim.lisp
- - rw-r--r-- 22,332 fertilize.lisp
- - rw-r--r-- 9,224 generalize-all.lisp
- - rw-r--r-- 9,963 generalize-first.lisp
- - rw-r--r-- 50,405 induct.lisp
- - rwxr-xr-x 38 macl2
- - rw-r--r-- 481 make-image.lsp
- - rw-r--r-- 9,967 partition.lisp
- - rw-r--r-- 28,113 rewrite-world.lisp
- - rw-r--r-- 8,912 simple-world-change.lisp
- - rw-r--r-- 17,200 skeletonp.lisp
- - rw-r--r-- 5,774 skip-all.lisp
- - rw-r--r-- 5,954 skip-first.lisp
- - rw-r--r-- 13,971 split-all.lisp
- - rw-r--r-- 9,501 split-first.lisp
- - rw-r--r-- 47,293 theory-change.lisp
- - rw-r--r-- 9,813 urewrite-all.lisp
- - rw-r--r-- 11,740 urewrite-first.lisp
- - rw-r--r-- 9,187 use.lisp
- - rw-r--r-- 95,357 waterfall.lisp
- - rw-r--r-- 26,488 world-check.lisp
- - rw-r--r-- 14,725 worldp.lisp