Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
cert.acl2.gz | 2010-09-20 19:29 | 123 | ||
symbols.acl2.gz | 2010-09-20 19:29 | 149 | ||
symbols-defpkg.lsp.gz | 2010-09-20 19:29 | 152 | ||
Makefile.gz | 2010-09-20 19:29 | 269 | ||
logcons.lisp.gz | 2010-09-20 19:29 | 440 | ||
logbit.lisp.gz | 2010-09-20 19:29 | 620 | ||
logbitp.lisp.gz | 2010-09-20 19:29 | 673 | ||
fast.lisp.gz | 2010-09-20 19:29 | 694 | ||
signed-byte-p-overflow.lisp.gz | 2011-03-06 16:21 | 843 | ||
min-max.lisp.gz | 2010-09-20 19:29 | 856 | ||
logext.lisp.gz | 2010-09-20 19:29 | 924 | ||
logapp.lisp.gz | 2010-09-20 19:29 | 925 | ||
lshu.lisp.gz | 2010-09-20 19:29 | 941 | ||
logcar.lisp.gz | 2010-09-20 19:29 | 1.0K | ||
plus-logapp-suck.lisp.gz | 2011-03-06 16:21 | 1.1K | ||
carry.lisp.gz | 2010-09-20 19:29 | 1.2K | ||
logcdr.lisp.gz | 2010-09-20 19:29 | 1.2K | ||
c-functions.lisp.gz | 2010-09-20 19:29 | 1.2K | ||
logtail.lisp.gz | 2010-09-20 19:29 | 1.4K | ||
bit-functions.lisp.gz | 2010-09-20 19:29 | 1.5K | ||
logpair.lisp.gz | 2010-09-20 19:29 | 1.5K | ||
from-rtl.lisp.gz | 2010-09-20 19:29 | 1.7K | ||
unsigned-byte-p.lisp.gz | 2010-09-20 19:29 | 1.7K | ||
eric.lisp.gz | 2010-09-20 19:29 | 1.8K | ||
meta.lisp.gz | 2010-09-20 19:29 | 1.9K | ||
ash.lisp.gz | 2010-09-20 19:29 | 2.0K | ||
inductions.lisp.gz | 2010-09-20 19:29 | 2.1K | ||
logior-logapp-crock.lisp.gz | 2010-09-20 19:29 | 2.1K | ||
hacks.lisp.gz | 2010-09-20 19:29 | 2.2K | ||
byte-p.lisp.gz | 2010-09-20 19:29 | 2.2K | ||
basics.lisp.gz | 2010-09-20 19:29 | 2.4K | ||
evenp.lisp.gz | 2010-09-20 19:29 | 2.6K | ||
loglist.lisp.gz | 2010-09-20 19:29 | 2.9K | ||
arithmetic.lisp.gz | 2010-09-20 19:29 | 4.7K | ||
logical-logops.lisp.gz | 2010-09-20 19:29 | 5.1K | ||
loghead.lisp.gz | 2010-09-20 19:29 | 6.4K | ||
iter-sqrt.lisp.gz | 2010-09-20 19:29 | 6.9K | ||
bit-twiddling-logops.lisp.gz | 2010-09-20 19:29 | 7.2K | ||
symbols.lsp.gz | 2010-09-20 19:29 | 24K | ||
super-ihs.lisp.gz | 2010-09-20 19:29 | 33K | ||
super-ihs-definitions.lisp.gz | 2010-09-20 19:29 | 75K | ||