8000 Pull requests · acl2/acl2 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Pull requests: acl2/acl2

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

[doc] Improve :doc community-books.
#1794 opened Jul 8, 2025 by ericwhitmansmith Loading…
Added guards for remaining p1cs functions
#1783 opened Jun 28, 2025 by akitaki79 Loading…
defxdoc :code-source definitional support
#1459 opened Jan 26, 2023 by bendyarm Loading…
ProTip! Exclude everything labeled bug with -label:bug.
0