summaryrefslogtreecommitdiff
path: root/test/files/neg
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #4260 from retronym/ticket/9093Lukas Rytz2015-02-032-0/+11
|\
| * SI-9093 Fix value discarding / multiple param list crasherJason Zaugg2015-01-202-0/+11
* | SI-7623 Trailing sequence wildcard warningSom Snytt2015-01-213-0/+60
|/
* Fix many typos in docs and commentsmpociecha2014-12-142-6/+6
* Merge pull request #4078 from gbasler/topic/fix-analysis-budgetAdriaan Moors2014-12-123-0/+40
|\
| * Avoid the `CNF budget exceeded` exception via smarter translation into CNF.Gerard Basler2014-10-273-0/+40
* | Merge pull request #4182 from som-snytt/issue/multizeroAdriaan Moors2014-12-092-0/+76
|\ \
| * | SI-9015 Reject 0x and minor parser cleanupSom Snytt2014-12-052-0/+76
* | | Merge pull request #4169 from retronym/ticket/9008Adriaan Moors2014-12-054-0/+14
|\ \ \
| * | | SI-9008 Fix regression with higher kinded existentialsJason Zaugg2014-12-034-0/+14
| |/ /
* / / SI-8502 Improve resiliance to absent packagesJason Zaugg2014-11-281-1/+6
|/ /
* | Merge pull request #4115 from retronym/ticket/8597Grzegorz Kossakowski2014-11-217-1/+90
|\ \
| * | SI-8597 Improved pattern unchecked warningsJason Zaugg2014-11-097-1/+90
* | | Merge pull request #4118 from retronym/ticket/5639Jason Zaugg2014-11-195-0/+108
|\ \ \
| * | | SI-5639 Predicate bug fix on -Xsource:2.12Jason Zaugg2014-11-183-0/+32
| * | | SI-5639 Fix spurious discarding of implicit importJason Zaugg2014-11-092-0/+76
| |/ /
* | | Merge pull request #4114 from retronym/ticket/8534Adriaan Moors2014-11-175-4/+23
|\ \ \
| * | | SI-8534 Avoid crash in erroneous SelectFromTypeTreeJason Zaugg2014-11-095-4/+23
| |/ /
* | | Merge pull request #4101 from adriaanm/sam-exLukas Rytz2014-11-104-14/+27
|\ \ \ | |/ / |/| |
| * | [sammy] use correct type for method to overrideAdriaan Moors2014-11-074-14/+27
* | | SI-7602 Avoid crash in LUBs with erroneous codeJason Zaugg2014-11-072-0/+31
* | | Merge pull request #4044 from retronym/ticket/5091Lukas Rytz2014-11-052-0/+20
|\ \ \ | |/ / |/| |
| * | SI-5091 Move named-args cycle test from pending to negJason Zaugg2014-10-102-0/+20
| |/
* / SI-3439 Fix use of implicit constructor params in super callJason Zaugg2014-10-101-1/+1
|/
* SI-8890 handle reference to overload with errorAdriaan Moors2014-10-092-0/+15
* Merge pull request #4016 from lrytz/t8731Grzegorz Kossakowski2014-10-074-1/+26
|\
| * SI-8731 warning if @switch is ignoredLukas Rytz2014-10-064-1/+26
* | Merge pull request #3954 from gbasler/ticket/7746-2.11Grzegorz Kossakowski2014-10-065-10/+10
|\ \
| * | SI-7746 patmat: fix non-determinism, infeasible counter examplesGerard Basler2014-10-055-10/+10
* | | SI-8291 Fix implicitNotFound message with type aliasesJason Zaugg2014-10-052-0/+14
* | | Merge pull request #4024 from retronym/ticket/8217Grzegorz Kossakowski2014-10-046-32/+25
|\ \ \
| * | | SI-8217 allow abstract type members in objectsPaolo G. Giarrusso2014-10-016-32/+25
* | | | SI-8869 Prevent ill-kindedness in type lambdasJason Zaugg2014-10-012-0/+17
| |_|/ |/| |
* | | Avoid test fragility to changes in PredefJason Zaugg2014-09-282-3/+2
| |/ |/|
* | Merge pull request #3936 from som-snytt/issue/8806Jason Zaugg2014-09-162-1/+12
|\ \ | |/ |/|
| * SI-8806 Add lower bound check to Any lintSom Snytt2014-09-052-1/+12
* | SI-8398 - unused warning reports lazy val as a methodKonstantin Fedorov2014-09-102-18/+22
* | Merge pull request #3938 from gourlaysama/wip/t8764Grzegorz Kossakowski2014-09-093-0/+16
|\ \
| * | [nomaster] SI-8764 fix return type of case class productElement under Xexperi...Antoine Gourlay2014-09-093-0/+16
* | | Merge pull request #3932 from gourlaysama/wip/t8498Jason Zaugg2014-09-041-4/+1
|\ \ \
| * | | SI-8498 @compileTimeOnly should be aware of bridge methods.Antoine Gourlay2014-08-211-4/+1
| | |/ | |/|
* | | Merge pull request #3905 from gourlaysama/wip/t5691-2Lukas Rytz2014-08-267-7/+59
|\ \ \
| * | | SI-5691 lint warning when a type parameter shadows an existing type.Antoine Gourlay2014-08-127-7/+59
* | | | Merge pull request #3886 from adriaanm/report-filterGrzegorz Kossakowski2014-08-262-1/+10
|\ \ \ \ | |_|/ / |/| | |
| * | | Encapsulate reporting mode as class of reportBuffer.Adriaan Moors2014-07-181-1/+9
| * | | Simplify (ambiguous) error issuing.Adriaan Moors2014-07-171-0/+1
* | | | SI-8512 Infer a type for f"$args"Som Snytt2014-08-121-1/+1
| |_|/ |/| |
* | | Merge pull request #3889 from som-snytt/issue/6476-altLukas Rytz2014-08-121-2/+2
|\ \ \ | |_|/ |/| |
| * | SI-6476 Improve error on escapementSom Snytt2014-07-181-2/+2
* | | Better error message than 'bad symbolic reference'.Adriaan Moors2014-07-221-4/+5
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-12 23:15:00 +0000