Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | don't poison mutex around chalk | Aleksey Kladov | 2019-06-01 | 2 | -3/+5 | |
* | | | Merge #1358 | bors[bot] | 2019-06-01 | 7 | -91/+94 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | apply profile filter to top-level entries only | Aleksey Kladov | 2019-06-01 | 1 | -7/+6 | |
| * | | rename | Aleksey Kladov | 2019-06-01 | 6 | -80/+86 | |
| * | | move subs inside | Aleksey Kladov | 2019-06-01 | 1 | -4/+2 | |
|/ / | ||||||
* | | Merge #1356 | bors[bot] | 2019-05-31 | 5 | -187/+263 | |
|\ \ | |/ |/| | ||||||
| * | use sync queries for join lines and friends | Aleksey Kladov | 2019-05-31 | 1 | -5/+11 | |
| * | add sync requests | Aleksey Kladov | 2019-05-31 | 2 | -43/+56 | |
| * | cleanup | Aleksey Kladov | 2019-05-31 | 1 | -39/+42 | |
| * | cleanup | Aleksey Kladov | 2019-05-31 | 1 | -35/+48 | |
| * | simplify | Aleksey Kladov | 2019-05-31 | 1 | -51/+52 | |
| * | move completed requests to a separate file | Aleksey Kladov | 2019-05-31 | 5 | -80/+114 | |
| * | simplify | Aleksey Kladov | 2019-05-31 | 1 | -3/+3 | |
| * | introduce constant | Aleksey Kladov | 2019-05-31 | 1 | -7/+13 | |
| * | minor | Aleksey Kladov | 2019-05-31 | 1 | -1/+1 | |
|/ | ||||||
* | Merge #1354 | bors[bot] | 2019-05-31 | 1 | -2/+8 | |
|\ | ||||||
| * | Sort hover results in tests | Laurențiu Nicola | 2019-05-30 | 1 | -2/+8 | |
|/ | ||||||
* | Merge #1353 | bors[bot] | 2019-05-30 | 1 | -1/+1 | |
|\ | ||||||
| * | Fix typo docs/user/README.md | Andrew Chin | 2019-05-30 | 1 | -1/+1 | |
|/ | ||||||
* | Merge #1352 | bors[bot] | 2019-05-30 | 21 | -118/+261 | |
|\ | ||||||
| * | update ra_ide_api to use builtins | Aleksey Kladov | 2019-05-30 | 8 | -55/+82 | |
| * | add tests for primitive types | Aleksey Kladov | 2019-05-30 | 5 | -30/+44 | |
| * | add built-in types to scopes | Aleksey Kladov | 2019-05-30 | 7 | -24/+49 | |
| * | add list of builtin types | Aleksey Kladov | 2019-05-30 | 2 | -3/+29 | |
| * | add ModuleDef::BuiltInType | Aleksey Kladov | 2019-05-30 | 5 | -10/+61 | |
|/ | ||||||
* | Merge #1351 | bors[bot] | 2019-05-30 | 3 | -8/+7 | |
|\ | ||||||
| * | switch to upstream salsa | Aleksey Kladov | 2019-05-30 | 3 | -8/+7 | |
* | | Merge #1350 | bors[bot] | 2019-05-30 | 7 | -88/+35 | |
|\| | ||||||
| * | :arrow_up: parking_lot | Aleksey Kladov | 2019-05-30 | 7 | -88/+35 | |
* | | Merge #1347 | bors[bot] | 2019-05-30 | 1 | -0/+34 | |
|\ \ | |/ |/| | ||||||
| * | Add status buffer function to emacs integration | Florian Diebold | 2019-05-29 | 1 | -0/+34 | |
* | | Merge #1349 | bors[bot] | 2019-05-30 | 1 | -1/+1 | |
|\ \ | ||||||
| * | | don't remove tools from cache | Aleksey Kladov | 2019-05-30 | 1 | -1/+1 | |
* | | | Merge #1348 | bors[bot] | 2019-05-30 | 1 | -0/+5 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | cancel salsa's validation | Aleksey Kladov | 2019-05-30 | 1 | -0/+5 | |
|/ / | ||||||
* | | Merge #1346 | bors[bot] | 2019-05-29 | 5 | -2/+5 | |
|\ \ | ||||||
| * | | bump timeout for CI | Aleksey Kladov | 2019-05-29 | 1 | -1/+1 | |
| * | | add cacellation checks to expensive queries | Aleksey Kladov | 2019-05-29 | 3 | -0/+3 | |
| * | | less noisy status | Aleksey Kladov | 2019-05-29 | 1 | -1/+1 | |
| |/ | ||||||
* | | Merge #1344 | bors[bot] | 2019-05-29 | 2 | -42/+55 | |
|\ \ | |/ |/| | ||||||
| * | Highlight primitive types | Laurențiu Nicola | 2019-05-29 | 2 | -42/+55 | |
|/ | ||||||
* | Merge #1343 | bors[bot] | 2019-05-29 | 2 | -3/+16 | |
|\ | ||||||
| * | optimization: cancel backlog in onEnter | Aleksey Kladov | 2019-05-29 | 2 | -3/+16 | |
* | | Merge #1342 | bors[bot] | 2019-05-29 | 3 | -12/+67 | |
|\| | ||||||
| * | add latest requests to status page | Aleksey Kladov | 2019-05-29 | 3 | -12/+67 | |
* | | Merge #1341 | bors[bot] | 2019-05-29 | 1 | -19/+42 | |
|\| | ||||||
| * | log the actual time of requests | Aleksey Kladov | 2019-05-29 | 1 | -16/+31 | |
| * | trigger garbage collection *after* requests, not before | Aleksey Kladov | 2019-05-29 | 1 | -2/+5 | |
| * | more perf logging | Aleksey Kladov | 2019-05-29 | 1 | -3/+8 | |
|/ | ||||||
* | Merge #1339 | bors[bot] | 2019-05-29 | 47 | -297/+307 | |
|\ |