Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |