| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-03-22 | remove redundant closures (clippy::redundant_closure) | Matthias Krüger | -1/+1 |
| 2020-03-06 | fix various typos | Matthias Krüger | -2/+2 |
| 2020-02-12 | Use a counter instead of pointers to the stack | John Kåre Alsaker | -2/+11 |
| 2020-01-11 | Lift using interners instead of in_arena | John Kåre Alsaker | -0/+14 |
| 2019-12-22 | Format the world | Mark Rousskov | -20/+15 |
| 2019-11-04 | Avoid hashing the key twice in `get_query()`. | Nicholas Nethercote | -0/+6 |
| 2019-10-21 | Remove unnecessary `Hash` bounds from various types. | Nicholas Nethercote | -1/+1 |
| 2019-10-17 | Use a sharded dep node to dep node index map | John Kåre Alsaker | -7/+23 |
| 2019-07-19 | Use sharded maps for interning | John Kåre Alsaker | -0/+128 |
