Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | Increase Chalk solver max_size back to 4 | Florian Diebold | 2019-05-13 | 1 | -1/+1 | |
|/ / | ||||||
* | | Merge #1257 | bors[bot] | 2019-05-13 | 6 | -1/+114 | |
|\ \ | |/ |/| | ||||||
| * | Implemented T! macro for syntax kinds | Sergey Parilin | 2019-05-13 | 6 | -1/+114 | |
* | | Merge #1268 | bors[bot] | 2019-05-12 | 5 | -38/+15 | |
|\ \ | ||||||
| * | | simplify | Aleksey Kladov | 2019-05-12 | 5 | -34/+12 | |
| * | | simplify | Aleksey Kladov | 2019-05-12 | 2 | -8/+7 | |
|/ / | ||||||
* | | Merge #1266 | bors[bot] | 2019-05-12 | 4 | -26/+83 | |
|\ \ | ||||||
| * | | Use traits from prelude for method resolution | Florian Diebold | 2019-05-12 | 3 | -14/+42 | |
| * | | Blacklist some traits from being considered in where clauses | Florian Diebold | 2019-05-12 | 2 | -7/+34 | |
| * | | Fix impl blocks with unresolved target trait being treated as inherent impls | Florian Diebold | 2019-05-12 | 1 | -5/+7 | |
|/ / | ||||||
* | | Merge #1265 | bors[bot] | 2019-05-12 | 2 | -34/+7 | |
|\ \ | ||||||
| * | | drop obsolete render test subcommand | Aleksey Kladov | 2019-05-12 | 1 | -30/+1 | |
| * | | allow to specify path in analysis-stats | Aleksey Kladov | 2019-05-12 | 2 | -4/+6 | |
* | | | Merge #1262 | bors[bot] | 2019-05-12 | 12 | -56/+416 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Add support for inline bounds | Florian Diebold | 2019-05-11 | 2 | -16/+60 | |
| * | | Handle auto traits & negative impls | Florian Diebold | 2019-05-11 | 5 | -7/+47 | |
| * | | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 3 | -3/+42 | |
| * | | Handle Chalk conversion for FnDef | Florian Diebold | 2019-05-11 | 3 | -2/+39 | |
| * | | Handle resolution errors in where clauses | Florian Diebold | 2019-05-11 | 2 | -15/+56 | |
| * | | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 6 | -29/+188 | |
|/ / | ||||||
* | | Merge #1258 | bors[bot] | 2019-05-11 | 1 | -76/+69 | |
|\ \ | ||||||
| * | | cargo update | Jeremy Kolb | 2019-05-09 | 1 | -76/+69 | |
* | | | Merge #1261 | bors[bot] | 2019-05-11 | 1 | -8/+17 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | add manual installation instructions | Aleksey Kladov | 2019-05-11 | 1 | -8/+17 | |
|/ / | ||||||
* | | Merge #1255 | bors[bot] | 2019-05-07 | 5 | -22/+28 | |
|\ \ | ||||||
| * | | switch to once_cell from lazy_static | Aleksey Kladov | 2019-05-07 | 5 | -22/+28 | |
|/ / | ||||||
* | | Merge #1251 | bors[bot] | 2019-05-07 | 7 | -14/+45 | |
|\ \ | ||||||
| * | | Deduplicate impls in impls_for_trait | Florian Diebold | 2019-05-07 | 1 | -2/+3 | |
| * | | Allow targeting a specific function with analysis-stats | Florian Diebold | 2019-05-07 | 2 | -4/+12 | |
| * | | Add a HirDisplay implementation for TraitRef | Florian Diebold | 2019-05-07 | 1 | -0/+17 | |
| * | | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 5 | -8/+13 | |
| |/ | ||||||
* | | Merge #1253 | bors[bot] | 2019-05-07 | 10 | -1201/+620 | |
|\ \ | |/ |/| | ||||||
| * | share literal validation logic with compiler | Aleksey Kladov | 2019-05-07 | 10 | -1201/+620 | |
|/ | ||||||
* | Merge #1163 | bors[bot] | 2019-05-06 | 11 | -246/+269 | |
|\ | ||||||
| * | removed duplicating fill_struct_fields assist | Sergey Parilin | 2019-05-06 | 2 | -228/+0 | |
| * | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 9 | -18/+269 | |
|/ | ||||||
* | Merge #1247 | bors[bot] | 2019-05-05 | 1 | -2/+1 | |
|\ | ||||||
| * | Remove collect | Jeremy Kolb | 2019-05-05 | 1 | -2/+1 | |
|/ | ||||||
* | Merge #1245 | bors[bot] | 2019-05-05 | 1 | -0/+2 | |
|\ | ||||||
| * | Profile diagnostics. | Marco Groppo | 2019-05-05 | 1 | -0/+2 | |
|/ | ||||||
* | Merge #1242 | bors[bot] | 2019-05-05 | 2 | -0/+55 | |
|\ | ||||||
| * | Fixed missing empty vars | Edwin Cheng | 2019-05-05 | 2 | -0/+55 | |
|/ | ||||||
* | Merge #1241 | bors[bot] | 2019-05-04 | 1 | -89/+131 | |
|\ | ||||||
| * | :arrow_up: deps | Aleksey Kladov | 2019-05-04 | 1 | -89/+131 | |
|/ | ||||||
* | Merge #1208 | bors[bot] | 2019-05-04 | 9 | -6/+97 | |
|\ | ||||||
| * | Added local macro goto | Lenard Pratt | 2019-05-04 | 9 | -6/+97 | |
* | | Merge #1216 | bors[bot] | 2019-05-04 | 17 | -280/+1027 | |
|\ \ | ||||||
| * | | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 5 | -15/+25 | |
| * | | Simplify subst / subst_bound_vars a bit | Florian Diebold | 2019-05-04 | 1 | -12/+2 | |
| * | | Handle recursive types in canonicalization | Florian Diebold | 2019-05-04 | 3 | -5/+15 |