summaryrefslogtreecommitdiff
path: root/test/files/pos
Commit message (Expand)AuthorAgeFilesLines
...
* | | | SI-7784 Extend test with enum constantSom Snytt2015-02-281-0/+4
* | | | SI-7784 Allow a singleton type over a constant value defn.Jason Zaugg2015-02-281-0/+9
* | | | SI-9131 Fix use of apply syntactic sugar with by-name paramJason Zaugg2015-02-031-0/+12
* | | | Merge remote-tracking branch 'origin/2.11.x' into merge/2.11.x-to-2.12.x-2015...Jason Zaugg2015-01-2912-2/+509
|\ \ \ \ | | |/ / | |/| |
| * | | Merge pull request #4214 from som-snytt/issue/5154Jason Zaugg2015-01-221-0/+9
| |\ \ \ | | |_|/ | |/| |
| | * | SI-5154 Parse leading literal brace in XML patternSom Snytt2014-12-161-0/+9
| * | | Merge pull request #4201 from mpociecha/fix-typos-in-docs-and-commentsGrzegorz Kossakowski2015-01-142-2/+2
| |\ \ \
| | * | | Fix many typos in docs and commentsmpociecha2014-12-142-2/+2
| | |/ /
| * | | Merge pull request #4199 from adriaanm/rebase-4193Adriaan Moors2014-12-182-0/+272
| |\ \ \
| | * | | SI-8999 Reduce memory usage in exhaustivity checkGerard Basler2014-12-122-0/+272
| | |/ /
| * | | Merge pull request #4122 from retronym/ticket/7459-2Adriaan Moors2014-12-185-0/+66
| |\ \ \
| | * | | SI-7459 Handle pattern binders used as prefixes in TypeTrees.Jason Zaugg2014-11-145-0/+66
| * | | | Suppress match analysis under -Xno-patmat-analysisAdriaan Moors2014-12-122-0/+160
| | |/ / | |/| |
* | | | Merge commit '7ba38a0' into merge/2.11.x-to-2.12.x-20150129Jason Zaugg2015-01-2946-14/+646
|\| | |
| * | | Merge pull request #4078 from gbasler/topic/fix-analysis-budgetAdriaan Moors2014-12-121-0/+33
| |\ \ \
| | * | | Avoid the `CNF budget exceeded` exception via smarter translation into CNF.Gerard Basler2014-10-271-0/+33
| * | | | Merge pull request #4169 from retronym/ticket/9008Adriaan Moors2014-12-051-0/+5
| |\ \ \ \
| | * | | | SI-9008 Fix regression with higher kinded existentialsJason Zaugg2014-12-031-0/+5
| * | | | | Merge pull request #4180 from som-snytt/issue/7683Lukas Rytz2014-12-044-0/+43
| |\ \ \ \ \
| | * | | | | SI-7683 Enable -Ystop-before:typerSom Snytt2014-12-014-0/+43
| * | | | | | SI-9018 Fix regression: cycle in LUBsJason Zaugg2014-12-031-0/+16
| | |/ / / / | |/| | | |
| * | | | | Merge pull request #4099 from retronym/ticket/7596Grzegorz Kossakowski2014-11-216-0/+65
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | SI-7596 Curtail overloaded symbols during unpicklingJason Zaugg2014-11-066-0/+65
| * | | | | Merge pull request #4118 from retronym/ticket/5639Jason Zaugg2014-11-195-14/+29
| |\ \ \ \ \
| | * | | | | SI-5639 Predicate bug fix on -Xsource:2.12Jason Zaugg2014-11-181-0/+1
| | * | | | | SI-5639 Fix spurious discarding of implicit importJason Zaugg2014-11-094-14/+28
| | | |_|/ / | | |/| | |
| * | | | | Merge pull request #4116 from retronym/ticket/5413-2Lukas Rytz2014-11-101-0/+9
| |\ \ \ \ \
| | * | | | | SI-5413 Test for fixed owner-corruption bug with names/defaultsJason Zaugg2014-11-091-0/+9
| | |/ / / /
| * | | | | Merge pull request #4108 from retronym/ticket/7750Lukas Rytz2014-11-102-0/+9
| |\ \ \ \ \
| | * | | | | SI-7750 Test case for fixed spurious existential feature warningJason Zaugg2014-11-072-0/+9
| | | |/ / / | | |/| | |
| * | | | | Merge pull request #4102 from retronym/ticket/8965Lukas Rytz2014-11-102-0/+8
| |\ \ \ \ \
| | * | | | | SI-8965 Account for corner case in "unrelated types" warningJason Zaugg2014-11-072-0/+8
| | |/ / / /
| * | | | | Merge pull request #4101 from adriaanm/sam-exLukas Rytz2014-11-108-0/+60
| |\ \ \ \ \
| | * | | | | [sammy] use correct type for method to overrideAdriaan Moors2014-11-073-10/+12
| | * | | | | [sammy] eta-expansion, overloading (SI-8310)Adriaan Moors2014-11-066-0/+58
| * | | | | | Merge pull request #4100 from gourlaysama/wip/lint-buildLukas Rytz2014-11-103-0/+53
| |\ \ \ \ \ \ | | |_|_|/ / / | |/| | | | |
| | * | | | | SI-8954 Make @deprecated{Overriding,Inheritance} aware of @deprecated.Antoine Gourlay2014-11-063-0/+53
| * | | | | | Merge pull request #4083 from retronym/ticket/8947Jason Zaugg2014-11-072-0/+42
| |\ \ \ \ \ \
| | * | | | | | SI-8947 Avoid cross talk between tag materializers and reifyJason Zaugg2014-10-302-0/+42
| | | |_|_|/ / | | |/| | | |
| * | | | | | SI-8962 Fix regression with skolems in pattern translationJason Zaugg2014-11-061-0/+31
| | |_|_|/ / | |/| | | |
| * | | | | Merge pull request #4092 from som-snytt/issue/5217Lukas Rytz2014-11-051-0/+17
| |\ \ \ \ \
| | * | | | | SI-5217 Companion privates in scope of class parmsSom Snytt2014-11-041-0/+17
| | |/ / / /
| * | | | | Merge pull request #4044 from retronym/ticket/5091Lukas Rytz2014-11-051-0/+19
| |\ \ \ \ \ | | |_|_|/ / | |/| | | |
| | * | | | SI-6051 Test case, the issue seems to be fixed.Lukas Rytz2014-11-041-0/+19
| * | | | | Merge pull request #4036 from retronym/topic/opt-tail-callsJason Zaugg2014-11-041-0/+129
| |\ \ \ \ \ | | |_|_|/ / | |/| | | |
| | * | | | SI-8893 Restore linear perf in TailCalls with nested matchesJason Zaugg2014-10-101-0/+129
| | |/ / /
| * | | | Merge pull request #4043 from retronym/ticket/3439-2Jason Zaugg2014-11-022-0/+36
| |\ \ \ \
| | * | | | SI-5454 Test case for another ticket fixed by the previous commitJason Zaugg2014-10-101-0/+10
| | * | | | SI-3439 Fix use of implicit constructor params in super callJason Zaugg2014-10-101-0/+26
| | |/ / /
| * | / / SI-8934 Fix whitebox extractor macros in the pres. compilerJason Zaugg2014-10-273-0/+31
| | |/ / | |/| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-15 15:14:57 +0000