acl2 version history (formula)
acl2
formula 61 versions
since Jul 2020
~30 days between updates
Track acl2 — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 8.7 | 2026-05-30 | c5b736960 |
| 8.7 | 2026-04-30 | 67cf3b18e |
| 8.7 | 2026-03-29 | 675786691 |
| 8.7 | 2026-03-27 | 8220bc498 |
| 8.6 | 2026-03-17 | b2c790487 |
| 8.6 | 2026-01-27 | a7991e15e |
| 8.6 | 2026-01-26 | 519749837 |
| 8.6 | 2025-10-27 | 1ba406d8d |
| 8.6 | 2025-09-29 | 6e3fd20a5 |
| 8.6 | 2025-08-29 | 30b6c711b |
| 8.6 | 2025-07-26 | 6b689bcae |
| 8.6 | 2025-06-30 | f0d1e032f |
| 8.6 | 2025-05-31 | fef7dce96 |
| 8.6 | 2025-04-28 | f15393e79 |
| 8.6 | 2025-03-30 | 4cc9a22e2 |
| 8.6 | 2025-02-28 | de70f66a0 |
| 8.6 | 2025-01-31 | 0fb38ddf8 |
| 8.6 | 2024-12-29 | 2b1e8cd6f |
| 8.6 | 2024-11-30 | 2591e963c |
| 8.6 | 2024-10-31 | 2b0626450 |
| 8.6 | 2024-10-14 | 55ad04228 |
| 8.5 | 2024-09-30 | 0bade344b |
| 8.5 | 2024-08-29 | fc44ab05b |
| 8.5 | 2024-07-27 | d43456a11 |
| 8.5 | 2024-06-28 | 7e1e2a078 |
| 8.5 | 2024-05-30 | 4636dd7cf |
| 8.5 | 2024-04-30 | 2c0a95994 |
| 8.5 | 2024-02-29 | 763fb78b1 |
| 8.5 | 2024-01-28 | 639bb432b |
| 8.5 | 2023-12-28 | 95dc5ba0a |
| 8.5 | 2023-11-30 | 95e18f409 |
| 8.5 | 2023-10-31 | 78fc0403c |
| 8.5 | 2023-09-29 | 4f9a15067 |
| 8.5 | 2023-09-03 | 8cc16fc06 |
| 8.5 | 2023-04-30 | 16dd88a64 |
| 8.5 | 2023-03-28 | cc9a3c234 |
| 8.5 | 2023-02-26 | e97171a24 |
| 8.5 | 2023-01-28 | 96ceb58d7 |
| 8.5 | 2022-12-29 | e9804bb11 |
| 8.5 | 2022-11-29 | 0e8babb86 |
| 8.5 | 2022-11-01 | e87695b66 |
| 8.5 | 2022-10-02 | f80718996 |
| 8.5 | 2022-09-17 | 7c532451f |
| 8.5 | 2022-07-23 | ff83f6c6e |
| 8.4 | 2022-07-03 | 385d19662 |
| 8.4 | 2022-05-31 | e53dfae6e |
| 8.4 | 2022-05-13 | 9b584a82d |
| 8.3 | 2022-03-08 | 450c30640 |
| 8.3 | 2021-09-28 | ab6c46f7d |
| 8.3 | 2021-08-30 | 42d8288f0 |
| 8.3 | 2021-07-30 | 47fd2c99a |
| 8.3 | 2021-06-29 | 5f52caf96 |
| 8.3 | 2021-06-01 | 77ebbe878 |
| 8.3 | 2021-04-29 | edd3a488f |
| 8.3 | 2021-03-30 | 1c8fe2441 |
| 8.3 | 2021-03-03 | 5a4c3e5d9 |
| 8.3 | 2020-11-29 | 36ca81b08 |
| 8.3 | 2020-10-31 | 2be52649e |
| 8.3 | 2020-10-01 | a98d3eb42 |
| 8.3 | 2020-09-02 | f6164f903 |
| 8.3 | 2020-07-18 | b0e63e57c |