Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Ouch... remove comment that broke compilation. | Dmitry Petrashko | 2015-11-02 | 1 | -1/+0 |
* | Allow empty lines in whitelist file. | Dmitry Petrashko | 2015-11-02 | 1 | -0/+1 |
* | Showcase #916 | Dmitry Petrashko | 2015-11-02 | 1 | -3/+7 |
* | Showcase #915 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+3 |
* | Showcase #914 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+3 |
* | Showcase #913 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+4 |
* | Showcase #912 | Dmitry Petrashko | 2015-11-02 | 1 | -3/+6 |
* | Showcase #911 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+4 |
* | Showcase #907 | Dmitry Petrashko | 2015-11-02 | 1 | -0/+4 |
* | Showcase #910 | Dmitry Petrashko | 2015-11-02 | 1 | -4/+12 |
* | Showcase #909 | Dmitry Petrashko | 2015-11-02 | 1 | -15/+30 |
* | Compiling products forces Data races. | Dmitry Petrashko | 2015-11-02 | 1 | -23/+23 |
* | Test compiling sodlib | Dmitry Petrashko | 2015-11-02 | 2 | -0/+127 |
* | Merge pull request #860 from dotty-staging/change-allow-ex-in-hk | Dmitry Petrashko | 2015-11-02 | 1 | -2/+1 |
|\ | |||||
| * | Represent references to Scala2 inner classes as WithFixedSym types | Martin Odersky | 2015-10-25 | 1 | -1/+1 |
| * | Allow existential types in hk types | Martin Odersky | 2015-10-24 | 1 | -1/+0 |
* | | Merge pull request #896 from dotty-staging/gitignore | odersky | 2015-10-31 | 1 | -0/+2 |
|\ \ | |||||
| * | | Fix #895: Maintain keep file during bootstrap | Dmitry Petrashko | 2015-10-31 | 1 | -0/+2 |
| |/ | |||||
* | | Merge pull request #886 from dotty-staging/fix-#884 | Guillaume Martres | 2015-10-30 | 1 | -2/+2 |
|\ \ | |||||
| * | | Fix #884 - misdiagnosed ambiguous definition. | Martin Odersky | 2015-10-29 | 1 | -2/+2 |
| |/ | |||||
* / | Don't count suppressed errors | Martin Odersky | 2015-10-26 | 1 | -2/+3 |
|/ | |||||
* | Indicate that dotty is being built. | Dmitry Petrashko | 2015-10-23 | 1 | -0/+1 |
* | Add well-formedness checking for created symbols | Martin Odersky | 2015-10-22 | 1 | -0/+3 |
* | Fix tests to survive wellformedness checks | Martin Odersky | 2015-10-22 | 1 | -3/+3 |
* | Quick&dirty bootstrap | Dmitry Petrashko | 2015-10-22 | 1 | -0/+28 |
* | Merge pull request #821 from dotty-staging/fix-check-simple-kinded | Dmitry Petrashko | 2015-10-20 | 1 | -1/+1 |
|\ | |||||
| * | Check that some types are not higher-kinded. | Martin Odersky | 2015-10-07 | 1 | -1/+1 |
* | | Always fully define the types of lifted expressions | Guillaume Martres | 2015-10-19 | 1 | -0/+1 |
|/ | |||||
* | Replace withMode by addMode | Martin Odersky | 2015-10-01 | 1 | -1/+1 |
* | Matching denotations should take infos into account | Martin Odersky | 2015-09-29 | 1 | -2/+1 |
* | add pos_companions to the suite | Sarunas Valaskevicius | 2015-09-25 | 1 | -0/+1 |
* | Disallow wildcard arguments to higher-kinded types... | Martin Odersky | 2015-09-18 | 1 | -0/+1 |
* | Add a test that logs the classpath to pinpoint setup failures. | Martin Odersky | 2015-09-18 | 1 | -0/+2 |
* | Merge pull request #767 from dotty-staging/fix-#756-super-accessors | Dmitry Petrashko | 2015-08-28 | 1 | -0/+1 |
|\ | |||||
| * | Fix test when abstract override is needed. | Martin Odersky | 2015-08-21 | 1 | -0/+1 |
* | | Make it a syntactic criterion whether a literal is a legal type | Martin Odersky | 2015-08-24 | 1 | -1/+1 |
* | | Test other forms of singleton types. | Martin Odersky | 2015-08-23 | 1 | -1/+1 |
* | | Tests of functionality. | Martin Odersky | 2015-08-23 | 1 | -0/+1 |
|/ | |||||
* | Fix miniphase assembly. | Martin Odersky | 2015-08-15 | 1 | -5/+5 |
* | Revert "Disable -Ycheck:labelDefs" | Martin Odersky | 2015-08-05 | 1 | -1/+1 |
* | Add LiftTry phase | Martin Odersky | 2015-08-05 | 1 | -1/+1 |
* | Disable -Ycheck:labelDefs | Martin Odersky | 2015-08-04 | 1 | -1/+1 |
* | Merge pull request #735 from dotty-staging/ycheck-methods | odersky | 2015-08-04 | 1 | -1/+1 |
|\ | |||||
| * | Compile dotty.*, not only dotty.tools. | Dmitry Petrashko | 2015-07-23 | 1 | -1/+1 |
* | | Merge pull request #724 from dotty-staging/labels-Ycheck | Dmitry Petrashko | 2015-07-22 | 1 | -3/+8 |
|\ \ | |||||
| * | | Disable Ycheck:all until #725 is fixed. | Dmitry Petrashko | 2015-07-20 | 1 | -1/+1 |
| * | | Enable -Ycheck:all in Jenkins. | Dmitry Petrashko | 2015-07-20 | 1 | -3/+8 |
| * | | Enable Ycheck after labelDef. Fixes #701 | Dmitry Petrashko | 2015-07-13 | 1 | -1/+1 |
| |/ | |||||
* | | Merge pull request #719 from dotty-staging/fix/doubledefs | Dmitry Petrashko | 2015-07-20 | 1 | -1/+1 |
|\ \ | |||||
| * | | Added test | Martin Odersky | 2015-07-10 | 1 | -1/+1 |