package info (click to toggle)
acl2 8.3dfsg-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 309,408 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,383; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; 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,329 def-functional-instance.lisp
- - rw-r--r-- 14,738 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,170 defsum.lisp
- - rw-r--r-- 12,852 defthmg.lisp
- - rw-r--r-- 25,740 deftuple.lisp
- - rw-r--r-- 5,603 do-not.lisp
- - rw-r--r-- 7,158 easy-simplify.lisp
- - rw-r--r-- 1,458 equality-with-hons-copy.lisp
- - rw-r--r-- 3,102 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-- 56,095 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,744 include-raw.lisp
- - rw-r--r-- 3,182 index.html
- - rw-r--r-- 3,922 k-induction.lisp
- - rw-r--r-- 3,047 last-theory-change.lisp
- - rw-r--r-- 1,448 lint.acl2
- - rw-r--r-- 6,531 lint.lisp
- - rw-r--r-- 27,848 match-tree.lisp
- - rw-r--r-- 8,653 memoize-prover-fns.lisp
- - rw-r--r-- 2,734 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,288 oracle-timelimit.lisp
- - rw-r--r-- 37,187 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-- 21,390 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-- 10,815 some-events.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-- 2,424 table-replay.lisp
- - rw-r--r-- 18,660 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,068 trivial-ancestors-check.lisp
- - rw-r--r-- 6,760 types-misc.lisp
- - rw-r--r-- 5,613 untranslate-for-exec-tests.lisp
- - rw-r--r-- 25,090 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-- 9,217 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
- - rw-r--r-- 13,411 without-subsumption.lisp