Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Special-case item attributes in the suggestion output | Esteban Küber | 2023-04-12 | 2 | -2/+0 |
* | Tweak output for 'add line' suggestion | Esteban Küber | 2023-04-12 | 2 | -2/+4 |
* | Only point at impl self ty in WF if trait predicate shares self ty | Michael Goulet | 2023-01-12 | 1 | -4/+4 |
* | Point at impl self type for impl wf obligations | Michael Goulet | 2023-01-12 | 1 | -18/+18 |
* | Move /src/test to /tests | Albert Larsan | 2023-01-11 | 20 | -0/+813 |