Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Formatting | Florian Diebold | 2020-02-07 | 1 | -1/+4 | |
* | Fix compilation of other crates | Florian Diebold | 2020-02-07 | 1 | -2/+8 | |
* | Use variables in predicates as well | Florian Diebold | 2020-02-07 | 1 | -24/+4 | |
* | Comment fixes / todos | Florian Diebold | 2020-02-07 | 1 | -0/+2 | |
* | Fix APIT some more | Florian Diebold | 2020-02-07 | 1 | -73/+80 | |
* | Change Ty::Param to contain param ID | Florian Diebold | 2020-02-07 | 1 | -22/+27 | |
* | Fix printing of function types | Florian Diebold | 2020-02-07 | 1 | -3/+4 | |
* | Lower impl trait to variables, move away from using placeholders where they d... | Florian Diebold | 2020-02-07 | 1 | -2/+32 | |
* | wip lower impl trait to type args | Florian Diebold | 2020-02-07 | 1 | -1/+1 | |
* | Add impl trait lowering mode | Florian Diebold | 2020-02-07 | 1 | -1/+3 | |
* | Introduce TyLoweringContext | Florian Diebold | 2020-02-07 | 1 | -1/+1 | |
* | Standard formatting for array types | Aleksey Kladov | 2020-01-28 | 1 | -1/+1 | |
* | Omit default parameters for reference types | Kirill Bulatov | 2020-01-22 | 1 | -1/+6 | |
* | Split `infer` query into two for better profiling | Michal Terepeta | 2020-01-03 | 1 | -1/+1 | |
* | Omit closure parameters | Kirill Bulatov | 2019-12-23 | 1 | -11/+20 | |
* | Clippy lints | kjeremy | 2019-12-20 | 1 | -1/+1 | |
* | Rename ContainerId -> AssocContainerId | Aleksey Kladov | 2019-12-20 | 1 | -4/+4 | |
* | Omit default parameter types | Kirill Bulatov | 2019-12-19 | 1 | -1/+32 | |
* | Reformat | Aleksey Kladov | 2019-12-07 | 1 | -2/+2 | |
* | Refactor parameter count tracking | Aleksey Kladov | 2019-12-07 | 1 | -5/+5 | |
* | Remove idx and parent generics from generics | Aleksey Kladov | 2019-12-07 | 1 | -21/+11 | |
* | Handle cycles in impl types better | Florian Diebold | 2019-11-30 | 1 | -15/+0 | |
* | Use Name::missing consistently | Aleksey Kladov | 2019-11-27 | 1 | -18/+7 | |
* | Memoize impl resolutions | Aleksey Kladov | 2019-11-27 | 1 | -0/+15 | |
* | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -2/+1132 | |
* | Doc primitives | Aleksey Kladov | 2019-11-26 | 1 | -1/+2 | |
* | Introduce hir_ty | Aleksey Kladov | 2019-11-26 | 1 | -0/+3 |