summaryrefslogtreecommitdiff
path: root/test
Commit message (Expand)AuthorAgeFilesLines
...
* | | Revert "#653 -- no lub for statement exprs' types"Adriaan Moors2012-06-032-3/+3
* | | Merge pull request #653 from dragos/issue/skip-lub-in-blocksAdriaan Moors2012-06-032-3/+3
|\ \ \
| * | | Don't compute least upper bounds for expressions in statement positions insid...Iulian Dragos2012-06-032-3/+3
| |/ /
* | | Merge pull request #650 from adriaanm/topic-virtpatmatAdriaan Moors2012-06-038-1/+75
|\ \ \
| * | | Unreachability analysis for pattern matchesAdriaan Moors2012-06-018-1/+75
| |/ /
* / / Closes t5399. Review by adriaanmMartin Odersky2012-06-021-0/+45
|/ /
* | Merge pull request #638 from lrytz/wip/t5843Adriaan Moors2012-05-302-0/+24
|\ \
| * | fix t5843Lukas Rytz2012-05-282-0/+24
* | | Merge pull request #634 from retronym/ticket/4579Adriaan Moors2012-05-302-0/+519
|\ \ \
| * | | SI-4579 Yoke the power of lisp.scala as a stress for the optimizer.Jason Zaugg2012-05-272-0/+519
* | | | Merge pull request #636 from retronym/ticket/5845Adriaan Moors2012-05-282-0/+23
|\ \ \ \
| * | | | SI-5845 Advances the example from a crasher to an inference failure.Jason Zaugg2012-05-282-0/+23
| |/ / /
* | | | Merge pull request #635 from adriaanm/topic/virtpatmatAdriaan Moors2012-05-282-6/+12
|\ \ \ \ | |_|/ / |/| | |
| * | | don't check exhaustivity involving user-defined unapplySeqAdriaan Moors2012-05-282-6/+12
| |/ /
* | | Merge pull request #633 from retronym/topic/value-class-bridgeAdriaan Moors2012-05-273-0/+19
|\ \ \ | |/ / |/| |
| * | Fix a NSDNHAO in extension methods.Jason Zaugg2012-05-273-0/+19
* | | Orphan checkfile remover.Paul Phillips2012-05-2637-1013/+0
|/ /
* | Merge pull request #612 from adriaanm/ticket/5829Adriaan Moors2012-05-261-0/+18
|\ \
| * | fix SI-5829: refinement typeref has a prefixAdriaan Moors2012-05-241-0/+18
| |/
* | Merge pull request #626 from retronym/ticket/4818Adriaan Moors2012-05-262-0/+13
|\ \
| * | Test case closes SI-4818Jason Zaugg2012-05-252-0/+13
| |/
* | Merge pull request #630 from retronym/ticket/5041Adriaan Moors2012-05-261-0/+9
|\ \
| * | Test case closes SI-5041.Jason Zaugg2012-05-261-0/+9
* | | Test case closes SI-4911.Jason Zaugg2012-05-262-0/+17
|/ /
* | Merge pull request #625 from retronym/ticket/5318-3Adriaan Moors2012-05-256-0/+45
|\ \
| * | SI-5318 Make implicit divergence checking PolyType aware.Jason Zaugg2012-05-256-0/+45
* | | Merge pull request #613 from hubertp/issue/5821Adriaan Moors2012-05-254-1/+19
|\ \ \
| * | | Closes SI-5821.Hubert Plociniczak2012-05-244-1/+19
* | | | Merge pull request #623 from adriaanm/ticket/switch-warning-not-errorAdriaan Moors2012-05-251-0/+1
|\ \ \ \
| * | | | don't error when not emitting required switchAdriaan Moors2012-05-251-0/+1
* | | | | Removing non-deterministic actor migration tests.Vojin Jovanovic2012-05-2522-1293/+0
|/ / / /
* | | | Merge pull request #618 from axel22/issue/5428Adriaan Moors2012-05-252-0/+30
|\ \ \ \
| * | | | Fixes SI-5428.Aleksandar Prokopec2012-05-242-0/+30
| | |_|/ | |/| |
* / | | Move implicit ExecutionContext to be determined by lexical scopephaller2012-05-241-0/+121
|/ / /
* | | Widen types in names/defaults transformations.Paul Phillips2012-05-232-0/+14
* | | Usability improvements to Origins.Paul Phillips2012-05-232-2/+2
* | | Pending and passing tests.Paul Phillips2012-05-238-3/+236
* | | Relax -Xlint warning for implicit classes. Closes SI-5809.Paul Phillips2012-05-232-0/+11
* | | more tests for SI-3761Lukas Rytz2012-05-234-1/+49
* | | Merge pull request #595 from som-snytt/ticket/3761-overload-byname-onlyLukas Rytz2012-05-232-0/+29
|\ \ \
| * | | SI-3761: Overload resolution fails on by-name parameter (amended per lrytz)Som Snytt2012-05-222-0/+7
| * | | SI-3761: Overload resolution fails on by-name parameterSom Snytt2012-05-212-0/+22
| |/ /
* | | Merge pull request #575 from vjovanov/actors-migration-kitAdriaan Moors2012-05-2322-0/+1293
|\ \ \
| * | | Adding the Actor Migration Kit.Vojin Jovanovic2012-05-1822-0/+1293
* | | | Merge pull request #601 from adriaanm/3f7b8b58748eb70aec4269f1ef63853b5ad4af60Adriaan Moors2012-05-2327-114/+170
|\ \ \ \
| * | | | Exhaustivity: TreeMakers as boolean propositionsAdriaan Moors2012-05-2226-114/+170
| * | | | TreeMaker approximation refactorings and bug fixesAdriaan Moors2012-05-221-0/+0
| | |/ / | |/| |
* | | | Merge pull request #599 from som-snytt/ticket/5779-numeq-warnAdriaan Moors2012-05-221-0/+13
|\ \ \ \
| * | | | SI-5779: Wrong warning message (comparing values of types Float/Double and Nu...Som Snytt2012-05-211-0/+13
| |/ / /
* | | | Merge pull request #602 from hubertp/issue/5735Adriaan Moors2012-05-222-0/+13
|\ \ \ \