aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2457bors[bot]2019-12-021-5/+10
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add back corrected `cargo install` commandJonathan Behrens2019-12-011-8/+8
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Clarify installation instructionsJonathan Behrens2019-12-011-10/+15
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2461bors[bot]2019-12-011-43/+43
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Just update some thingsJeremy Kolb2019-12-011-43/+43
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2455bors[bot]2019-12-017-32/+139
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove some empty linesEdwin Cheng2019-12-011-2/+0
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use index instead of peekableEdwin Cheng2019-12-011-35/+19
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix commentEdwin Cheng2019-12-011-2/+1
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add BuiltinShadowModeEdwin Cheng2019-11-307-31/+157
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2451bors[bot]2019-11-308-75/+28
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove log dependency from ra_cliAlexander Ekdahl2019-11-302-2/+0
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update READMEAlexander Ekdahl2019-11-301-3/+2
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove flexi_logger from ra_lsp_serverAlexander Ekdahl2019-11-306-73/+5
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use env_logger in ra_cliAlexander Ekdahl2019-11-303-4/+28
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2453bors[bot]2019-11-308-63/+102
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add cycle recovery for type aliasesFlorian Diebold2019-11-303-2/+10
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add cycle recovery for generic predicatesFlorian Diebold2019-11-303-8/+10
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Handle cycles in impl types betterFlorian Diebold2019-11-308-53/+82
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2449bors[bot]2019-11-302-3/+51
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Push identifier check to rename functionWilco Kusee2019-11-292-9/+9
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Test rename for various identifiersWilco Kusee2019-11-291-0/+43
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Move identifier check to analysisWilco Kusee2019-11-292-12/+9
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Also allow renaming to underscoreWilco Kusee2019-11-291-1/+3
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Only allow renames to valid identifiersWilco Kusee2019-11-291-1/+7
| | |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2445bors[bot]2019-11-297-1/+185
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Reduce variants of Exproxalica2019-11-293-77/+56
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Infer range typesoxalica2019-11-287-4/+209
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2442bors[bot]2019-11-2810-60/+77
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Move source-related traits to a separate moduleAleksey Kladov2019-11-2810-60/+77
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2441bors[bot]2019-11-286-47/+16
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use InFile for AstIdAleksey Kladov2019-11-286-47/+16
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2440bors[bot]2019-11-2836-189/+189
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Rename Source -> InFileAleksey Kladov2019-11-2836-189/+189
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2438bors[bot]2019-11-281-8/+8
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Derive Hash for TokenTreesEdwin Cheng2019-11-281-8/+8
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2437bors[bot]2019-11-271-7/+8
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update mio and anyhowkjeremy2019-11-271-7/+8
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2433bors[bot]2019-11-277-52/+33
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use Name::missing consistentlyAleksey Kladov2019-11-277-52/+33
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2432bors[bot]2019-11-272-16/+4
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Minimize APIAleksey Kladov2019-11-272-16/+4
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2431bors[bot]2019-11-277-75/+76
|\| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Memoize impl resolutionsAleksey Kladov2019-11-277-75/+76
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2430bors[bot]2019-11-2794-100/+97
|\| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ReformatAleksey Kladov2019-11-273-10/+7
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | rename ra_ide_api -> ra_ideAleksey Kladov2019-11-2781-48/+48
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Rename module_id -> local_idAleksey Kladov2019-11-2713-47/+47
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge #2429bors[bot]2019-11-2737-1582/+1629
|\| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | prune depsAleksey Kladov2019-11-274-47/+12