Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 1 | -3/+3 |
* | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 1 | -2/+3 |
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 1 | -5/+2 |
* | Document the peculiarity of the solver query a bit | Florian Diebold | 2019-05-04 | 1 | -2/+4 |
* | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 1 | -275/+8 |
* | Simplify solution_from_chalk | Florian Diebold | 2019-05-04 | 1 | -12/+11 |
* | Chalk integration | Florian Diebold | 2019-05-04 | 1 | -90/+403 |
* | Add HIR for where clauses & ignore impls with where clauses in trait resolution | Florian Diebold | 2019-04-21 | 1 | -3/+6 |
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -0/+112 |