-
Notifications
You must be signed in to change notification settings - Fork 13
Pull requests: alt-romes/hegg
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
documentation: Fix README example and make imports clearer.
#48
opened Dec 21, 2025 by
mchav
Loading…
Saturation: Ensure that banned rules are retried on saturation
#46
opened Dec 11, 2025 by
bgamari
Loading…
Allow equality saturation to be applied to type-indexed expressions
#44
opened Dec 9, 2025 by
jwiegley
Loading…
Add new tests for Jacobi elliptic function simplification.
#22
opened Jun 12, 2023 by
NadiaYvette
Loading…
Draft: {find,canonicalize} vs unsafe{Find,Canonicalize}
#12
opened Aug 28, 2022 by
alt-romes
Loading…
ProTip!
What’s not been updated in a month: updated:<2025-11-26.