![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| util.lisp.gz | 2005-03-29 16:07 | 1.3K | |
| trunc.lisp.gz | 2003-09-25 00:29 | 2.5K | |
| trunc-proofs.lisp.gz | 2005-11-27 15:51 | 5.8K | |
| top1.lisp.gz | 2005-12-19 22:56 | 5.7K | |
| top.lisp.gz | 2005-09-19 10:28 | 157 | |
| sumbits.lisp.gz | 2004-01-30 10:39 | 541 | |
| sticky.lisp.gz | 2004-11-04 09:49 | 1.4K | |
| sticky-proofs.lisp.gz | 2005-11-27 15:51 | 3.7K | |
| stick.lisp.gz | 2005-09-16 09:27 | 515 | |
| stick-proofs.lisp.gz | 2005-09-19 11:20 | 5.3K | |
| simplify-model-helpers.lisp.gz | 2005-03-21 10:52 | 577 | |
| simple-loop-helpers.lisp.gz | 2003-09-17 12:19 | 1.6K | |
| shft.lisp.gz | 2003-09-08 13:19 | 455 | |
| sgn.lisp.gz | 2003-09-12 19:40 | 193 | |
| setbits.lisp.gz | 2005-06-23 08:39 | 2.0K | |
| setbits-proofs.lisp.gz | 2005-06-23 08:39 | 2.4K | |
| setbitn.lisp.gz | 2005-06-23 08:38 | 813 | |
| setbitn-proofs.lisp.gz | 2005-06-23 08:38 | 1.1K | |
| rtlarr.lisp.gz | 2005-04-01 16:43 | 3.3K | |
| rtl.lisp.gz | 2005-08-16 14:57 | 3.6K | |
| round-extra.lisp.gz | 2005-11-27 15:51 | 1.3K | |
| rom-helpers.lisp.gz | 2003-09-08 13:18 | 357 | |
| rnd.lisp.gz | 2005-11-27 15:51 | 5.1K | |
| rewrite-theory.lisp.gz | 2006-07-05 03:50 | 380 | |
| package-defs.lisp.gz | 2005-01-24 17:02 | 1.0K | |
| openers.lisp.gz | 2005-03-29 11:27 | 629 | |
| oddr.lisp.gz | 2003-09-24 15:29 | 1.2K | |
| oddr-proofs.lisp.gz | 2005-11-27 15:51 | 2.8K | |
| ocat.lisp.gz | 2003-09-12 20:07 | 2.1K | |
| near.lisp.gz | 2003-09-25 00:17 | 2.0K | |
| near-proofs.lisp.gz | 2005-11-27 15:51 | 6.8K | |
| near+.lisp.gz | 2004-11-03 15:29 | 1.6K | |
| near+-proofs.lisp.gz | 2005-11-27 15:51 | 4.9K | |
| mulcat.lisp.gz | 2005-09-08 15:59 | 1.1K | |
| mulcat-proofs.lisp.gz | 2005-09-08 15:59 | 1.4K | |
| model-helpers.lisp.gz | 2003-09-17 12:18 | 249 | |
| mod4.lisp.gz | 2003-09-12 18:45 | 1.1K | |
| merge2.lisp.gz | 2005-09-15 10:08 | 1.1K | |
| merge.lisp.gz | 2005-09-19 10:51 | 12K | |
| lxor0.lisp.gz | 2005-09-14 13:39 | 2.0K | |
| lxor0-proofs.lisp.gz | 2005-09-14 13:51 | 3.0K | |
| lxor.lisp.gz | 2005-10-07 18:28 | 3.0K | |
| lop3.lisp.gz | 2005-09-16 10:06 | 872 | |
| lop3-proofs.lisp.gz | 2005-11-27 07:05 | 5.5K | |
| lop2.lisp.gz | 2005-09-16 09:58 | 266 | |
| lop2-proofs.lisp.gz | 2005-11-27 06:58 | 2.1K | |
| lop1.lisp.gz | 2005-11-27 06:56 | 383 | |
| lop1-proofs.lisp.gz | 2005-11-27 06:56 | 3.0K | |
| logxor.lisp.gz | 2005-09-08 11:20 | 1.4K | |
| logs.lisp.gz | 2006-01-27 11:03 | 1.1K | |
| logorc1.lisp.gz | 2003-06-08 14:15 | 552 | |
| lognot.lisp.gz | 2005-03-29 11:23 | 663 | |
| logior1.lisp.gz | 2003-09-21 17:00 | 286 | |
| logior1-proofs.lisp.gz | 2003-09-21 16:57 | 219 | |
| logior.lisp.gz | 2003-09-21 17:55 | 1.6K | |
| logior-proofs.lisp.gz | 2005-09-19 10:37 | 3.5K | |
| logeqv.lisp.gz | 2003-09-12 19:05 | 903 | |
| logand.lisp.gz | 2005-03-29 11:23 | 2.5K | |
| logand-proofs.lisp.gz | 2005-09-19 10:37 | 3.4K | |
| log.lisp.gz | 2005-06-23 08:37 | 1.7K | |
| log-proofs.lisp.gz | 2005-09-19 10:37 | 6.0K | |
| log-equal.lisp.gz | 2003-06-17 16:35 | 233 | |
| lnot.lisp.gz | 2005-09-09 18:59 | 1.7K | |
| lnot-proofs.lisp.gz | 2005-09-09 18:59 | 4.0K | |
| lior0.lisp.gz | 2005-10-07 17:43 | 2.5K | |
| lior0-proofs.lisp.gz | 2005-10-07 17:43 | 3.5K | |
| lior.lisp.gz | 2005-11-27 09:23 | 3.2K | |
| lextra0.lisp.gz | 2005-09-13 14:41 | 415 | |
| lextra.lisp.gz | 2005-10-12 10:56 | 4.9K | |
| lextra-proofs.lisp.gz | 2005-10-10 16:23 | 1.5K | |
| land0.lisp.gz | 2005-09-15 18:15 | 2.8K | |
| land0-proofs.lisp.gz | 2005-09-15 18:14 | 4.9K | |
| land.lisp.gz | 2005-10-07 17:23 | 3.6K | |
| ireps.lisp.gz | 2005-03-29 11:20 | 4.7K | |
| guards.lisp.gz | 2005-09-08 17:10 | 722 | |
| ground-zero.lisp.gz | 2003-08-30 13:24 | 164 | |
| float.lisp.gz | 2005-11-28 13:27 | 7.9K | |
| float-extra.lisp.gz | 2005-11-27 21:25 | 2.9K | |
| fast-and.lisp.gz | 2005-03-29 14:25 | 272 | |
| fadd.lisp.gz | 2005-10-12 10:56 | 5.2K | |
| fadd-extra0.lisp.gz | 2005-10-12 10:54 | 3.4K | |
| fadd-extra.lisp.gz | 2005-11-27 08:46 | 2.0K | |
| ereps.lisp.gz | 2003-09-24 14:35 | 1.4K | |
| ereps-proofs.lisp.gz | 2006-01-27 11:05 | 3.4K | |
| encode.lisp.gz | 2005-03-29 11:19 | 1.0K | |
| drnd.lisp.gz | 2005-11-27 15:51 | 9.8K | |
| decode.lisp.gz | 2003-09-25 17:28 | 382 | |
| decode-proofs.lisp.gz | 2003-09-25 21:27 | 456 | |
| clocks.lisp.gz | 2005-03-29 11:18 | 1.8K | |
| cert.lsp.gz | 2001-09-16 19:11 | 300 | |
| cat.lisp.gz | 2005-09-08 15:57 | 4.4K | |
| cat-proofs.lisp.gz | 2005-09-08 15:57 | 6.4K | |
| cat-def.lisp.gz | 2005-06-23 08:34 | 1.0K | |
| bvecp.lisp.gz | 2005-03-29 11:16 | 1.5K | |
| bvecp-proofs.lisp.gz | 2005-03-28 17:43 | 1.7K | |
| bvecp-lemmas.lisp.gz | 2005-08-16 14:57 | 1.4K | |
| bvecp-helpers.lisp.gz | 2004-03-16 23:31 | 1.5K | |
| bits.lisp.gz | 2005-10-07 11:55 | 5.6K | |
| bits-trunc.lisp.gz | 2005-09-15 18:32 | 411 | |
| bits-trunc-proofs.lisp.gz | 2005-09-15 18:35 | 766 | |
| bits-proofs.lisp.gz | 2005-10-07 12:02 | 8.8K | |
| bitn.lisp.gz | 2005-10-07 16:31 | 4.1K | |
| bitn-proofs.lisp.gz | 2005-10-07 16:31 | 6.5K | |
| bias.lisp.gz | 2005-03-28 17:44 | 501 | |
| bias-proofs.lisp.gz | 2005-03-28 17:44 | 666 | |
| badguys.lisp.gz | 2004-01-30 10:26 | 541 | |
| away.lisp.gz | 2003-09-25 00:15 | 2.3K | |
| away-proofs.lisp.gz | 2005-11-27 15:51 | 6.2K | |
| ash.lisp.gz | 2003-09-08 17:02 | 610 | |
| all-ones.lisp.gz | 2005-03-28 17:40 | 244 | |
| add3.lisp.gz | 2005-09-16 09:15 | 372 | |
| add3-proofs.lisp.gz | 2005-09-16 09:45 | 2.2K | |
| README.gz | 2003-09-25 22:17 | 208 | |
| Makefile.gz | 2005-11-27 07:19 | 3.3K | |