| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -42/+0 | |
| 2022-11-18 | On overflow errors, do not print out long types | Esteban Küber | -0/+1 | |
| 2022-06-21 | Perform wf checking per module. | Camille GILLOT | -3/+3 | |
| 2022-06-21 | Only keep a single well-formed query. | Camille GILLOT | -3/+0 | |
| 2020-11-18 | Account for indirect cyclic requirements | Esteban Küber | -0/+28 | |
| 2020-02-02 | Use more accurate failed predicate spans | Esteban Küber | -2/+2 | |
| 2019-03-06 | Update tests | John Kåre Alsaker | -0/+1 | |
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 | |
| 2018-08-14 | Merged migrated compile-fail tests and ui tests. Fixes #46841. | David Wood | -0/+25 | |
