package info
(click to toggle)
acl2 6.5-2
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 108,856 kB
- ctags: 110,136
- sloc: lisp: 1,492,565; xml: 7,958; perl: 3,682; sh: 2,103; cpp: 1,477; makefile: 1,470; ruby: 453; ansic: 358; csh: 125; java: 24; haskell: 17
Folder: lib2.delta1
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1,030 | Makefile |
|
- | rw-r--r-- | 53,002 | add-new-proofs.lisp |
|
- | rw-r--r-- | 15,240 | add-new.lisp |
|
- | rw-r--r-- | 17,442 | add-proofs.lisp |
|
- | rw-r--r-- | 11,985 | add.lisp |
|
- | rw-r--r-- | 29,443 | arith.lisp |
|
- | rw-r--r-- | 57,945 | bits-new-proofs.lisp |
|
- | rw-r--r-- | 24,794 | bits-new.lisp |
|
- | rw-r--r-- | 50,164 | bits-proofs.lisp |
|
- | rw-r--r-- | 23,024 | bits.lisp |
|
- | rw-r--r-- | 2,340 | bvecp-helpers.lisp |
|
- | rw-r--r-- | 22,349 | bvecp-raw-helpers-proofs.lisp |
|
- | rw-r--r-- | 20,787 | bvecp-raw-helpers.lisp |
|
- | rw-r--r-- | 22,146 | float-new-proofs.lisp |
|
- | rw-r--r-- | 19,391 | float-new.lisp |
|
- | rw-r--r-- | 21,397 | float-proofs.lisp |
|
- | rw-r--r-- | 18,593 | float.lisp |
|
- | rw-r--r-- | 55,219 | log-new-proofs.lisp |
|
- | rw-r--r-- | 13,843 | log-new.lisp |
|
- | rw-r--r-- | 14,222 | log-proofs.lisp |
|
- | rw-r--r-- | 13,388 | log-support-proofs.lisp |
|
- | rw-r--r-- | 2,675 | log-support.lisp |
|
- | rw-r--r-- | 13,598 | log.lisp |
|
- | rw-r--r-- | 29,889 | logn-new-proofs.lisp |
|
- | rw-r--r-- | 28,599 | logn-new.lisp |
|
- | rw-r--r-- | 28,662 | logn-proofs.lisp |
|
- | rw-r--r-- | 22,400 | logn.lisp |
|
- | rw-r--r-- | 3,724 | logn2log-proofs.lisp |
|
- | rw-r--r-- | 2,217 | logn2log.lisp |
|
- | rw-r--r-- | 25,565 | mult-new-proofs.lisp |
|
- | rw-r--r-- | 12,613 | mult-new.lisp |
|
- | rw-r--r-- | 21,456 | mult-proofs.lisp |
|
- | rw-r--r-- | 10,817 | mult.lisp |
|
- | rw-r--r-- | 19,298 | reps-new-proofs.lisp |
|
- | rw-r--r-- | 15,147 | reps-new.lisp |
|
- | rw-r--r-- | 18,240 | reps-proofs.lisp |
|
- | rw-r--r-- | 12,061 | reps.lisp |
|
- | rw-r--r-- | 43,771 | round-new-proofs.lisp |
|
- | rw-r--r-- | 40,647 | round-new.lisp |
|
- | rw-r--r-- | 41,434 | round-proofs.lisp |
|
- | rw-r--r-- | 40,653 | round.lisp |
|
- | rw-r--r-- | 25,370 | rtl-new-proofs.lisp |
|
- | rw-r--r-- | 21,076 | rtl-new.lisp |
|
- | rw-r--r-- | 25,845 | rtl-proofs.lisp |
|
- | rw-r--r-- | 20,629 | rtl.lisp |
|
- | rw-r--r-- | 7,499 | rtlarr-new.lisp |
|
- | rw-r--r-- | 7,494 | rtlarr.lisp |
|
- | rw-r--r-- | 10,984 | simple-loop-helpers-proofs.lisp |
|
- | rw-r--r-- | 10,695 | simple-loop-helpers.lisp |
|
- | rw-r--r-- | 4,032 | simplify-model-helpers-new-proofs.lisp |
|
- | rw-r--r-- | 3,350 | simplify-model-helpers-new.lisp |
|
- | rw-r--r-- | 4,076 | simplify-model-helpers-proofs.lisp |
|
- | rw-r--r-- | 3,206 | simplify-model-helpers.lisp |
|
- | rw-r--r-- | 2,215 | top.lisp |
|
- | rw-r--r-- | 5,464 | util.lisp |