Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | Add cycle recovery for type aliases | Florian Diebold | 2019-11-30 | 3 | -2/+10 | |
| * | | | | Add cycle recovery for generic predicates | Florian Diebold | 2019-11-30 | 3 | -8/+10 | |
| * | | | | Handle cycles in impl types better | Florian Diebold | 2019-11-30 | 8 | -53/+82 | |
|/ / / / | ||||||
* | | | | Merge #2449 | bors[bot] | 2019-11-30 | 2 | -3/+51 | |
|\ \ \ \ | ||||||
| * | | | | Push identifier check to rename function | Wilco Kusee | 2019-11-29 | 2 | -9/+9 | |
| * | | | | Test rename for various identifiers | Wilco Kusee | 2019-11-29 | 1 | -0/+43 | |
| * | | | | Move identifier check to analysis | Wilco Kusee | 2019-11-29 | 2 | -12/+9 | |
| * | | | | Also allow renaming to underscore | Wilco Kusee | 2019-11-29 | 1 | -1/+3 | |
| * | | | | Only allow renames to valid identifiers | Wilco Kusee | 2019-11-29 | 1 | -1/+7 | |
| | |/ / | |/| | | ||||||
* | | | | Merge #2445 | bors[bot] | 2019-11-29 | 7 | -1/+185 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Reduce variants of Expr | oxalica | 2019-11-29 | 3 | -77/+56 | |
| * | | | Infer range types | oxalica | 2019-11-28 | 7 | -4/+209 | |
|/ / / | ||||||
* | | | Merge #2442 | bors[bot] | 2019-11-28 | 10 | -60/+77 | |
|\ \ \ | ||||||
| * | | | Move source-related traits to a separate module | Aleksey Kladov | 2019-11-28 | 10 | -60/+77 | |
|/ / / | ||||||
* | | | Merge #2441 | bors[bot] | 2019-11-28 | 6 | -47/+16 | |
|\ \ \ | ||||||
| * | | | Use InFile for AstId | Aleksey Kladov | 2019-11-28 | 6 | -47/+16 | |
|/ / / | ||||||
* | | | Merge #2440 | bors[bot] | 2019-11-28 | 36 | -189/+189 | |
|\ \ \ | ||||||
| * | | | Rename Source -> InFile | Aleksey Kladov | 2019-11-28 | 36 | -189/+189 | |
|/ / / | ||||||
* | | | Merge #2438 | bors[bot] | 2019-11-28 | 1 | -8/+8 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Derive Hash for TokenTrees | Edwin Cheng | 2019-11-28 | 1 | -8/+8 | |
|/ / | ||||||
* | | Merge #2437 | bors[bot] | 2019-11-27 | 1 | -7/+8 | |
|\ \ | |/ |/| | ||||||
| * | Update mio and anyhow | kjeremy | 2019-11-27 | 1 | -7/+8 | |
|/ | ||||||
* | Merge #2433 | bors[bot] | 2019-11-27 | 7 | -52/+33 | |
|\ | ||||||
| * | Use Name::missing consistently | Aleksey Kladov | 2019-11-27 | 7 | -52/+33 | |
|/ | ||||||
* | Merge #2432 | bors[bot] | 2019-11-27 | 2 | -16/+4 | |
|\ | ||||||
| * | Minimize API | Aleksey Kladov | 2019-11-27 | 2 | -16/+4 | |
* | | Merge #2431 | bors[bot] | 2019-11-27 | 7 | -75/+76 | |
|\| | ||||||
| * | Memoize impl resolutions | Aleksey Kladov | 2019-11-27 | 7 | -75/+76 | |
* | | Merge #2430 | bors[bot] | 2019-11-27 | 94 | -100/+97 | |
|\| | ||||||
| * | Reformat | Aleksey Kladov | 2019-11-27 | 3 | -10/+7 | |
| * | rename ra_ide_api -> ra_ide | Aleksey Kladov | 2019-11-27 | 81 | -48/+48 | |
| * | Rename module_id -> local_id | Aleksey Kladov | 2019-11-27 | 13 | -47/+47 | |
* | | Merge #2429 | bors[bot] | 2019-11-27 | 37 | -1582/+1629 | |
|\| | ||||||
| * | prune deps | Aleksey Kladov | 2019-11-27 | 4 | -47/+12 | |
| * | Move Ty | Aleksey Kladov | 2019-11-27 | 36 | -1515/+1602 | |
| * | Decouple | Aleksey Kladov | 2019-11-27 | 1 | -20/+15 | |
* | | Merge #2428 | bors[bot] | 2019-11-27 | 12 | -219/+131 | |
|\| | ||||||
| * | Remove TypableDef | Aleksey Kladov | 2019-11-27 | 4 | -98/+7 | |
| * | Cleanup imports | Aleksey Kladov | 2019-11-27 | 2 | -3/+3 | |
| * | Use Id for variats | Aleksey Kladov | 2019-11-27 | 7 | -52/+60 | |
| * | More decoupling | Aleksey Kladov | 2019-11-27 | 4 | -33/+27 | |
| * | Decouple more | Aleksey Kladov | 2019-11-27 | 5 | -40/+41 | |
|/ | ||||||
* | Merge #2427 | bors[bot] | 2019-11-27 | 2 | -24/+32 | |
|\ | ||||||
| * | Decouple | Aleksey Kladov | 2019-11-27 | 2 | -24/+32 | |
* | | Merge #2426 | bors[bot] | 2019-11-27 | 9 | -62/+90 | |
|\| | ||||||
| * | Decouple | Aleksey Kladov | 2019-11-27 | 5 | -49/+71 | |
| * | Cleanup imports | Aleksey Kladov | 2019-11-27 | 5 | -14/+20 | |
* | | Merge #2425 | bors[bot] | 2019-11-27 | 5 | -29/+52 | |
|\| | ||||||
| * | Decouple | Aleksey Kladov | 2019-11-27 | 4 | -11/+24 | |
| * | Decouple | Aleksey Kladov | 2019-11-27 | 3 | -19/+29 |