package info (click to toggle)
acl2 7.2dfsg-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 198,968 kB
  • ctags: 182,300
  • sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17

Folder: tools

d .. (parent)
d d rwxr-xr-x 4,096 book-conflicts
d d rwxr-xr-x 32 drat-trim
- - rw-r--r-- 4,253 Readme.lsp
- - rw-r--r-- 1,761 advise-raw.lsp
- - rw-r--r-- 1,482 advise.acl2
- - rw-r--r-- 2,587 advise.lisp
- - rw-r--r-- 154 bstar.lisp
- - rw-r--r-- 5,491 case-splitting-rules.lisp
- - rw-r--r-- 11,133 clone-stobj.lisp
- - rw-r--r-- 526 cws.lisp
- - rw-r--r-- 19,461 dead-events.lisp
- - rw-r--r-- 4,617 def-functional-instance.lisp
- - rw-r--r-- 30,119 defevaluator-fast.lisp
- - rw-r--r-- 5,708 define-keyed-function.lisp
- - rw-r--r-- 5,129 defined-const.lisp
- - rw-r--r-- 8,543 defmacfun.lisp
- - rw-r--r-- 48,850 defsum.lisp
- - rw-r--r-- 25,749 deftuple.lisp
- - rw-r--r-- 5,603 do-not.lisp
- - rw-r--r-- 6,983 easy-simplify.lisp
- - rw-r--r-- 4,784 fake-event.lisp
- - rw-r--r-- 11,402 flag-tests.lisp
- - rw-r--r-- 63 flag.acl2
- - rw-r--r-- 52,130 flag.lisp
- - rw-r--r-- 94 in-raw-mode.acl2
- - rw-r--r-- 215 in-raw-mode.lisp
- - rw-r--r-- 2,955 include-an-arithmetic-book.lisp
- - rw-r--r-- 75 include-raw.acl2
- - rw-r--r-- 13,426 include-raw.lisp
- - rw-r--r-- 3,182 index.html
- - rw-r--r-- 3,047 last-theory-change.lisp
- - rw-r--r-- 1,448 lint.acl2
- - rw-r--r-- 6,524 lint.lisp
- - rw-r--r-- 27,848 match-tree.lisp
- - rw-r--r-- 2,568 mv-nth.lisp
- - rw-r--r-- 80 oracle-eval-real.acl2
- - rw-r--r-- 3,341 oracle-eval-real.lisp
- - rw-r--r-- 5,821 oracle-eval.lisp
- - rw-r--r-- 3,077 oracle-time-raw.lsp
- - rw-r--r-- 1,285 oracle-time-tests.acl2
- - rw-r--r-- 4,483 oracle-time-tests.lisp
- - rw-r--r-- 1,285 oracle-time.acl2
- - rw-r--r-- 7,168 oracle-time.lisp
- - rw-r--r-- 15,263 oracle-timelimit-raw.lsp
- - rw-r--r-- 1,285 oracle-timelimit-tests.acl2
- - rw-r--r-- 13,945 oracle-timelimit-tests.lisp
- - rw-r--r-- 1,285 oracle-timelimit.acl2
- - rw-r--r-- 11,296 oracle-timelimit.lisp
- - rw-r--r-- 37,046 pattern-match.lisp
- - rw-r--r-- 4,662 plev-ccl-raw.lsp
- - rw-r--r-- 91 plev-ccl.acl2
- - rw-r--r-- 348 plev-ccl.lisp
- - rw-r--r-- 3,017 plev.lisp
- - rw-r--r-- 17,048 removable-runes.lisp
- - rw-r--r-- 14,650 remove-hyps.lisp
- - rw-r--r-- 11,983 rewrite-with-equality.lisp
- - rw-r--r-- 1,529 rulesets.acl2
- - rw-r--r-- 14,231 rulesets.lisp
- - rw-r--r-- 2,833 safe-case.lisp
- - rw-r--r-- 46 save-obligs.acl2
- - rw-r--r-- 8,147 save-obligs.lisp
- - rw-r--r-- 8,766 saved-errors.lisp
- - rw-r--r-- 10,775 soft-paper-examples.lisp
- - rw-r--r-- 67,766 soft.lisp
- - rw-r--r-- 14,006 stobj-frame.lisp
- - rw-r--r-- 22,119 stobj-help.lisp
- - rw-r--r-- 17,470 templates.lisp
- - rw-r--r-- 962 theory-tools.lisp
- - rw-r--r-- 687 time-dollar-with-gc-raw.lsp
- - rw-r--r-- 119 time-dollar-with-gc.acl2
- - rw-r--r-- 616 time-dollar-with-gc.lisp
- - rw-r--r-- 5,056 trivial-ancestors-check.lisp
- - rw-r--r-- 6,760 types-misc.lisp
- - rw-r--r-- 5,606 untranslate-for-exec-tests.lisp
- - rw-r--r-- 24,973 untranslate-for-exec.lisp
- - rw-r--r-- 4,306 with-arith5-help.lisp
- - rw-r--r-- 7,830 with-quoted-forms.lisp
- - rw-r--r-- 669 with-supporters-test-sub.lisp
- - rw-r--r-- 1,733 with-supporters-test-top.lisp
- - rw-r--r-- 52 with-supporters.acl2
- - rw-r--r-- 22,350 with-supporters.lisp