Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | Fix `Hashing`. | Aleksandar Prokopec | 2012-06-01 | 4 | -13/+25 | |
| * | | | Remove Equality in favour of Equiv. | Aleksandar Prokopec | 2012-06-01 | 5 | -48/+11 | |
| * | | | Add Hashing and Equality typeclasses. | Aleksandar Prokopec | 2012-06-01 | 4 | -27/+168 | |
* | | | | Merge pull request #665 from retronym/ticket/5213 | Adriaan Moors | 2012-06-04 | 2 | -11/+40 | |
|\ \ \ \ | ||||||
| * | | | | SI-5313 Revert to two traversals in substThisAndSym. | Jason Zaugg | 2012-06-03 | 2 | -11/+40 | |
* | | | | | Merge pull request #661 from retronym/ticket/5683 | Adriaan Moors | 2012-06-03 | 4 | -29/+77 | |
|\ \ \ \ \ | ||||||
| * | | | | | SI-5683 Fail gracefully when transposing a ragged type arg matrix. | Jason Zaugg | 2012-06-03 | 4 | -29/+77 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #664 from adriaanm/revert-653 | Adriaan Moors | 2012-06-03 | 4 | -24/+9 | |
|\ \ \ \ \ | ||||||
| * | | | | | Revert "#653 -- no lub for statement exprs' types" | Adriaan Moors | 2012-06-03 | 4 | -24/+9 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #653 from dragos/issue/skip-lub-in-blocks | Adriaan Moors | 2012-06-03 | 4 | -9/+24 | |
|\ \ \ \ \ | ||||||
| * | | | | | Don't compute least upper bounds for expressions in statement positions insid... | Iulian Dragos | 2012-06-03 | 4 | -9/+24 | |
| | |_|_|/ | |/| | | | ||||||
* | | | | | Merge pull request #650 from adriaanm/topic-virtpatmat | Adriaan Moors | 2012-06-03 | 13 | -365/+916 | |
|\ \ \ \ \ | ||||||
| * | | | | | incorporate @retronym's review comments | Adriaan Moors | 2012-06-03 | 1 | -69/+39 | |
| * | | | | | allow disabling patmat analyses: -Xno-patmat-analysis | Adriaan Moors | 2012-06-01 | 4 | -8/+13 | |
| * | | | | | fixing bug found by unreachability | Adriaan Moors | 2012-06-01 | 1 | -3/+2 | |
| * | | | | | Unreachability analysis for pattern matches | Adriaan Moors | 2012-06-01 | 10 | -249/+807 | |
| * | | | | | support for repeated approximation of treemakers | Adriaan Moors | 2012-06-01 | 1 | -38/+47 | |
| * | | | | | patmatdebug | Adriaan Moors | 2012-06-01 | 1 | -60/+57 | |
| * | | | | | construct typed trees in TypeTestTM | Adriaan Moors | 2012-06-01 | 1 | -3/+6 | |
| * | | | | | all treemakers need positions for unreachable error | Adriaan Moors | 2012-06-01 | 1 | -6/+16 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #648 from pvlugter/issue/5792 | Adriaan Moors | 2012-06-03 | 1 | -13/+8 | |
|\ \ \ \ \ | ||||||
| * | | | | | More robust findScalaHome in bash scripts. See SI-5792 | Peter Vlugter | 2012-06-01 | 1 | -13/+8 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #657 from paulp/parser-booleans | Adriaan Moors | 2012-06-03 | 1 | -56/+57 | |
|\ \ \ \ \ | ||||||
| * | | | | | Made parser less hostile to inspection. | Paul Phillips | 2012-06-02 | 1 | -56/+57 | |
| | |/ / / | |/| | | | ||||||
* | | | | | Merge pull request #658 from odersky/ticket/5399 | Adriaan Moors | 2012-06-03 | 2 | -1/+46 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Closes t5399. Review by adriaanm | Martin Odersky | 2012-06-02 | 2 | -1/+46 | |
|/ / / / | ||||||
* | | | | Merge pull request #649 from magarciaEPFL/icodeAfterAnyOptimizPhase | Josh Suereth | 2012-06-01 | 1 | -11/+19 | |
|\ \ \ \ | ||||||
| * | | | | allows printing .icode files after any optimiz phase | Miguel Garcia | 2012-06-01 | 1 | -11/+19 | |
| |/ / / | ||||||
* | | | | Merge pull request #646 from magarciaEPFL/fixes | Adriaan Moors | 2012-06-01 | 1 | -5/+6 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | skipping unnecessary work in GenASM when emitting 1.5 classfiles | Miguel Garcia | 2012-05-31 | 1 | -5/+6 | |
|/ / / | ||||||
* | | | Merge pull request #645 from odersky/topic/inkling-consolidated | Adriaan Moors | 2012-05-30 | 6 | -81/+158 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Partial redesign of incremental compiler invalidation. | Martin Odersky | 2012-05-30 | 6 | -81/+158 | |
* | | | Merge pull request #638 from lrytz/wip/t5843 | Adriaan Moors | 2012-05-30 | 3 | -2/+26 | |
|\ \ \ | ||||||
| * | | | fix t5843 | Lukas Rytz | 2012-05-28 | 3 | -2/+26 | |
* | | | | Merge pull request #634 from retronym/ticket/4579 | Adriaan Moors | 2012-05-30 | 2 | -0/+519 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | SI-4579 Yoke the power of lisp.scala as a stress for the optimizer. | Jason Zaugg | 2012-05-27 | 2 | -0/+519 | |
* | | | | Merge pull request #640 from odersky/topic/inkling | Adriaan Moors | 2012-05-28 | 7 | -6/+127 | |
|\ \ \ \ | ||||||
| * | | | | Implemented functionality to invalidate classpath entries, to enable incremen... | Martin Odersky | 2012-05-28 | 7 | -6/+127 | |
* | | | | | Merge pull request #636 from retronym/ticket/5845 | Adriaan Moors | 2012-05-28 | 3 | -1/+24 | |
|\ \ \ \ \ | ||||||
| * | | | | | SI-5845 Advances the example from a crasher to an inference failure. | Jason Zaugg | 2012-05-28 | 3 | -1/+24 | |
| | |/ / / | |/| | | | ||||||
* | | | | | Merge pull request #635 from adriaanm/topic/virtpatmat | Adriaan Moors | 2012-05-28 | 3 | -7/+17 | |
|\ \ \ \ \ | |_|_|/ / |/| | | | | ||||||
| * | | | | handle approximating alternative of empty pattern | Adriaan Moors | 2012-05-28 | 1 | -1/+4 | |
| * | | | | don't check exhaustivity involving user-defined unapplySeq | Adriaan Moors | 2012-05-28 | 3 | -6/+13 | |
| |/ / / | ||||||
* | | | | Merge pull request #633 from retronym/topic/value-class-bridge | Adriaan Moors | 2012-05-27 | 4 | -2/+32 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Fix a NSDNHAO in extension methods. | Jason Zaugg | 2012-05-27 | 4 | -2/+32 | |
* | | | | Handled some of our new exhaustiveness warnings. | Paul Phillips | 2012-05-26 | 9 | -11/+17 | |
* | | | | Orphan checkfile remover. | Paul Phillips | 2012-05-26 | 38 | -1013/+18 | |
* | | | | Help our new exhaustiveness checker. | Paul Phillips | 2012-05-26 | 1 | -6/+9 | |
|/ / / | ||||||
* | | | Merge pull request #612 from adriaanm/ticket/5829 | Adriaan Moors | 2012-05-26 | 2 | -2/+20 | |
|\ \ \ | ||||||
| * | | | fix SI-5829: refinement typeref has a prefix | Adriaan Moors | 2012-05-24 | 2 | -2/+20 | |
| |/ / |