Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Set the positions of inlined trees wehn read form Tasty | Martin Odersky | 2016-10-02 | 1 | -14/+9 |
* | Drop Pair | Martin Odersky | 2016-09-25 | 1 | -3/+2 |
* | Drop Config.checkKinds | Martin Odersky | 2016-07-11 | 1 | -1/+0 |
* | Get rid of BindingKind | Martin Odersky | 2016-07-11 | 1 | -1/+1 |
* | Start new, direct HK scheme | Martin Odersky | 2016-07-11 | 1 | -1/+7 |
* | Remove old hk scheme | Martin Odersky | 2016-07-11 | 1 | -2/+1 |
* | Introduce recursive types | Martin Odersky | 2016-07-11 | 1 | -2/+6 |
* | Allow refinements of new types | Martin Odersky | 2016-07-11 | 1 | -1/+2 |
* | Maintain ownerTree data structure when unpickling Tasty | Martin Odersky | 2016-05-23 | 1 | -0/+11 |
* | Simplify handling of sourcefiles in Tasty info | Martin Odersky | 2016-04-09 | 1 | -2/+0 |
* | Update TastyFormat for SeqLiteral | Martin Odersky | 2016-04-07 | 1 | -1/+1 |
* | Add pickling/unpickling of stable modifier | VladimirNik | 2015-11-27 | 1 | -1/+5 |
* | Swap order of arguments in annotations for Tasty | VladimirNik | 2015-11-23 | 1 | -1/+1 |
* | Eliminate ABSOVERRIDE from TASTY | Martin Odersky | 2015-06-19 | 1 | -19/+15 |
* | Don't keep SkolemTypes in TASTY | Martin Odersky | 2015-06-19 | 1 | -13/+11 |
* | Split RefinedThis and SkolemType | Martin Odersky | 2015-06-06 | 1 | -11/+12 |
* | Pickling modularization reorg | Martin Odersky | 2015-05-02 | 1 | -0/+491 |