aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Expand)AuthorAgeFilesLines
...
* | Fix crash with int vars in canonicalizationFlorian Diebold2019-05-211-1/+6
* | Use fuel branch for ChalkFlorian Diebold2019-05-212-4/+4
* | re-enable chalkAleksey Kladov2019-05-211-17/+16
* | publish gen_lsp_server 0.2Aleksey Kladov2019-05-212-17/+18
* | Merge #1299bors[bot]2019-05-211-1/+18
|\ \
| * | Address feedbackLaurențiu Nicola2019-05-211-4/+11
| * | Use ThemeColor and add support for light themesLaurențiu Nicola2019-05-211-1/+11
* | | profile type inferenceAleksey Kladov2019-05-214-3/+6
* | | profile implements queryAleksey Kladov2019-05-211-0/+2
* | | fix odrer-of-iteration bug in testsAleksey Kladov2019-05-212-7/+15
* | | sort hash maps for testsAleksey Kladov2019-05-215-212/+196
* | | Merge #1296bors[bot]2019-05-212-2/+2
|\ \ \
| * | | :arrow_up: instaAleksey Kladov2019-05-212-2/+2
| |/ /
* / / add _query to query functionsAleksey Kladov2019-05-212-6/+6
|/ /
* | 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
* | | 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
| |/
* | Assert that DB is unwind-safe, instead of provingAleksey Kladov2019-05-181-3/+4
* | :arrow_up: text_unitAleksey Kladov2019-05-152-40/+27
* | apply T! macro where it is possibleSergey Parilin2019-05-1538-623/+619
* | fixed macro for bracketsSergey Parilin2019-05-152-3/+3
|/
* show current function in analysis-stats progress barAleksey Kladov2019-05-142-3/+8
* allow expanding expressionsAleksey Kladov2019-05-142-7/+8
* expand to syntax nodeAleksey Kladov2019-05-146-26/+33
* store macro kind in HirFileIdAleksey Kladov2019-05-144-21/+38
* Merge #1272bors[bot]2019-05-141-0/+46
|\
| * Error out non single root token tree conversionEdwin Cheng2019-05-141-0/+46
* | Merge #1271bors[bot]2019-05-1311-24/+29
|\ \
| * | make AstId untypedAleksey Kladov2019-05-1311-24/+29
* | | Increase Chalk solver max_size back to 4Florian Diebold2019-05-131-1/+1
|/ /
* | Merge #1257bors[bot]2019-05-136-1/+114
|\ \ | |/ |/|
| * Implemented T! macro for syntax kindsSergey Parilin2019-05-136-1/+114
* | simplifyAleksey Kladov2019-05-125-34/+12
* | simplifyAleksey Kladov2019-05-122-8/+7
* | Use traits from prelude for method resolutionFlorian Diebold2019-05-123-14/+42
* | Blacklist some traits from being considered in where clausesFlorian Diebold2019-05-122-7/+34
* | Fix impl blocks with unresolved target trait being treated as inherent implsFlorian Diebold2019-05-121-5/+7
* | Merge #1265bors[bot]2019-05-122-34/+7
|\ \
| * | drop obsolete render test subcommandAleksey Kladov2019-05-121-30/+1
| * | allow to specify path in analysis-statsAleksey Kladov2019-05-122-4/+6
* | | Add support for inline boundsFlorian Diebold2019-05-112-16/+60
* | | Handle auto traits & negative implsFlorian Diebold2019-05-115-7/+47