-
Notifications
You must be signed in to change notification settings - Fork 109
Insights: acl2/acl2
Overview
-
- 10 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
10 Pull requests merged by 6 people
-
Update BibTeX workshop references to cover 2018-2023 workshops
#1766 merged
May 16, 2025 -
[FTY] Add
deffold-map#1764 merged
May 13, 2025 -
[utilities] Drop unneeded includes.
#1763 merged
May 5, 2025 -
[workshop] Fix certification script for 2025/medley-manolios.
#1762 merged
May 4, 2025 -
[workshop] Adding supporting materials for 2025 workshop paper 7 "RV32I in ACL2"
#1761 merged
May 3, 2025 -
[workshop] Add Cellular Automata Surviving k Steps.
#1760 merged
May 3, 2025 -
Book for Correctness of Floodsub. Fixed error during build.
#1759 merged
May 1, 2025 -
Book for "A Formalization of the Correctness of the Floodsub Protocol"
#1758 merged
Apr 30, 2025 -
Add
abc.historyto gitignore#1756 merged
Apr 30, 2025 -
[workshop] Add workshop supplemental files for "An ACL2s Interface to Z3"
#1755 merged
Apr 30, 2025
1 Issue closed by 1 person
-
Testing Branch Build Failure
#1765 closed
May 21, 2025