summaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Help our new exhaustiveness checker.Paul Phillips2012-05-261-6/+9
* Merge pull request #612 from adriaanm/ticket/5829Adriaan Moors2012-05-261-2/+2
|\
| * fix SI-5829: refinement typeref has a prefixAdriaan Moors2012-05-241-2/+2
* | Merge pull request #625 from retronym/ticket/5318-3Adriaan Moors2012-05-252-35/+25
|\ \
| * | SI-5318 Make implicit divergence checking PolyType aware.Jason Zaugg2012-05-252-35/+25
* | | Merge pull request #624 from hubertp/topic/cleanupJosh Suereth2012-05-253-23/+1
|\ \ \
| * | | Cleaning up some code introduced for the old presentation compiler long time ...Hubert Plociniczak2012-05-243-23/+1
* | | | Merge pull request #613 from hubertp/issue/5821Adriaan Moors2012-05-252-10/+16
|\ \ \ \
| * | | | Closes SI-5821.Hubert Plociniczak2012-05-242-10/+16
| |/ / /
* | | | Merge pull request #621 from axel22/issue/5085bAdriaan Moors2012-05-251-4/+22
|\ \ \ \
| * | | | Fixes SI-5085 and SI-4833.Aleksandar Prokopec2012-05-251-4/+22
| | |_|/ | |/| |
* | | | don't error when not emitting required switchAdriaan Moors2012-05-251-1/+1
* | | | Merge pull request #619 from magarciaEPFL/ticket-SI-5805Adriaan Moors2012-05-251-4/+5
|\ \ \ \
| * | | | Fixes SI-5805Miguel Garcia2012-05-241-4/+5
| |/ / /
* | | | Merge pull request #618 from axel22/issue/5428Adriaan Moors2012-05-251-0/+5
|\ \ \ \
| * | | | Fixes SI-5428.Aleksandar Prokopec2012-05-241-0/+5
| |/ / /
* | | | Merge pull request #617 from phaller/implicit-execution-contextAdriaan Moors2012-05-244-42/+97
|\ \ \ \
| * | | | Move implicit ExecutionContext to be determined by lexical scopephaller2012-05-244-42/+97
| |/ / /
* / / / Fixes SI-5441.Aleksandar Prokopec2012-05-241-2/+2
|/ / /
* | | Fix to naming of file.Josh Suereth2012-05-231-0/+0
* | | Merge branch 'master' into asm-compiled-onceJosh Suereth2012-05-2312-108/+115
|\ \ \
| * | | Widen types in names/defaults transformations.Paul Phillips2012-05-231-13/+12
| * | | Creator for superconstructor tree.Paul Phillips2012-05-237-19/+14
| * | | Usability improvements to Origins.Paul Phillips2012-05-231-37/+49
| * | | Cleanups in Treecheckers.Paul Phillips2012-05-231-34/+33
| * | | Make phase fmask a public val instead of a private var.Paul Phillips2012-05-231-4/+6
| * | | Relax -Xlint warning for implicit classes. Closes SI-5809.Paul Phillips2012-05-231-1/+1
* | | | ASM now compiled once in the build.Josh Suereth2012-05-2377-0/+0
|/ / /
* | | Merge pull request #595 from som-snytt/ticket/3761-overload-byname-onlyLukas Rytz2012-05-231-3/+15
|\ \ \
| * | | SI-3761: Overload resolution fails on by-name parameter (amended per lrytz)Som Snytt2012-05-221-2/+1
| * | | SI-3761: Overload resolution fails on by-name parameterSom Snytt2012-05-211-4/+17
| |/ /
* | | Merge pull request #575 from vjovanov/actors-migration-kitAdriaan Moors2012-05-2322-20/+660
|\ \ \
| * | | Minor fixes for the Actor Migration KitVojin Jovanovic2012-05-234-24/+19
| * | | Adding the Actor Migration Kit.Vojin Jovanovic2012-05-1821-15/+660
* | | | Merge pull request #601 from adriaanm/3f7b8b58748eb70aec4269f1ef63853b5ad4af60Adriaan Moors2012-05-235-236/+1115
|\ \ \ \
| * | | | Exhaustivity: TreeMakers as boolean propositionsAdriaan Moors2012-05-225-9/+712
| * | | | TreeMaker approximation refactorings and bug fixesAdriaan Moors2012-05-221-225/+401
| | |/ / | |/| |
* | | | Merge pull request #599 from som-snytt/ticket/5779-numeq-warnAdriaan Moors2012-05-222-3/+12
|\ \ \ \
| * | | | SI-5779: Wrong warning message (comparing Number)Som Snytt2012-05-221-9/+13
| * | | | SI-5779: Wrong warning message (comparing values of types Float/Double and Nu...Som Snytt2012-05-212-4/+9
| |/ / /
* | | | Merge pull request #602 from hubertp/issue/5735Adriaan Moors2012-05-222-36/+42
|\ \ \ \
| * | | | Last minor cleanupHubert Plociniczak2012-05-221-3/+3
| * | | | More consistent solution for errorenous situations when infering the alternat...Hubert Plociniczak2012-05-222-39/+41
| * | | | Closes SI-5735, this could also potentially fix a SO problem that @adriaanm w...Hubert Plociniczak2012-05-212-4/+8
| | |/ / | |/| |
* | | | Merge pull request #592 from retronym/ticket/4975Adriaan Moors2012-05-221-1/+1
|\ \ \ \
| * | | | Consider method-scoped companions in the implicit scope.Jason Zaugg2012-05-211-1/+1
* | | | | Merge pull request #596 from magarciaEPFL/ticket-SI-5672Adriaan Moors2012-05-223-5/+25
|\ \ \ \ \
| * | | | | fix for SI-5672Miguel Garcia2012-05-213-5/+25
| | |_|/ / | |/| | |
* | | | | Merge pull request #588 from retronym/ticket/5305Adriaan Moors2012-05-221-4/+1
|\ \ \ \ \
| * | | | | Don't hop to the first enclosing, non-silent context when typing refinements.Jason Zaugg2012-05-061-4/+1