Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Cleanup | Florian Diebold | 2021-04-08 | 1 | -23/+14 |
* | Intern Variances | Florian Diebold | 2021-04-08 | 1 | -2/+3 |
* | Don't intern ProgramClause at all | Florian Diebold | 2021-04-08 | 1 | -2/+2 |
* | Intern QuantifiedWhereClauses | Florian Diebold | 2021-04-08 | 1 | -2/+3 |
* | Intern ProgramClauses | Florian Diebold | 2021-04-08 | 1 | -2/+3 |
* | Intern CanonicalVarKinds | Florian Diebold | 2021-04-08 | 1 | -2/+3 |
* | Intern consts & lifetimes | Florian Diebold | 2021-04-08 | 1 | -6/+19 |
* | Intern types | Florian Diebold | 2021-04-08 | 1 | -3/+7 |
* | Intern Substitutions | Florian Diebold | 2021-04-08 | 1 | -8/+15 |
* | Intern VariableKinds | Florian Diebold | 2021-04-08 | 1 | -4/+14 |
* | Use more assoc. type aliases in the chalk interner | Jonas Schievink | 2021-04-05 | 1 | -22/+21 |
* | Use SmallVec for Substs | Florian Diebold | 2021-03-15 | 1 | -3/+4 |
* | Use chalk_ir::FnDefId | Florian Diebold | 2021-03-13 | 1 | -1/+0 |
* | Use chalk_ir::ForeignDefId | Florian Diebold | 2021-03-13 | 1 | -1/+0 |
* | Update crates | kjeremy | 2021-02-08 | 1 | -2/+3 |
* | Upgrade Chalk | Florian Diebold | 2020-12-07 | 1 | -0/+16 |
* | Remove more unreachable pubs | Aleksey Kladov | 2020-11-02 | 1 | -15/+15 |
* | Upgrade Chalk to 0.36 | Florian Diebold | 2020-10-30 | 1 | -7/+0 |
* | Update chalk to 0.27 and adapt to chalk changes. | Charles Lew | 2020-09-15 | 1 | -0/+1 |
* | Tweak interner for chalk | Nathan Whitaker | 2020-09-09 | 1 | -9/+9 |
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+383 |