| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |