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 |
