Skip to content

Pull requests: egraphs-good/egg

New pull request New
10 Open 106 Closed
10 Open 106 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add data field in runner to solve hook ownership issues
#337 opened Oct 22, 2024 by Bastacyclop Loading…
Replace fxhash with rustc-hash
#336 opened Sep 27, 2024 by VitalyAnkh Loading…
Remove Existence Explanations
#333 opened Aug 20, 2024 by oflatt Loading…
1
remove clone requirement on fold
#326 opened Jul 29, 2024 by mtak- Loading…
RecExpr Deref/DerefMut=[L]. also convenience methods and trait impls
#325 opened Jul 29, 2024 by mtak- Loading…
remove hashbrown from id_to_pattern API
#324 opened Jul 29, 2024 by mtak- Loading…
feat: support generics with define_language macro
#318 opened Jun 24, 2024 by kayagokalp Loading…
3
Push Pop API
#300 opened Feb 13, 2024 by dewert99 • Draft
Extracted out RawEGraph type
#296 opened Feb 6, 2024 by dewert99 • Draft
18
Added push/pop API
#290 opened Jan 2, 2024 by dewert99 • Draft
ProTip! Filter pull requests by the default branch with base:main.