-
Notifications
You must be signed in to change notification settings - Fork 36
Pull requests: scallop-lang/scallop
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix
lalrpop-util missing the "lexer" feature under Cargo resolver v2
#63
opened Aug 29, 2026 by
KoenZandvlietAltius
Loading…
docs: add AGENTS.md with project setup, build, test, and style guidance
#62
opened Aug 15, 2026 by
awdemos
Loading…
fix(scallopy): propagate k and wmc_with_disjunctions when cloning into a new provenance
#61
opened Aug 15, 2026 by
awdemos
Loading…
ProTip!
Adding no:label will show everything without a label.