-
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
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!
Adding no:label will show everything without a label.