Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Decouple | Aleksey Kladov | 2019-11-27 | 1 | -2/+2 |
* | Decouple | Aleksey Kladov | 2019-11-27 | 1 | -3/+3 |
* | Decouple | Aleksey Kladov | 2019-11-27 | 1 | -3/+3 |
* | Crate -> CrateId | Aleksey Kladov | 2019-11-27 | 1 | -5/+5 |
* | Decouple | Aleksey Kladov | 2019-11-26 | 1 | -8/+8 |
* | Reduce visibility | Aleksey Kladov | 2019-11-26 | 1 | -2/+3 |
* | id-ify impls_in_crate_query | Aleksey Kladov | 2019-11-26 | 1 | -2/+2 |
* | More ids in Ty | Aleksey Kladov | 2019-11-25 | 1 | -2/+3 |
* | Remove ids module | Aleksey Kladov | 2019-11-24 | 1 | -1/+10 |
* | Upgrade Chalk again | Florian Diebold | 2019-11-16 | 1 | -3/+6 |
* | Fix handling of the binders in dyn/impl Trait | Florian Diebold | 2019-11-16 | 1 | -3/+4 |
* | Upgrade Chalk | Florian Diebold | 2019-11-16 | 1 | -1/+12 |
* | Upgrade Chalk (without using its dyn/impl Trait support) | Florian Diebold | 2019-10-26 | 1 | -3/+3 |
* | `.collect()` directly into `Arc<[T]>` | Shotaro Yamada | 2019-10-14 | 1 | -1/+1 |
* | correctly reset chalk state after a panic | Aleksey Kladov | 2019-09-28 | 1 | -6/+9 |
* | replace horrible hack with a slightly less horrible one | Aleksey Kladov | 2019-09-27 | 1 | -0/+3 |
* | Make the closure_1 test work | Florian Diebold | 2019-09-24 | 1 | -0/+8 |
* | Make closures impl closure traits | Florian Diebold | 2019-09-24 | 1 | -1/+35 |
* | Use traits from where clauses for method resolution | Florian Diebold | 2019-09-07 | 1 | -0/+15 |
* | Make type walking infrastructure a bit nicer | Florian Diebold | 2019-09-03 | 1 | -16/+4 |
* | Add support for associated type bindings (`where Trait<Type = X>`) | Florian Diebold | 2019-09-03 | 1 | -0/+27 |
* | implement durability | Aleksey Kladov | 2019-08-15 | 1 | -1/+1 |
* | switch from volatile to untracked read | Aleksey Kladov | 2019-08-15 | 1 | -17/+37 |
* | Improve debug logging a bit | Florian Diebold | 2019-08-12 | 1 | -4/+4 |
* | Switch to Chalk master, without fuel | Florian Diebold | 2019-07-15 | 1 | -1/+1 |
* | Some renamings for clarity | Florian Diebold | 2019-07-14 | 1 | -7/+7 |
* | fix profile name | Aleksey Kladov | 2019-07-09 | 1 | -1/+1 |
* | Unify `normalize` and `implements` to simplify code | Florian Diebold | 2019-07-08 | 1 | -17/+4 |
* | Use environment for associated type normalization as well | Florian Diebold | 2019-07-08 | 1 | -13/+2 |
* | Start handling environment in trait resolution | Florian Diebold | 2019-07-08 | 1 | -3/+5 |
* | Refactor a bit & introduce Environment struct | Florian Diebold | 2019-07-08 | 1 | -8/+23 |
* | add projection to infer for loop variable | Unreal Hoang | 2019-07-07 | 1 | -1/+1 |
* | Add trait obligations for where clauses when calling functions/methods | Florian Diebold | 2019-07-06 | 1 | -1/+10 |
* | Clippy trivially_copy_pass_by_ref | Jeremy Kolb | 2019-07-05 | 1 | -1/+1 |
* | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 1 | -6/+6 |
* | cache chalk queries | Aleksey Kladov | 2019-06-26 | 1 | -1/+1 |
* | Simplifications / cleanup from review | Florian Diebold | 2019-06-16 | 1 | -1/+1 |
* | Implement autoderef using the Deref trait | Florian Diebold | 2019-06-15 | 1 | -2/+2 |
* | Add basic infrastructure for assoc type projection | Florian Diebold | 2019-06-15 | 1 | -1/+32 |
* | check for cancellation when executing queries | Aleksey Kladov | 2019-06-12 | 1 | -1/+0 |
* | don't poison mutex around chalk | Aleksey Kladov | 2019-06-01 | 1 | -2/+3 |
* | add cacellation checks to expensive queries | Aleksey Kladov | 2019-05-29 | 1 | -0/+1 |
* | Use fuel branch for Chalk | Florian Diebold | 2019-05-21 | 1 | -1/+1 |
* | re-enable chalk | Aleksey Kladov | 2019-05-21 | 1 | -17/+16 |
* | publish gen_lsp_server 0.2 | Aleksey Kladov | 2019-05-21 | 1 | -16/+17 |
* | profile implements query | Aleksey Kladov | 2019-05-21 | 1 | -0/+2 |
* | add _query to query functions | Aleksey Kladov | 2019-05-21 | 1 | -3/+3 |
* | Increase Chalk solver max_size back to 4 | Florian Diebold | 2019-05-13 | 1 | -1/+1 |
* | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 1 | -1/+8 |
* | Deduplicate impls in impls_for_trait | Florian Diebold | 2019-05-07 | 1 | -2/+3 |