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-- | 57 | Makefile |
|
- | rw-r--r-- | 263 | README |
|
- | rw-r--r-- | 12,477 | add3-proofs.lisp |
|
- | rw-r--r-- | 1,088 | add3.lisp |
|
- | rw-r--r-- | 474 | all-ones.lisp |
|
- | rw-r--r-- | 1,514 | ash.lisp |
|
- | rw-r--r-- | 47,567 | away-proofs.lisp |
|
- | rw-r--r-- | 11,927 | away.lisp |
|
- | rw-r--r-- | 1,556 | badguys.lisp |
|
- | rw-r--r-- | 2,145 | bias-proofs.lisp |
|
- | rw-r--r-- | 1,345 | bias.lisp |
|
- | rw-r--r-- | 32,489 | bitn-proofs.lisp |
|
- | rw-r--r-- | 18,425 | bitn.lisp |
|
- | rw-r--r-- | 20,866 | bits-extra.lisp |
|
- | rw-r--r-- | 53,980 | bits-proofs.lisp |
|
- | rw-r--r-- | 3,404 | bits-trunc-proofs.lisp |
|
- | rw-r--r-- | 1,074 | bits-trunc.lisp |
|
- | rw-r--r-- | 25,234 | bits.lisp |
|
- | rw-r--r-- | 6,994 | bvecp-helpers.lisp |
|
- | rw-r--r-- | 4,892 | bvecp-lemmas.lisp |
|
- | rw-r--r-- | 7,136 | bvecp-proofs.lisp |
|
- | rw-r--r-- | 4,827 | bvecp.lisp |
|
- | rw-r--r-- | 2,800 | cat-def.lisp |
|
- | rw-r--r-- | 41,537 | cat-proofs.lisp |
|
- | rw-r--r-- | 26,084 | cat.lisp |
|
- | rw-r--r-- | 5,298 | clocks.lisp |
|
- | rw-r--r-- | 1,141 | decode-proofs.lisp |
|
- | rw-r--r-- | 903 | decode.lisp |
|
- | rw-r--r-- | 81,501 | drnd.lisp |
|
- | rw-r--r-- | 3,972 | encode.lisp |
|
- | rw-r--r-- | 21,043 | ereps-proofs.lisp |
|
- | rw-r--r-- | 6,192 | ereps.lisp |
|
- | rw-r--r-- | 37,828 | fadd.lisp |
|
- | rw-r--r-- | 694 | fast-and.lisp |
|
- | rw-r--r-- | 52,374 | float.lisp |
|
- | rw-r--r-- | 164 | ground-zero.lisp |
|
- | rw-r--r-- | 2,229 | guards.lisp |
|
- | rw-r--r-- | 31,513 | ireps.lisp |
|
- | rw-r--r-- | 18,094 | land-proofs.lisp |
|
- | rw-r--r-- | 10,796 | land.lisp |
|
- | rw-r--r-- | 6,860 | lextra-proofs.lisp |
|
- | rw-r--r-- | 1,248 | lextra.lisp |
|
- | rw-r--r-- | 13,197 | lior-proofs.lisp |
|
- | rw-r--r-- | 10,233 | lior.lisp |
|
- | rw-r--r-- | 18,394 | lnot-proofs.lisp |
|
- | rw-r--r-- | 6,073 | lnot.lisp |
|
- | rw-r--r-- | 300 | log-equal.lisp |
|
- | rw-r--r-- | 50,601 | log-proofs.lisp |
|
- | rw-r--r-- | 7,628 | log.lisp |
|
- | rw-r--r-- | 19,650 | logand-proofs.lisp |
|
- | rw-r--r-- | 10,000 | logand.lisp |
|
- | rw-r--r-- | 3,581 | logeqv.lisp |
|
- | rw-r--r-- | 23,692 | logior-proofs.lisp |
|
- | rw-r--r-- | 7,788 | logior.lisp |
|
- | rw-r--r-- | 496 | logior1-proofs.lisp |
|
- | rw-r--r-- | 507 | logior1.lisp |
|
- | rw-r--r-- | 3,635 | lognot.lisp |
|
- | rw-r--r-- | 1,932 | logorc1.lisp |
|
- | rw-r--r-- | 7,152 | logs.lisp |
|
- | rw-r--r-- | 6,883 | logxor.lisp |
|
- | rw-r--r-- | 26,307 | lop1-proofs.lisp |
|
- | rw-r--r-- | 1,140 | lop1.lisp |
|
- | rw-r--r-- | 17,360 | lop2-proofs.lisp |
|
- | rw-r--r-- | 580 | lop2.lisp |
|
- | rw-r--r-- | 67,857 | lop3-proofs.lisp |
|
- | rw-r--r-- | 6,748 | lop3.lisp |
|
- | rw-r--r-- | 10,700 | lxor-proofs.lisp |
|
- | rw-r--r-- | 8,181 | lxor.lisp |
|
- | rw-r--r-- | 70,527 | merge.lisp |
|
- | rw-r--r-- | 3,307 | merge2.lisp |
|
- | rw-r--r-- | 3,832 | mod4.lisp |
|
- | rw-r--r-- | 398 | model-helpers.lisp |
|
- | rw-r--r-- | 5,132 | mulcat-proofs.lisp |
|
- | rw-r--r-- | 3,994 | mulcat.lisp |
|
- | rw-r--r-- | 42,269 | near%2B-proofs.lisp |
|
- | rw-r--r-- | 8,512 | near%2B.lisp |
|
- | rw-r--r-- | 64,440 | near-proofs.lisp |
|
- | rw-r--r-- | 10,965 | near.lisp |
|
- | rw-r--r-- | 11,594 | ocat.lisp |
|
- | rw-r--r-- | 18,230 | oddr-proofs.lisp |
|
- | rw-r--r-- | 4,887 | oddr.lisp |
|
- | rw-r--r-- | 1,600 | openers.lisp |
|
- | rw-r--r-- | 2,495 | package-defs.lisp |
|
- | rw-r--r-- | 816 | rewrite-theory.lisp |
|
- | rw-r--r-- | 35,031 | rnd.lisp |
|
- | rw-r--r-- | 891 | rom-helpers.lisp |
|
- | rw-r--r-- | 16,115 | rtl.lisp |
|
- | rw-r--r-- | 12,860 | rtlarr.lisp |
|
- | rw-r--r-- | 6,670 | setbitn-proofs.lisp |
|
- | rw-r--r-- | 4,148 | setbitn.lisp |
|
- | rw-r--r-- | 13,444 | setbits-proofs.lisp |
|
- | rw-r--r-- | 11,094 | setbits.lisp |
|
- | rw-r--r-- | 261 | sgn.lisp |
|
- | rw-r--r-- | 1,187 | shft.lisp |
|
- | rw-r--r-- | 10,062 | simple-loop-helpers.lisp |
|
- | rw-r--r-- | 2,205 | simplify-model-helpers.lisp |
|
- | rw-r--r-- | 43,441 | stick-proofs.lisp |
|
- | rw-r--r-- | 1,622 | stick.lisp |
|
- | rw-r--r-- | 29,562 | sticky-proofs.lisp |
|
- | rw-r--r-- | 6,626 | sticky.lisp |
|
- | rw-r--r-- | 1,809 | sumbits.lisp |
|
- | rw-r--r-- | 97 | top.lisp |
|
- | rw-r--r-- | 32,729 | top1.lisp |
|
- | rw-r--r-- | 38,360 | trunc-proofs.lisp |
|
- | rw-r--r-- | 12,903 | trunc.lisp |
|
- | rw-r--r-- | 3,935 | util.lisp |