Messages on October 26, 2022
2 messages0 started threads1 replied (own)1 replied (other)1 other threads0 first patch0 follow-up patch
| Activity | Thread | Sent |
|---|---|---|
| Replied (own) | Reducing duplicativeness of EquivalenceClass-derived clauses | over 3 years ago |
| Replied (other) | generated columns bug, see inconsistent data | over 3 years ago |