Age | Commit message (Expand) | Author |
---|---|---|
2021-06-02 | Remove redundant logic ALL_SUPPORTED. (#6664) | Aina Niemetz |
2020-02-07 | Univeset Cardinality constraints for infinite types (#3712) | mudathirmahgoub |
2019-03-29 | Apply empty splits more aggressively in sets+cardinality (#2907) | Andrew Reynolds |