| Age | Commit message (Collapse) | 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 | |
| These need to only be bounds to avoid cycle errors in trait checking. | ||||
| 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 | |
