https://github.com/acl2/acl2
Tip revision: 62ab58991e9f143f5159b83416df327dc410da1d authored by ACL2 Build Server on 28 August 2024, 17:00:09 UTC
Merge commit '1c6530c0dea034dc8155cc03402dd5cefac3ce53' into HEAD
Merge commit '1c6530c0dea034dc8155cc03402dd5cefac3ce53' into HEAD
Tip revision: 62ab589
| File | Mode | Size |
|---|---|---|
| acl2-customization-files | ||
| bin | ||
| books | ||
| doc | ||
| emacs | ||
| graphics | ||
| installation | ||
| .gitignore | -rw-r--r-- | 464 bytes |
| GNUmakefile | -rw-r--r-- | 38.7 KB |
| LICENSE | -rw-r--r-- | 2.0 KB |
| Makefile | -rw-r--r-- | 1.5 KB |
| README.md | -rw-r--r-- | 4.9 KB |
| acl2-characters | -rw-r--r-- | 256 bytes |
| acl2-check.lisp | -rw-r--r-- | 16.1 KB |
| acl2-fns.lisp | -rw-r--r-- | 96.3 KB |
| acl2-init.lisp | -rw-r--r-- | 102.9 KB |
| acl2.lisp | -rw-r--r-- | 118.7 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-- | 46.6 KB |
| apply-raw.lisp | -rw-r--r-- | 187.1 KB |
| apply.lisp | -rw-r--r-- | 146.8 KB |
| axioms.lisp | -rw-r--r-- | 1.1 MB |
| basis-a.lisp | -rw-r--r-- | 449.7 KB |
| basis-b.lisp | -rw-r--r-- | 174.9 KB |
| bdd.lisp | -rw-r--r-- | 131.9 KB |
| boot-strap-pass-2-a.lisp | -rw-r--r-- | 57.0 KB |
| boot-strap-pass-2-b.lisp | -rw-r--r-- | 31.3 KB |
| build-allegro-exe.cl | -rw-r--r-- | 3.3 KB |
| defpkgs.lisp | -rw-r--r-- | 33.0 KB |
| defthm.lisp | -rw-r--r-- | 557.2 KB |
| defuns.lisp | -rw-r--r-- | 561.6 KB |
| doc.lisp | -rw-r--r-- | 7.3 MB |
| float-a.lisp | -rw-r--r-- | 37.1 KB |
| float-b.lisp | -rw-r--r-- | 15.9 KB |
| float-raw.lisp | -rw-r--r-- | 12.2 KB |
| futures-raw.lisp | -rw-r--r-- | 57.1 KB |
| history-management.lisp | -rw-r--r-- | 804.9 KB |
| hons-raw.lisp | -rw-r--r-- | 176.5 KB |
| hons.lisp | -rw-r--r-- | 9.4 KB |
| induct.lisp | -rw-r--r-- | 316.3 KB |
| init.lisp | -rw-r--r-- | 4.1 KB |
| interface-raw.lisp | -rw-r--r-- | 498.7 KB |
| ld.lisp | -rw-r--r-- | 229.4 KB |
| linear-a.lisp | -rw-r--r-- | 149.5 KB |
| linear-b.lisp | -rw-r--r-- | 42.9 KB |
| mcl-acl2-startup.lisp | -rw-r--r-- | 5.2 KB |
| memoize-raw.lisp | -rw-r--r-- | 214.1 KB |
| memoize.lisp | -rw-r--r-- | 17.2 KB |
| multi-threading-raw.lisp | -rw-r--r-- | 42.8 KB |
| new.html | -rw-r--r-- | 1.8 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.6 KB |
| other-releases.html | -rw-r--r-- | 5.8 KB |
| parallel-raw.lisp | -rw-r--r-- | 59.9 KB |
| parallel.lisp | -rw-r--r-- | 40.6 KB |
| proof-builder-a.lisp | -rw-r--r-- | 68.0 KB |
| proof-builder-b.lisp | -rw-r--r-- | 211.9 KB |
| proof-builder-pkg.lisp | -rw-r--r-- | 1.2 KB |
| prove.lisp | -rw-r--r-- | 361.9 KB |
| rewrite.lisp | -rw-r--r-- | 1.0 MB |
| 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-- | 439.0 KB |
| tau.lisp | -rw-r--r-- | 571.3 KB |
| translate.lisp | -rw-r--r-- | 1.2 MB |
| type-set-a.lisp | -rw-r--r-- | 40.5 KB |
| type-set-b.lisp | -rw-r--r-- | 564.4 KB |
| workshops.html | -rw-r--r-- | 6.6 KB |
