Skip to content

Pull requests: egraphs-good/egg

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
Sort

Pull requests list

Replace fxhash with rustc-hash
#336 opened Sep 27, 2024 by VitalyAnkh Loading…
Remove Existence Explanations
#333 opened Aug 20, 2024 by oflatt Loading…
remove clone requirement on fold
#326 opened Jul 29, 2024 by mtak- Loading…
remove hashbrown from id_to_pattern API
#324 opened Jul 29, 2024 by mtak- Loading…
Push Pop API
#300 opened Feb 13, 2024 by dewert99 Draft
Extracted out RawEGraph type
#296 opened Feb 6, 2024 by dewert99 Draft
Added push/pop API
#290 opened Jan 2, 2024 by dewert99 Draft
ProTip! Updated in the last three days: updated:>2024-12-22.