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: support
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1,281 | Makefile |
|
- | rw-r--r-- | 266 | README |
|
- | rw-r--r-- | 13,564 | add3-proofs.lisp |
|
- | rw-r--r-- | 2,152 | add3.lisp |
|
- | rw-r--r-- | 1,508 | all-ones.lisp |
|
- | rw-r--r-- | 2,557 | ash.lisp |
|
- | rw-r--r-- | 50,014 | away-proofs.lisp |
|
- | rw-r--r-- | 13,044 | away.lisp |
|
- | rw-r--r-- | 2,590 | badguys.lisp |
|
- | rw-r--r-- | 3,185 | bias-proofs.lisp |
|
- | rw-r--r-- | 2,379 | bias.lisp |
|
- | rw-r--r-- | 37,910 | bitn-proofs.lisp |
|
- | rw-r--r-- | 19,931 | bitn.lisp |
|
- | rw-r--r-- | 57,205 | bits-proofs.lisp |
|
- | rw-r--r-- | 4,453 | bits-trunc-proofs.lisp |
|
- | rw-r--r-- | 2,121 | bits-trunc.lisp |
|
- | rw-r--r-- | 27,498 | bits.lisp |
|
- | rw-r--r-- | 8,030 | bvecp-helpers.lisp |
|
- | rw-r--r-- | 6,135 | bvecp-lemmas.lisp |
|
- | rw-r--r-- | 8,173 | bvecp-proofs.lisp |
|
- | rw-r--r-- | 5,861 | bvecp.lisp |
|
- | rw-r--r-- | 3,834 | cat-def.lisp |
|
- | rw-r--r-- | 42,738 | cat-proofs.lisp |
|
- | rw-r--r-- | 27,281 | cat.lisp |
|
- | rw-r--r-- | 6,335 | clocks.lisp |
|
- | rw-r--r-- | 2,178 | decode-proofs.lisp |
|
- | rw-r--r-- | 1,937 | decode.lisp |
|
- | rw-r--r-- | 82,841 | drnd-original.lisp |
|
- | rw-r--r-- | 5,009 | encode.lisp |
|
- | rw-r--r-- | 21,989 | ereps-proofs.lisp |
|
- | rw-r--r-- | 7,226 | ereps.lisp |
|
- | rw-r--r-- | 16,266 | fadd-extra.lisp |
|
- | rw-r--r-- | 22,548 | fadd-extra0.lisp |
|
- | rw-r--r-- | 40,744 | fadd.lisp |
|
- | rw-r--r-- | 1,728 | fast-and.lisp |
|
- | rw-r--r-- | 20,022 | float-extra.lisp |
|
- | rw-r--r-- | 55,584 | float.lisp |
|
- | rw-r--r-- | 1,201 | ground-zero.lisp |
|
- | rw-r--r-- | 3,915 | guards.lisp |
|
- | rw-r--r-- | 32,550 | ireps.lisp |
|
- | rw-r--r-- | 19,816 | land.lisp |
|
- | rw-r--r-- | 28,103 | land0-proofs.lisp |
|
- | rw-r--r-- | 13,003 | land0.lisp |
|
- | rw-r--r-- | 8,045 | lextra-proofs.lisp |
|
- | rw-r--r-- | 39,862 | lextra.lisp |
|
- | rw-r--r-- | 2,384 | lextra0.lisp |
|
- | rw-r--r-- | 18,310 | lior.lisp |
|
- | rw-r--r-- | 19,786 | lior0-proofs.lisp |
|
- | rw-r--r-- | 11,956 | lior0.lisp |
|
- | rw-r--r-- | 25,271 | lnot-proofs.lisp |
|
- | rw-r--r-- | 7,661 | lnot.lisp |
|
- | rw-r--r-- | 1,334 | log-equal.lisp |
|
- | rw-r--r-- | 51,713 | log-proofs.lisp |
|
- | rw-r--r-- | 8,662 | log.lisp |
|
- | rw-r--r-- | 20,693 | logand-proofs.lisp |
|
- | rw-r--r-- | 11,034 | logand.lisp |
|
- | rw-r--r-- | 4,618 | logeqv.lisp |
|
- | rw-r--r-- | 24,754 | logior-proofs.lisp |
|
- | rw-r--r-- | 8,822 | logior.lisp |
|
- | rw-r--r-- | 1,530 | logior1-proofs.lisp |
|
- | rw-r--r-- | 1,541 | logior1.lisp |
|
- | rw-r--r-- | 4,672 | lognot.lisp |
|
- | rw-r--r-- | 2,969 | logorc1.lisp |
|
- | rw-r--r-- | 7,579 | logs.lisp |
|
- | rw-r--r-- | 7,920 | logxor.lisp |
|
- | rw-r--r-- | 28,938 | lop1-proofs.lisp |
|
- | rw-r--r-- | 2,140 | lop1.lisp |
|
- | rw-r--r-- | 18,404 | lop2-proofs.lisp |
|
- | rw-r--r-- | 1,625 | lop2.lisp |
|
- | rw-r--r-- | 69,161 | lop3-proofs.lisp |
|
- | rw-r--r-- | 7,866 | lop3.lisp |
|
- | rw-r--r-- | 16,681 | lxor.lisp |
|
- | rw-r--r-- | 16,854 | lxor0-proofs.lisp |
|
- | rw-r--r-- | 9,689 | lxor0.lisp |
|
- | rw-r--r-- | 71,559 | merge.lisp |
|
- | rw-r--r-- | 8,516 | merge2.lisp |
|
- | rw-r--r-- | 4,869 | mod4.lisp |
|
- | rw-r--r-- | 1,432 | model-helpers.lisp |
|
- | rw-r--r-- | 6,382 | mulcat-proofs.lisp |
|
- | rw-r--r-- | 5,200 | mulcat.lisp |
|
- | rw-r--r-- | 71,980 | near%2B-proofs.lisp |
|
- | rw-r--r-- | 10,911 | near%2B.lisp |
|
- | rw-r--r-- | 85,207 | near-proofs.lisp |
|
- | rw-r--r-- | 13,242 | near.lisp |
|
- | rw-r--r-- | 12,643 | ocat.lisp |
|
- | rw-r--r-- | 19,267 | oddr-proofs.lisp |
|
- | rw-r--r-- | 5,921 | oddr.lisp |
|
- | rw-r--r-- | 2,634 | openers.lisp |
|
- | rw-r--r-- | 3,553 | package-defs.lisp |
|
- | rw-r--r-- | 1,956 | rewrite-theory.lisp |
|
- | rw-r--r-- | 39,410 | rnd.lisp |
|
- | rw-r--r-- | 1,925 | rom-helpers.lisp |
|
- | rw-r--r-- | 12,358 | round-extra.lisp |
|
- | rw-r--r-- | 17,182 | rtl.lisp |
|
- | rw-r--r-- | 13,898 | rtlarr.lisp |
|
- | rw-r--r-- | 7,708 | setbitn-proofs.lisp |
|
- | rw-r--r-- | 5,182 | setbitn.lisp |
|
- | rw-r--r-- | 14,481 | setbits-proofs.lisp |
|
- | rw-r--r-- | 12,128 | setbits.lisp |
|
- | rw-r--r-- | 1,295 | sgn.lisp |
|
- | rw-r--r-- | 2,224 | shft.lisp |
|
- | rw-r--r-- | 11,096 | simple-loop-helpers.lisp |
|
- | rw-r--r-- | 3,239 | simplify-model-helpers.lisp |
|
- | rw-r--r-- | 44,836 | stick-proofs.lisp |
|
- | rw-r--r-- | 2,701 | stick.lisp |
|
- | rw-r--r-- | 34,320 | sticky-proofs.lisp |
|
- | rw-r--r-- | 7,721 | sticky.lisp |
|
- | rw-r--r-- | 2,843 | sumbits.lisp |
|
- | rw-r--r-- | 1,300 | top.lisp |
|
- | rw-r--r-- | 33,999 | top1.lisp |
|
- | rw-r--r-- | 42,674 | trunc-proofs.lisp |
|
- | rw-r--r-- | 13,940 | trunc.lisp |
|
- | rw-r--r-- | 4,969 | util.lisp |