Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement toString for OrderingConstraint | Martin Odersky | 2015-10-01 | 1 | -1/+18 |
* | Rename SimpleMap#mapValues -> mapValuesNow | Martin Odersky | 2015-06-23 | 1 | -1/+1 |
* | Polish code. | Martin Odersky | 2015-06-23 | 1 | -2/+2 |
* | Avoid junk produced by Constraint#replace. | Martin Odersky | 2015-06-22 | 1 | -4/+26 |
* | Remove trailing spaces in Dotty source. | Dmitry Petrashko | 2015-04-09 | 1 | -96/+96 |
* | Make all Dotty source files end in newline. | Dmitry Petrashko | 2015-04-09 | 1 | -1/+1 |
* | Removed TrackingConstraint | Martin Odersky | 2015-01-31 | 1 | -0/+4 |
* | Refinement of dependent parameter handling in OrderingConstraint | Martin Odersky | 2015-01-28 | 1 | -8/+59 |
* | Fixups taking into account reviewer's comments. | Martin Odersky | 2015-01-27 | 1 | -6/+6 |
* | Replace only substitutes top-level types. | Martin Odersky | 2015-01-24 | 1 | -32/+53 |
* | New constraint implementation: OrderingConstraint | Martin Odersky | 2015-01-24 | 1 | -0/+481 |