aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * Improve goto definition for MBEEdwin Cheng2019-06-016-9/+55
* | Merge #1359bors[bot]2019-06-012-3/+5
|\ \
| * | don't poison mutex around chalkAleksey Kladov2019-06-012-3/+5
* | | Merge #1358bors[bot]2019-06-017-91/+94
|\ \ \ | |/ / |/| |
| * | apply profile filter to top-level entries onlyAleksey Kladov2019-06-011-7/+6
| * | renameAleksey Kladov2019-06-016-80/+86
| * | move subs insideAleksey Kladov2019-06-011-4/+2
|/ /
* | Merge #1356bors[bot]2019-05-315-187/+263
|\ \ | |/ |/|
| * use sync queries for join lines and friendsAleksey Kladov2019-05-311-5/+11
| * add sync requestsAleksey Kladov2019-05-312-43/+56
| * cleanupAleksey Kladov2019-05-311-39/+42
| * cleanupAleksey Kladov2019-05-311-35/+48
| * simplifyAleksey Kladov2019-05-311-51/+52
| * move completed requests to a separate fileAleksey Kladov2019-05-315-80/+114
| * simplifyAleksey Kladov2019-05-311-3/+3
| * introduce constantAleksey Kladov2019-05-311-7/+13
| * minorAleksey Kladov2019-05-311-1/+1
|/
* Merge #1354bors[bot]2019-05-311-2/+8
|\
| * Sort hover results in testsLaurențiu Nicola2019-05-301-2/+8
|/
* Merge #1353bors[bot]2019-05-301-1/+1
|\
| * Fix typo docs/user/README.mdAndrew Chin2019-05-301-1/+1
|/
* Merge #1352bors[bot]2019-05-3021-118/+261
|\
| * update ra_ide_api to use builtinsAleksey Kladov2019-05-308-55/+82
| * add tests for primitive typesAleksey Kladov2019-05-305-30/+44
| * add built-in types to scopesAleksey Kladov2019-05-307-24/+49
| * add list of builtin typesAleksey Kladov2019-05-302-3/+29
| * add ModuleDef::BuiltInTypeAleksey Kladov2019-05-305-10/+61
|/
* Merge #1351bors[bot]2019-05-303-8/+7
|\
| * switch to upstream salsaAleksey Kladov2019-05-303-8/+7
* | Merge #1350bors[bot]2019-05-307-88/+35
|\|
| * :arrow_up: parking_lotAleksey Kladov2019-05-307-88/+35
* | Merge #1347bors[bot]2019-05-301-0/+34
|\ \ | |/ |/|
| * Add status buffer function to emacs integrationFlorian Diebold2019-05-291-0/+34
* | Merge #1349bors[bot]2019-05-301-1/+1
|\ \
| * | don't remove tools from cacheAleksey Kladov2019-05-301-1/+1
* | | Merge #1348bors[bot]2019-05-301-0/+5
|\ \ \ | |/ / |/| |
| * | cancel salsa's validationAleksey Kladov2019-05-301-0/+5
|/ /
* | Merge #1346bors[bot]2019-05-295-2/+5
|\ \
| * | bump timeout for CIAleksey Kladov2019-05-291-1/+1
| * | add cacellation checks to expensive queriesAleksey Kladov2019-05-293-0/+3
| * | less noisy statusAleksey Kladov2019-05-291-1/+1
| |/
* | Merge #1344bors[bot]2019-05-292-42/+55
|\ \ | |/ |/|
| * Highlight primitive typesLaurențiu Nicola2019-05-292-42/+55
|/
* Merge #1343bors[bot]2019-05-292-3/+16
|\
| * optimization: cancel backlog in onEnterAleksey Kladov2019-05-292-3/+16
* | Merge #1342bors[bot]2019-05-293-12/+67
|\|
| * add latest requests to status pageAleksey Kladov2019-05-293-12/+67
* | Merge #1341bors[bot]2019-05-291-19/+42
|\|
| * log the actual time of requestsAleksey Kladov2019-05-291-16/+31
| * trigger garbage collection *after* requests, not beforeAleksey Kladov2019-05-291-2/+5