package info (click to toggle)
acl2 8.0dfsg-1
  • links: PTS
  • area: main
  • in suites: buster
  • size: 226,956 kB
  • sloc: lisp: 2,678,900; ansic: 6,101; perl: 5,816; xml: 3,586; cpp: 2,624; ruby: 2,576; makefile: 2,443; sh: 2,312; python: 778; yacc: 764; ml: 763; awk: 260; csh: 186; php: 171; lex: 165; tcl: 44; java: 41; 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
d d rwxr-xr-x 4,096 prettygoals
- - rw-r--r-- 4,266 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,513 case-splitting-rules.lisp
- - rw-r--r-- 94 clone-stobj.lisp
- - rw-r--r-- 526 cws.lisp
- - rw-r--r-- 19,461 dead-events.lisp
- - rw-r--r-- 5,028 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-- 49,028 defsum.lisp
- - rw-r--r-- 12,852 defthmg.lisp
- - rw-r--r-- 25,771 deftuple.lisp
- - rw-r--r-- 5,603 do-not.lisp
- - rw-r--r-- 7,135 easy-simplify.lisp
- - rw-r--r-- 1,458 equality-with-hons-copy.lisp
- - rw-r--r-- 3,090 er-soft-logic.lisp
- - rw-r--r-- 5,237 fake-event.lisp
- - rw-r--r-- 11,402 flag-tests.lisp
- - rw-r--r-- 63 flag.acl2
- - rw-r--r-- 52,644 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,614 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-- 8,531 memoize-prover-fns.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,818 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-- 22,851 removable-runes.lisp
- - rw-r--r-- 19,451 remove-hyps.lisp
- - rw-r--r-- 11,983 rewrite-with-equality.lisp
- - rw-r--r-- 1,529 rulesets.acl2
- - rw-r--r-- 17,374 rulesets.lisp
- - rw-r--r-- 5,509 run-script.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-- 177 soft-paper-examples.lisp
- - rw-r--r-- 157 soft.lisp
- - rw-r--r-- 14,010 stobj-frame.lisp
- - rw-r--r-- 22,119 stobj-help.lisp
- - rw-r--r-- 2,179 symlet.lisp
- - rw-r--r-- 17,625 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-- 7,041 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-- 995 with-arith-help.lisp
- - rw-r--r-- 3,847 with-arith1-help.lisp
- - rw-r--r-- 4,221 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