Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | 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 | |
|\ | ||||||
| * | silnce profiling in tests | Aleksey Kladov | 2019-05-29 | 1 | -1/+2 | |
| * | flip Into to From | Aleksey Kladov | 2019-05-29 | 1 | -6/+6 | |
| * | show error offsets in tests | Aleksey Kladov | 2019-05-29 | 46 | -290/+299 | |
|/ | ||||||
* | Merge #1337 | bors[bot] | 2019-05-29 | 89 | -687/+705 | |
|\ | ||||||
| * | fix todo | Aleksey Kladov | 2019-05-28 | 1 | -3/+0 | |
| * | fix typos in mbe tests | Aleksey Kladov | 2019-05-28 | 29 | -91/+92 | |
| * | fix syntax errors in tests | Aleksey Kladov | 2019-05-28 | 7 | -121/+137 | |
| * | move mbe to the new API | Aleksey Kladov | 2019-05-28 | 3 | -73/+73 | |
| * | remove old parsing methods | Aleksey Kladov | 2019-05-28 | 7 | -62/+54 |