swh:1:snp:d117da055993847b15d1fc0fa83e88f4494032d3
Tip revision: 2c7c6907ca47f36decf5bd17eba449eebe29c5cc authored by Matt Kaufmann on 12 July 2022, 01:02:09 UTC
Made miscellaneous changes to accommodate GCL
Made miscellaneous changes to accommodate GCL
Tip revision: 2c7c690
File | Mode | Size |
---|---|---|
acl2-customization-files | ||
bin | ||
books | ||
doc | ||
emacs | ||
graphics | ||
installation | ||
.gitignore | -rw-r--r-- | 430 bytes |
GNUmakefile | -rw-r--r-- | 36.7 KB |
LICENSE | -rw-r--r-- | 2.0 KB |
Makefile | -rw-r--r-- | 1.5 KB |
README.md | l--------- | 15 bytes |
acl2-characters | -rw-r--r-- | 256 bytes |
acl2-check.lisp | -rw-r--r-- | 16.5 KB |
acl2-fns.lisp | -rw-r--r-- | 92.2 KB |
acl2-init.lisp | -rw-r--r-- | 101.2 KB |
acl2.lisp | -rw-r--r-- | 108.5 KB |
akcl-acl2-trace.lisp | -rw-r--r-- | 7.8 KB |
all-files.txt | -rw-r--r-- | 3.8 KB |
allegro-acl2-trace.lisp | -rw-r--r-- | 10.0 KB |
apply-constraints.lisp | -rw-r--r-- | 13.1 KB |
apply-prim.lisp | -rw-r--r-- | 38.5 KB |
apply-raw.lisp | -rw-r--r-- | 186.6 KB |
apply.lisp | -rw-r--r-- | 136.8 KB |
axioms.lisp | -rw-r--r-- | 1.1 MB |
basis-a.lisp | -rw-r--r-- | 362.4 KB |
basis-b.lisp | -rw-r--r-- | 174.6 KB |
bdd.lisp | -rw-r--r-- | 132.0 KB |
boot-strap-pass-2-a.lisp | -rw-r--r-- | 54.7 KB |
boot-strap-pass-2-b.lisp | -rw-r--r-- | 27.5 KB |
build-allegro-exe.cl | -rw-r--r-- | 3.3 KB |
defpkgs.lisp | -rw-r--r-- | 31.8 KB |
defthm.lisp | -rw-r--r-- | 526.3 KB |
defuns.lisp | -rw-r--r-- | 588.0 KB |
doc.lisp | -rw-r--r-- | 5.7 MB |
futures-raw.lisp | -rw-r--r-- | 57.1 KB |
history-management.lisp | -rw-r--r-- | 816.1 KB |
hons-raw.lisp | -rw-r--r-- | 176.3 KB |
hons.lisp | -rw-r--r-- | 9.4 KB |
induct.lisp | -rw-r--r-- | 149.9 KB |
init.lisp | -rw-r--r-- | 4.2 KB |
interface-raw.lisp | -rw-r--r-- | 467.6 KB |
ld.lisp | -rw-r--r-- | 218.8 KB |
linear-a.lisp | -rw-r--r-- | 149.4 KB |
linear-b.lisp | -rw-r--r-- | 43.1 KB |
mcl-acl2-startup.lisp | -rw-r--r-- | 5.2 KB |
memoize-raw.lisp | -rw-r--r-- | 213.2 KB |
memoize.lisp | -rw-r--r-- | 16.9 KB |
multi-threading-raw.lisp | -rw-r--r-- | 42.8 KB |
new.html | -rw-r--r-- | 2.0 KB |
non-linear.lisp | -rw-r--r-- | 40.8 KB |
openmcl-acl2-trace.lisp | -rw-r--r-- | 8.8 KB |
other-events.lisp | -rw-r--r-- | 1.6 MB |
other-processes.lisp | -rw-r--r-- | 105.1 KB |
other-releases.html | -rw-r--r-- | 5.5 KB |
parallel-raw.lisp | -rw-r--r-- | 59.9 KB |
parallel.lisp | -rw-r--r-- | 40.8 KB |
proof-builder-a.lisp | -rw-r--r-- | 67.9 KB |
proof-builder-b.lisp | -rw-r--r-- | 209.9 KB |
proof-builder-pkg.lisp | -rw-r--r-- | 1.1 KB |
prove.lisp | -rw-r--r-- | 426.5 KB |
rewrite.lisp | -rw-r--r-- | 886.2 KB |
save-gprof.lsp | -rw-r--r-- | 13.3 KB |
serialize-raw.lisp | -rw-r--r-- | 66.9 KB |
serialize.lisp | -rw-r--r-- | 3.6 KB |
simplify.lisp | -rw-r--r-- | 433.5 KB |
tau.lisp | -rw-r--r-- | 570.3 KB |
translate.lisp | -rw-r--r-- | 1.1 MB |
type-set-a.lisp | -rw-r--r-- | 40.5 KB |
type-set-b.lisp | -rw-r--r-- | 552.0 KB |
workshops.html | -rw-r--r-- | 8.0 KB |