Commits
Showing commits that first shipped in 18 (backpatches included). Clear
| Date | Subject | Author | Releases |
|---|---|---|---|
| 2025-04-04 | Make derived clause lookup in EquivalenceClass more efficient | Amit Langote | 18.0 |
| 2025-04-04 | Add assertion to verify derived clause has constant RHS | Amit Langote | 18.0 |