summaryrefslogtreecommitdiff
path: root/test/files/neg
Commit message (Expand)AuthorAgeFilesLines
* Move test files to the right place.Gerard Basler2015-05-033-0/+40
* SI-9273 Avoid unpositioned error for bare classOfJason Zaugg2015-04-152-0/+19
* Merge pull request #4431 from adriaanm/rebase-4379Adriaan Moors2015-04-133-0/+814
|\
| * Patmat: efficient reasoning about mutual exclusionGerard Basler2015-04-063-0/+814
* | Error message improvementesfandiar amirrahimi2015-04-082-4/+4
* | Merge pull request #4413 from lrytz/opt/inliningEverythingLukas Rytz2015-04-074-1/+19
|\ \ | |/ |/|
| * Don't inlinie if the resulting method becomes too large for the JVMLukas Rytz2015-04-013-0/+18
| * Don't force the GenASM backend when passing -optimizeLukas Rytz2015-04-011-1/+1
* | Merge pull request #4418 from lrytz/t8731-relaxAdriaan Moors2015-03-311-4/+1
|\ \ | |/ |/|
| * SI-8731 don't issue a @switch warning for two-case matchesLukas Rytz2015-03-311-4/+1
* | Merge pull request #4318 from soc/topic/remove-deprecation-warningsLukas Rytz2015-03-282-19/+0
|\ \ | |/ |/|
| * new{Term,Type}Name→{Term,Type}Name, tpename/nme→{type,term}NamesSimon Ochsenreither2015-03-262-19/+0
* | Merge pull request #4358 from xeno-by/topic/names-defaultsLukas Rytz2015-03-262-13/+26
|\ \ | |/ |/|
| * better errors for macro applications with wrong number of argumentsEugene Burmako2015-02-242-13/+26
* | Merge pull request #4310 from som-snytt/issue/9127-bLukas Rytz2015-03-255-2/+25
|\ \
| * | SI-9127 Xlint doesn't think spaces are significantSom Snytt2015-02-215-2/+25
| |/
* / SI-9231 Don't attempt implicit search for erroneous parameterJason Zaugg2015-03-172-0/+13
|/
* Merge pull request #4195 from lrytz/t8841Adriaan Moors2015-02-136-11/+52
|\
| * SI-8841 report named arg / assignment ambiguity also in silent mode.Lukas Rytz2014-12-126-11/+52
* | Merge pull request #4288 from adriaanm/retronym-ticket/9041Adriaan Moors2015-02-092-0/+21
|\ \
| * | SI-9041 Avoid unreported type error with overloading, implicitsJason Zaugg2015-02-022-0/+21
* | | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 15:09:36 +0000