aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * renameUnreal Hoang2019-05-162-2/+2
* | Merge #1307bors[bot]2019-05-213-8/+29
|\ \
| * | better profiligAleksey Kladov2019-05-213-8/+29
|/ /
* | Merge #1306bors[bot]2019-05-214-28/+33
|\ \
| * | Fix crash with int vars in canonicalizationFlorian Diebold2019-05-211-1/+6
| * | Use fuel branch for ChalkFlorian Diebold2019-05-213-27/+27
|/ /
* | re-enable chalkAleksey Kladov2019-05-211-17/+16
* | publish gen_lsp_server 0.2Aleksey Kladov2019-05-213-19/+20
* | fix logoAleksey Kladov2019-05-211-1/+1
* | Merge #1299bors[bot]2019-05-213-14/+149
|\ \
| * | Address feedbackLaurențiu Nicola2019-05-213-35/+32
| * | Use ThemeColor and add support for light themesLaurențiu Nicola2019-05-213-14/+152
* | | Merge #1302bors[bot]2019-05-215-3/+8
|\ \ \
| * | | profile type inferenceAleksey Kladov2019-05-214-3/+6
| * | | profile implements queryAleksey Kladov2019-05-211-0/+2
|/ / /
* | | Merge #1301bors[bot]2019-05-212-7/+15
|\ \ \
| * | | fix odrer-of-iteration bug in testsAleksey Kladov2019-05-212-7/+15
|/ / /
* | | Merge #1300bors[bot]2019-05-216-219/+203
|\ \ \
| * | | sort hash maps for testsAleksey Kladov2019-05-216-219/+203
|/ / /
* | | Merge #1297bors[bot]2019-05-211-1/+2
|\ \ \
| * | | mozilla is sponsoring as wellNiko Matsakis2019-05-211-1/+2
| |/ /
* | | Merge #1296bors[bot]2019-05-213-6/+6
|\ \ \
| * | | :arrow_up: instaAleksey Kladov2019-05-213-6/+6
| |/ /
* | | Merge #1295bors[bot]2019-05-212-6/+6
|\ \ \ | |/ / |/| |
| * | add _query to query functionsAleksey Kladov2019-05-212-6/+6
|/ /
* | Merge #1293bors[bot]2019-05-211-1/+1
|\ \
| * | Pass `--all-targets` to `cargo watch`Aleksi Juvani2019-05-211-1/+1
|/ /
* | Merge #1291bors[bot]2019-05-203-21/+33
|\ \
| * | add is_union to structs ASTAleksey Kladov2019-05-201-1/+17
| * | remove minor code duplicationAleksey Kladov2019-05-202-20/+16
|/ /
* | Merge #1289bors[bot]2019-05-201-38/+39
|\ \
| * | simplifyAleksey Kladov2019-05-201-38/+39
* | | Merge #1287bors[bot]2019-05-202-1/+19
|\ \ \ | |/ / |/| |
| * | Fix match literalEdwin Cheng2019-05-202-1/+19
* | | Merge #1288bors[bot]2019-05-201-1/+4
|\ \ \ | |/ / |/| |
| * | output the progress for realAleksey Kladov2019-05-201-1/+4
|/ /
* | Merge #1286bors[bot]2019-05-205-17/+86
|\ \
| * | Use normal iteration instead of walk_mutEdwin Cheng2019-05-201-8/+5
| * | Add infer for generic default typeEdwin Cheng2019-05-194-15/+80
| * | Add default type to GenericParamEdwin Cheng2019-05-191-3/+10
| |/
* | Merge #1284bors[bot]2019-05-181-3/+4
|\ \
| * | Assert that DB is unwind-safe, instead of provingAleksey Kladov2019-05-181-3/+4
|/ /
* | Merge #1280bors[bot]2019-05-153-46/+33
|\ \
| * | :arrow_up: text_unitAleksey Kladov2019-05-153-46/+33
|/ /
* | Merge #1278bors[bot]2019-05-1540-626/+622
|\ \ | |/ |/|
| * apply T! macro where it is possibleSergey Parilin2019-05-1538-623/+619
| * fixed macro for bracketsSergey Parilin2019-05-152-3/+3
|/
* Merge #1273bors[bot]2019-05-142-3/+8
|\
| * show current function in analysis-stats progress barAleksey Kladov2019-05-142-3/+8
|/
* Merge #1267bors[bot]2019-05-149-43/+68
|\