![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile.gz | 2010-09-20 19:29 | 3.3K | |
| README.gz | 2010-09-20 19:29 | 211 | |
| add3-proofs.lisp.gz | 2010-09-20 19:29 | 2.2K | |
| add3.lisp.gz | 2010-09-20 19:29 | 372 | |
| all-ones.lisp.gz | 2010-09-20 19:29 | 244 | |
| ash.lisp.gz | 2010-09-20 19:29 | 612 | |
| away-proofs.lisp.gz | 2010-09-20 19:29 | 6.4K | |
| away.lisp.gz | 2010-09-20 19:29 | 2.4K | |
| badguys.lisp.gz | 2010-09-20 19:29 | 541 | |
| bias-proofs.lisp.gz | 2010-09-20 19:29 | 668 | |
| bias.lisp.gz | 2010-09-20 19:29 | 501 | |
| bitn-proofs.lisp.gz | 2010-09-20 19:29 | 6.5K | |
| bitn.lisp.gz | 2010-09-20 19:29 | 4.1K | |
| bits-proofs.lisp.gz | 2010-09-20 19:29 | 8.9K | |
| bits-trunc-proofs.lisp.gz | 2010-09-20 19:29 | 768 | |
| bits-trunc.lisp.gz | 2010-09-20 19:29 | 412 | |
| bits.lisp.gz | 2010-09-20 19:29 | 5.6K | |
| bvecp-helpers.lisp.gz | 2010-09-20 19:29 | 1.5K | |
| bvecp-lemmas.lisp.gz | 2010-09-20 19:29 | 1.4K | |
| bvecp-proofs.lisp.gz | 2010-09-20 19:29 | 1.8K | |
| bvecp.lisp.gz | 2010-09-20 19:29 | 1.5K | |
| cat-def.lisp.gz | 2010-09-20 19:29 | 1.0K | |
| cat-proofs.lisp.gz | 2010-09-20 19:29 | 6.4K | |
| cat.lisp.gz | 2010-09-20 19:29 | 4.4K | |
| clocks.lisp.gz | 2010-09-20 19:29 | 1.8K | |
| decode-proofs.lisp.gz | 2010-09-20 19:29 | 478 | |
| decode.lisp.gz | 2010-09-20 19:29 | 401 | |
| drnd-original.lisp.gz | 2010-09-20 19:29 | 10K | |
| encode.lisp.gz | 2010-09-20 19:29 | 1.1K | |
| ereps-proofs.lisp.gz | 2010-09-20 19:29 | 3.4K | |
| ereps.lisp.gz | 2010-09-20 19:29 | 1.4K | |
| fadd-extra.lisp.gz | 2010-09-20 19:29 | 2.0K | |
| fadd-extra0.lisp.gz | 2010-09-20 19:29 | 3.4K | |
| fadd.lisp.gz | 2010-09-20 19:29 | 5.2K | |
| fast-and.lisp.gz | 2010-09-20 19:29 | 272 | |
| float-extra.lisp.gz | 2010-09-20 19:29 | 2.9K | |
| float.lisp.gz | 2010-09-20 19:29 | 7.9K | |
| ground-zero.lisp.gz | 2010-09-20 19:29 | 166 | |
| guards.lisp.gz | 2010-09-20 19:29 | 722 | |
| ireps.lisp.gz | 2011-02-14 07:58 | 4.8K | |
| land.lisp.gz | 2010-09-20 19:29 | 3.6K | |
| land0-proofs.lisp.gz | 2010-09-20 19:29 | 4.9K | |
| land0.lisp.gz | 2010-09-20 19:29 | 2.8K | |
| lextra-proofs.lisp.gz | 2010-09-20 19:29 | 1.5K | |
| lextra.lisp.gz | 2010-09-20 19:29 | 4.9K | |
| lextra0.lisp.gz | 2010-09-20 19:29 | 415 | |
| lior.lisp.gz | 2010-09-20 19:29 | 3.2K | |
| lior0-proofs.lisp.gz | 2010-09-20 19:29 | 3.5K | |
| lior0.lisp.gz | 2010-09-20 19:29 | 2.5K | |
| lnot-proofs.lisp.gz | 2010-09-20 19:29 | 4.0K | |
| lnot.lisp.gz | 2010-09-20 19:29 | 1.7K | |
| log-equal.lisp.gz | 2010-09-20 19:29 | 233 | |
| log-proofs.lisp.gz | 2010-09-20 19:29 | 6.0K | |
| log.lisp.gz | 2010-09-20 19:29 | 1.7K | |
| logand-proofs.lisp.gz | 2010-09-20 19:29 | 3.4K | |
| logand.lisp.gz | 2010-09-20 19:29 | 2.5K | |
| logeqv.lisp.gz | 2010-09-20 19:29 | 906 | |
| logior-proofs.lisp.gz | 2010-09-20 19:29 | 3.5K | |
| logior.lisp.gz | 2010-09-20 19:29 | 1.6K | |
| logior1-proofs.lisp.gz | 2010-09-20 19:29 | 219 | |
| logior1.lisp.gz | 2010-09-20 19:29 | 286 | |
| lognot.lisp.gz | 2010-09-20 19:29 | 664 | |
| logorc1.lisp.gz | 2010-09-20 19:29 | 554 | |
| logs.lisp.gz | 2010-09-20 19:29 | 1.1K | |
| logxor.lisp.gz | 2010-09-20 19:29 | 1.4K | |
| lop1-proofs.lisp.gz | 2010-09-20 19:29 | 3.0K | |
| lop1.lisp.gz | 2010-09-20 19:29 | 383 | |
| lop2-proofs.lisp.gz | 2010-09-20 19:29 | 2.1K | |
| lop2.lisp.gz | 2010-09-20 19:29 | 266 | |
| lop3-proofs.lisp.gz | 2010-09-20 19:29 | 5.5K | |
| lop3.lisp.gz | 2010-09-20 19:29 | 872 | |
| lxor.lisp.gz | 2010-09-20 19:29 | 3.0K | |
| lxor0-proofs.lisp.gz | 2010-09-20 19:29 | 3.0K | |
| lxor0.lisp.gz | 2010-09-20 19:29 | 2.0K | |
| merge.lisp.gz | 2010-09-20 19:29 | 12K | |
| merge2.lisp.gz | 2010-09-20 19:29 | 1.1K | |
| mod4.lisp.gz | 2010-09-20 19:29 | 1.1K | |
| model-helpers.lisp.gz | 2010-09-20 19:29 | 249 | |
| mulcat-proofs.lisp.gz | 2010-09-20 19:29 | 1.4K | |
| mulcat.lisp.gz | 2010-09-20 19:29 | 1.1K | |
| near+-proofs.lisp.gz | 2010-09-20 19:29 | 7.8K | |
| near+.lisp.gz | 2010-09-20 19:29 | 1.8K | |
| near-proofs.lisp.gz | 2010-09-20 19:29 | 8.9K | |
| near.lisp.gz | 2010-09-20 19:29 | 2.2K | |
| ocat.lisp.gz | 2010-09-20 19:29 | 2.1K | |
| oddr-proofs.lisp.gz | 2010-09-20 19:29 | 2.8K | |
| oddr.lisp.gz | 2010-09-20 19:29 | 1.2K | |
| openers.lisp.gz | 2010-09-20 19:29 | 629 | |
| package-defs.lisp.gz | 2010-09-20 19:29 | 1.1K | |
| rewrite-theory.lisp.gz | 2010-09-20 19:29 | 447 | |
| rnd.lisp.gz | 2010-09-20 19:29 | 5.5K | |
| rom-helpers.lisp.gz | 2010-09-20 19:29 | 377 | |
| round-extra.lisp.gz | 2010-09-20 19:29 | 1.8K | |
| rtl.lisp.gz | 2010-09-20 19:29 | 3.6K | |
| rtlarr.lisp.gz | 2010-09-20 19:29 | 3.3K | |
| setbitn-proofs.lisp.gz | 2010-09-20 19:29 | 1.2K | |
| setbitn.lisp.gz | 2010-09-20 19:29 | 834 | |
| setbits-proofs.lisp.gz | 2010-09-20 19:29 | 2.4K | |
| setbits.lisp.gz | 2010-09-20 19:29 | 2.0K | |
| sgn.lisp.gz | 2010-09-20 19:29 | 193 | |
| shft.lisp.gz | 2010-09-20 19:29 | 476 | |
| simple-loop-helpers.lisp.gz | 2010-09-20 19:29 | 1.6K | |
| simplify-model-helpers.lisp.gz | 2010-09-20 19:29 | 577 | |
| stick-proofs.lisp.gz | 2010-09-20 19:29 | 5.3K | |
| stick.lisp.gz | 2010-09-20 19:29 | 515 | |
| sticky-proofs.lisp.gz | 2010-09-20 19:29 | 4.1K | |
| sticky.lisp.gz | 2010-09-20 19:29 | 1.4K | |
| sumbits.lisp.gz | 2010-09-20 19:29 | 541 | |
| top.lisp.gz | 2010-09-20 19:29 | 158 | |
| top1.lisp.gz | 2011-06-26 18:41 | 5.9K | |
| trunc-proofs.lisp.gz | 2010-09-20 19:29 | 6.2K | |
| trunc.lisp.gz | 2010-09-20 19:29 | 2.5K | |
| util.lisp.gz | 2010-09-20 19:29 | 1.3K | |