| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -20/+0 |
| 2022-06-14 | address review | b-naber | -1/+1 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -1/+1 |
| 2020-10-06 | Remove predicates on associated types from traits | Matthew Jasper | -1/+4 |
| 2020-10-06 | Fix tests and bootstrap | Matthew Jasper | -1/+1 |
| 2020-09-19 | Update incremental tests | Oliver Scherer | -1/+1 |
| 2019-02-12 | Set the query in the ImplicitCtxt before trying to mark it green | John Kåre Alsaker | -0/+17 |
