| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rework obligation handling | Florian Diebold | 2021-05-21 | 1 | -3/+3 |
| * | Remove our unification code, use Chalk's instead | Florian Diebold | 2021-05-21 | 1 | -2/+2 |
| * | Handle cycles in generic_defaults more gracefully | Florian Diebold | 2021-04-29 | 1 | -0/+1 |
| * | Profile trait solving for all invocations | Kirill Bulatov | 2021-04-14 | 1 | -1/+18 |
| * | More cleanups / module docs | Florian Diebold | 2021-04-09 | 1 | -1/+2 |
| * | Move ToChalk -> mapping | Florian Diebold | 2021-04-09 | 1 | -3/+13 |
| * | Reorganize hir_ty modules | Florian Diebold | 2021-04-09 | 1 | -26/+21 |
| * | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 1 | -0/+6 |
| * | Replace unused hir_ty::Lifetime with chalk equivalents | Lukas Wirth | 2021-04-05 | 1 | -1/+7 |
| * | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| * | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 1 | -4/+7 |
| * | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -1/+1 |
| * | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 1 | -7/+4 |
| * | Create TraitEnvironment through a query | Florian Diebold | 2021-03-13 | 1 | -0/+3 |
| * | Use chalk_ir::OpaqueTyId | Florian Diebold | 2021-03-13 | 1 | -2/+2 |
| * | Use chalk_ir::PlaceholderIndex | Florian Diebold | 2021-03-13 | 1 | -3/+3 |
| * | Use chalk_ir::ClosureId | Florian Diebold | 2021-03-13 | 1 | -3/+3 |
| * | Use chalk_ir::FnDefId | Florian Diebold | 2021-03-13 | 1 | -3/+3 |
| * | Make two calls virtual | Laurențiu Nicola | 2021-03-05 | 1 | -1/+1 |
| * | Remove map module from la-arena public API | Aramis Razzaghipour | 2021-01-15 | 1 | -1/+1 |
| * | prepare to publish el libro de arena | Aleksey Kladov | 2021-01-14 | 1 | -1/+1 |
| * | Add ConstParams to the HIR | Lukas Wirth | 2021-01-01 | 1 | -2/+5 |
| * | Upgrade Chalk | Florian Diebold | 2020-12-07 | 1 | -0/+6 |
| * | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+158 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |