| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2016-12-24 | No more tears! | ubsan | 1 | -14/+14 |
| 2016-12-01 | Trans - Enumeration work structured out, vtables hacked in | John Hodge | 1 | -2/+0 |
| 2016-11-19 | HIR - Add Union type path binding | John Hodge | 1 | -0/+2 |
| 2016-11-11 | HIR - Tweak ErasedType for implementation | John Hodge | 1 | -0/+1 |
| 2016-10-29 | HIR Types - Store array size expr as a shared_ptr to allow cloning | John Hodge | 1 | -4/+10 |
| 2016-10-23 | AST+HIR - Add stubbed support for erased types (`impl Trait`) | John Hodge | 1 | -0/+5 |
| 2016-09-16 | HIR - (minor) Comment on format of generic binding field | John Hodge | 1 | -0/+1 |
| 2016-08-27 | HIR (De)serialise - Working deserialise | John Hodge | 1 | -0/+1 |
| 2016-08-01 | HIR - Support getting tuple struct constructors as function pointers | John Hodge | 1 | -2/+2 |
| 2016-08-01 | HIR Typecheck - Altered ! handling to be an ivar type, fix fuzzy matches in e... | John Hodge | 1 | -0/+1 |
| 2016-07-19 | HIR - Very rough impl specialisation support in outer typeck | John Hodge | 1 | -0/+1 |
| 2016-07-17 | HIR - Allow sorting of types and paths | John Hodge | 1 | -0/+2 |
| 2016-07-12 | HIR Types - Support returning match state from match generic callback | John Hodge | 1 | -3/+3 |
| 2016-07-12 | HIR Typecheck - Planning out handling for more effective impl param determining | John Hodge | 1 | -0/+2 |
| 2016-07-11 | HIR Typecheck CS - Remove todo panic on unknown infer, fix missed base value ... | John Hodge | 1 | -0/+3 |
| 2016-07-07 | HIR Typecheck CS - Working `let v: usize = !0;` | John Hodge | 1 | -0/+23 |
| 2016-06-26 | HIR Typecheck - Fuzzy impl matching to allow selection of += impl for usize | John Hodge | 1 | -0/+1 |
| 2016-06-12 | HIR Typecheck - Rework handling of trait impl searching | John Hodge | 1 | -1/+1 |
| 2016-06-11 | HIR Typecheck - Fix pattern propagation | John Hodge | 1 | -0/+3 |
| 2016-06-11 | HIR Typecheck - Fields working | John Hodge | 1 | -1/+4 |
| 2016-06-11 | HIR - Move associated type bounds to TraitPath | John Hodge | 1 | -1/+1 |
| 2016-06-11 | HIR Typecheck - autoderef arrays to slices, don't check method if unknown | John Hodge | 1 | -0/+3 |
| 2016-06-11 | HIR - (cleanup) Make method to handle creating new array types | John Hodge | 1 | -0/+7 |
| 2016-06-11 | HIR - Trait objects only have on data trait, fix propagation of marker flag | John Hodge | 1 | -1/+2 |
| 2016-06-11 | HIR Typecheck - Trait object comparison/manipulation | John Hodge | 1 | -0/+4 |
| 2016-06-10 | HIR Typecheck - Rework ops traits handling a bit | John Hodge | 1 | -1/+5 |
| 2016-06-10 | HIR Typecheck - Hack up closure inferrence from Fn* traits | John Hodge | 1 | -1/+1 |
| 2016-06-09 | HIR - Add closure type | John Hodge | 1 | -1/+7 |
| 2016-06-09 | HIR Typecheck - Replace associated types with known bounds (IntoIter) | John Hodge | 1 | -7/+0 |
| 2016-06-09 | HIR Typecheck - Plan: Use associated type bounds to expand further | John Hodge | 1 | -2/+2 |
| 2016-06-08 | HIR Typecheck - Rough checking of bounds when searching for UFCS | John Hodge | 1 | -2/+4 |
| 2016-06-07 | HIR Typecheck - Successful inferrence of literals (no i32 default yet) | John Hodge | 1 | -0/+8 |
| 2016-06-07 | HIR - Add literal annotation to TypeRef::Data::Infer | John Hodge | 1 | -0/+8 |
| 2016-06-06 | HIR - BorrowType on pointer, allow pointer coerce | John Hodge | 1 | -2/+2 |
| 2016-06-06 | HIR Typecheck - Expand associated types returned from methods | John Hodge | 1 | -0/+6 |
| 2016-06-06 | HIR Typecheck - Monomorphisation cleanup | John Hodge | 1 | -0/+3 |
| 2016-06-05 | Resolve - UFCS resolution expanded to handle `Self` and params | John Hodge | 1 | -0/+3 |
| 2016-06-04 | HIR Typeck - More work on it | John Hodge | 1 | -0/+11 |
| 2016-06-04 | Compilation fixes (clang and different gcc version) | John Hodge | 1 | -2/+3 |
| 2016-06-04 | HIR Typeck - Coming along, close to needing coercions | John Hodge | 1 | -0/+4 |
| 2016-06-03 | HIR - Working on type inference, very incomplete | John Hodge | 1 | -1/+4 |
| 2016-05-29 | HIR - Add binding pointers to TypeRef and Pattern | John Hodge | 1 | -2/+15 |
| 2016-05-29 | HIR Typecheck - Start on expression type checking/inferrence | John Hodge | 1 | -1/+3 |
| 2016-05-28 | HIR TypeCheck - Initial work on a module-level pass (no inferrence) | John Hodge | 1 | -0/+2 |
| 2016-05-26 | HIR Const Eval - libcore types done, onwards to `const` items | John Hodge | 1 | -0/+1 |
| 2016-05-26 | HIR Cosnt Eval - Initial work, hits TODOs | John Hodge | 1 | -0/+3 |
| 2016-05-23 | HIR - Add type alias replacement. Other related changes below | John Hodge | 1 | -0/+8 |
| 2016-05-20 | HIR - Diverging type | John Hodge | 1 | -0/+1 |
| 2016-05-16 | HIR - Slowly fleshing out | John Hodge | 1 | -0/+3 |
| 2016-05-14 | HIR Types | John Hodge | 1 | -3/+39 |
