![[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 | 2007-12-17 09:58 | 3.3K | |
| README.gz | 2007-12-17 09:58 | 208 | |
| add3-proofs.lisp.gz | 2007-12-17 09:58 | 2.2K | |
| add3.lisp.gz | 2007-12-17 09:58 | 372 | |
| all-ones.lisp.gz | 2007-12-17 09:58 | 244 | |
| ash.lisp.gz | 2007-12-17 09:58 | 610 | |
| away-proofs.lisp.gz | 2007-12-17 09:58 | 6.2K | |
| away.lisp.gz | 2007-12-17 09:58 | 2.3K | |
| badguys.lisp.gz | 2007-12-17 09:58 | 541 | |
| bias-proofs.lisp.gz | 2007-12-17 09:58 | 666 | |
| bias.lisp.gz | 2007-12-17 09:58 | 501 | |
| bitn-proofs.lisp.gz | 2008-02-14 15:22 | 6.5K | |
| bitn.lisp.gz | 2008-02-14 15:23 | 4.1K | |
| bits-proofs.lisp.gz | 2008-02-14 15:22 | 8.9K | |
| bits-trunc-proofs.lisp.gz | 2007-12-17 09:58 | 766 | |
| bits-trunc.lisp.gz | 2007-12-17 09:58 | 411 | |
| bits.lisp.gz | 2008-02-14 15:23 | 5.6K | |
| bvecp-helpers.lisp.gz | 2007-12-17 09:58 | 1.5K | |
| bvecp-lemmas.lisp.gz | 2008-02-14 15:22 | 1.4K | |
| bvecp-proofs.lisp.gz | 2008-02-14 15:23 | 1.8K | |
| bvecp.lisp.gz | 2008-02-14 15:23 | 1.5K | |
| cat-def.lisp.gz | 2007-12-17 09:58 | 1.0K | |
| cat-proofs.lisp.gz | 2008-02-14 15:22 | 6.4K | |
| cat.lisp.gz | 2008-02-14 15:22 | 4.4K | |
| cert.lsp.gz | 2007-12-17 09:58 | 300 | |
| clocks.lisp.gz | 2007-12-17 09:58 | 1.8K | |
| decode-proofs.lisp.gz | 2008-02-14 15:22 | 476 | |
| decode.lisp.gz | 2008-02-14 15:23 | 401 | |
| drnd.lisp.gz | 2008-02-14 15:23 | 9.8K | |
| encode.lisp.gz | 2008-02-14 15:23 | 1.1K | |
| ereps-proofs.lisp.gz | 2007-12-17 09:58 | 3.4K | |
| ereps.lisp.gz | 2007-12-17 09:58 | 1.4K | |
| fadd-extra.lisp.gz | 2007-12-17 09:58 | 2.0K | |
| fadd-extra0.lisp.gz | 2007-12-17 09:58 | 3.4K | |
| fadd.lisp.gz | 2007-12-17 09:58 | 5.2K | |
| fast-and.lisp.gz | 2007-12-17 09:58 | 272 | |
| float-extra.lisp.gz | 2007-12-17 09:58 | 2.9K | |
| float.lisp.gz | 2007-12-17 09:58 | 7.9K | |
| ground-zero.lisp.gz | 2007-12-17 09:58 | 164 | |
| guards.lisp.gz | 2007-12-17 09:58 | 722 | |
| ireps.lisp.gz | 2007-12-17 09:58 | 4.7K | |
| land.lisp.gz | 2007-12-17 09:58 | 3.6K | |
| land0-proofs.lisp.gz | 2008-02-14 15:22 | 4.9K | |
| land0.lisp.gz | 2008-02-14 15:22 | 2.8K | |
| lextra-proofs.lisp.gz | 2007-12-17 09:58 | 1.5K | |
| lextra.lisp.gz | 2007-12-17 09:58 | 4.9K | |
| lextra0.lisp.gz | 2007-12-17 09:58 | 415 | |
| lior.lisp.gz | 2007-12-17 09:58 | 3.2K | |
| lior0-proofs.lisp.gz | 2008-02-14 15:23 | 3.5K | |
| lior0.lisp.gz | 2008-02-14 15:22 | 2.5K | |
| lnot-proofs.lisp.gz | 2008-02-14 15:22 | 4.0K | |
| lnot.lisp.gz | 2008-02-14 15:23 | 1.7K | |
| log-equal.lisp.gz | 2007-12-17 09:58 | 233 | |
| log-proofs.lisp.gz | 2008-02-14 15:22 | 6.0K | |
| log.lisp.gz | 2008-02-14 15:23 | 1.7K | |
| logand-proofs.lisp.gz | 2007-12-17 09:58 | 3.4K | |
| logand.lisp.gz | 2008-02-14 15:23 | 2.5K | |
| logeqv.lisp.gz | 2007-12-17 09:58 | 903 | |
| logior-proofs.lisp.gz | 2008-02-14 15:23 | 3.5K | |
| logior.lisp.gz | 2008-02-14 15:23 | 1.6K | |
| logior1-proofs.lisp.gz | 2007-12-17 09:58 | 219 | |
| logior1.lisp.gz | 2007-12-17 09:58 | 286 | |
| lognot.lisp.gz | 2007-12-17 09:58 | 663 | |
| logorc1.lisp.gz | 2007-12-17 09:58 | 552 | |
| logs.lisp.gz | 2008-02-14 15:23 | 1.1K | |
| logxor.lisp.gz | 2008-02-14 15:22 | 1.4K | |
| lop1-proofs.lisp.gz | 2007-12-17 09:58 | 3.0K | |
| lop1.lisp.gz | 2007-12-17 09:58 | 383 | |
| lop2-proofs.lisp.gz | 2007-12-17 09:58 | 2.1K | |
| lop2.lisp.gz | 2007-12-17 09:58 | 266 | |
| lop3-proofs.lisp.gz | 2007-12-17 09:58 | 5.5K | |
| lop3.lisp.gz | 2007-12-17 09:58 | 872 | |
| lxor.lisp.gz | 2007-12-17 09:58 | 3.0K | |
| lxor0-proofs.lisp.gz | 2008-02-14 15:23 | 3.0K | |
| lxor0.lisp.gz | 2008-02-14 15:22 | 2.0K | |
| merge.lisp.gz | 2008-02-14 15:23 | 12K | |
| merge2.lisp.gz | 2007-12-17 09:58 | 1.1K | |
| mod4.lisp.gz | 2007-12-17 09:58 | 1.1K | |
| model-helpers.lisp.gz | 2007-12-17 09:58 | 249 | |
| mulcat-proofs.lisp.gz | 2008-02-14 15:23 | 1.4K | |
| mulcat.lisp.gz | 2008-02-14 15:23 | 1.1K | |
| near+-proofs.lisp.gz | 2007-12-17 09:58 | 4.9K | |
| near+.lisp.gz | 2007-12-17 09:58 | 1.6K | |
| near-proofs.lisp.gz | 2007-12-17 09:58 | 6.8K | |
| near.lisp.gz | 2007-12-17 09:58 | 2.0K | |
| ocat.lisp.gz | 2008-02-14 15:22 | 2.1K | |
| oddr-proofs.lisp.gz | 2007-12-17 09:58 | 2.8K | |
| oddr.lisp.gz | 2007-12-17 09:58 | 1.2K | |
| openers.lisp.gz | 2007-12-17 09:58 | 629 | |
| package-defs.lisp.gz | 2007-12-17 09:58 | 1.0K | |
| rewrite-theory.lisp.gz | 2007-12-17 09:58 | 380 | |
| rnd.lisp.gz | 2008-02-14 15:22 | 5.1K | |
| rom-helpers.lisp.gz | 2008-02-14 15:22 | 377 | |
| round-extra.lisp.gz | 2007-12-17 09:58 | 1.3K | |
| rtl.lisp.gz | 2008-05-31 09:50 | 3.6K | |
| rtlarr.lisp.gz | 2007-12-17 09:58 | 3.3K | |
| setbitn-proofs.lisp.gz | 2008-02-14 15:23 | 1.2K | |
| setbitn.lisp.gz | 2008-02-14 15:23 | 834 | |
| setbits-proofs.lisp.gz | 2008-02-14 15:23 | 2.4K | |
| setbits.lisp.gz | 2008-02-14 15:22 | 2.0K | |
| sgn.lisp.gz | 2007-12-17 09:58 | 193 | |
| shft.lisp.gz | 2008-02-14 15:23 | 475 | |
| simple-loop-helpers.lisp.gz | 2007-12-17 09:58 | 1.6K | |
| simplify-model-helpers.lisp.gz | 2007-12-17 09:58 | 577 | |
| stick-proofs.lisp.gz | 2007-12-17 09:58 | 5.3K | |
| stick.lisp.gz | 2007-12-17 09:58 | 515 | |
| sticky-proofs.lisp.gz | 2007-12-17 09:58 | 3.7K | |
| sticky.lisp.gz | 2007-12-17 09:58 | 1.4K | |
| sumbits.lisp.gz | 2007-12-17 09:58 | 541 | |
| top.lisp.gz | 2007-12-17 09:58 | 157 | |
| top1.lisp.gz | 2007-12-17 09:58 | 5.7K | |
| trunc-proofs.lisp.gz | 2007-12-17 09:58 | 5.8K | |
| trunc.lisp.gz | 2007-12-17 09:58 | 2.5K | |
| util.lisp.gz | 2007-12-17 09:58 | 1.3K | |