-
Notifications
You must be signed in to change notification settings - Fork 114
Pull requests: acl2/acl2
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
bibtex parser to XDOC documentation for ACL2 workshops
#1800
opened Jul 11, 2025 by
akitaki79
Loading…
added sub-imm.c with 4 configs of sub imm op properties
#1799
opened Jul 10, 2025 by
vsdarshan-formal
Loading…
[doc] Remove text about manual needing glucose.
#1791
opened Jul 2, 2025 by
ericwhitmansmith
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.