summaryrefslogtreecommitdiff
path: root/test/files/pos
Commit message (Expand)AuthorAgeFilesLines
* Fix 25 typos (g-i)Janek Bogucki2015-06-221-1/+1
* Fix 36 typos (d-f)Janek Bogucki2015-06-213-3/+3
* Fix another several typosMichał Pociecha2015-06-181-1/+1
* Fix some typos (a-c)Janek Bogucki2015-06-181-1/+1
* SI-9356 more careful assertion in back-endAdriaan Moors2015-06-163-0/+21
* SI-9321 Clarify spec for inheritance of qualified privateJason Zaugg2015-05-221-0/+10
* Merge pull request #4473 from retronym/ticket/9285Lukas Rytz2015-05-042-0/+2
|\
| * SI-9285 Don't warn about non-sensible equals in synthetic methodsJason Zaugg2015-04-292-0/+2
* | Move test files to the right place.Gerard Basler2015-05-031-0/+33
|/
* Fix many typosMichał Pociecha2015-04-211-1/+1
* Merge pull request #4373 from retronym/topic/indylambda-permutations-2Lukas Rytz2015-04-102-0/+24
|\
| * SI-8359 Adjust parameter order of accessor method in DelambdafyJason Zaugg2015-03-242-0/+24
* | Merge pull request #4306 from som-snytt/issue/3368-bAdriaan Moors2015-04-092-0/+6
|\ \
| * | SI-3368 CDATA gets a NodeSom Snytt2015-04-082-0/+6
* | | Merge pull request #4403 from gourlaysama/wip/t9239-generic-signatureAdriaan Moors2015-04-092-0/+18
|\ \ \ | |/ / |/| |
| * | SI-9239 fix java generic signature when traits extend classesAntoine Gourlay2015-03-252-0/+18
* | | Merge pull request #4370 from gbasler/ticket/SI-9181Adriaan Moors2015-04-063-1/+808
|\ \ \
| * | | Add a check to ensure that if the formulas originating from the exhaustivity /Gerard Basler2015-03-023-1/+808
* | | | Merge pull request #4375 from som-snytt/issue/8861Lukas Rytz2015-03-312-0/+12
|\ \ \ \ | |_|/ / |/| | |
| * | | SI-8861 Handle alias when probing for AnySom Snytt2015-03-092-0/+12
| |/ /
* | | Merge pull request #4380 from retronym/ticket/9020Jason Zaugg2015-03-242-0/+11
|\ \ \
| * | | SI-9020 Avoid spurious value discarding warning post-typerJason Zaugg2015-03-122-0/+11
| |/ /
* | | Merge pull request #4389 from retronym/topic/jesperJason Zaugg2015-03-241-0/+30
|\ \ \
| * | | Resurrect a test for type inferenceJason Zaugg2015-03-171-0/+30
| |/ /
* / / Workaround for SI-9111Lukas Rytz2015-03-113-0/+24
|/ /
* | Merge pull request #4347 from retronym/ticket/8801Adriaan Moors2015-02-191-0/+21
|\ \
| * | SI-8801 Another test for fixed exponential-time compilationJason Zaugg2015-02-201-0/+21
* | | Merge pull request #4309 from som-snytt/issue/9116-bAdriaan Moors2015-02-181-0/+7
|\ \ \ | |/ / |/| |
| * | SI-9116 Set.subsets has a param listSom Snytt2015-02-091-0/+7
| |/
* / SI-9157 Avoid exponential blowup with chained type projectionsJason Zaugg2015-02-181-0/+13
|/
* Merge pull request #4274 from retronym/ticket/9123Adriaan Moors2015-02-092-0/+11
|\
| * SI-9123 More coherent trees with patmat, dependent typesJason Zaugg2015-01-292-0/+11
* | Merge pull request #4295 from retronym/ticket/9135Grzegorz Kossakowski2015-02-051-0/+16
|\ \
| * | SI-9135 Fix NPE, a regression in the pattern matcherJason Zaugg2015-02-051-0/+16
* | | Merge pull request #4248 from retronym/ticket/9086Jason Zaugg2015-02-051-0/+8
|\ \ \ | |/ / |/| |
| * | SI-9086 Fix regression in implicit searchJason Zaugg2015-01-291-0/+8
| |/
* | Merge pull request #4252 from retronym/ticket/9050Lukas Rytz2015-02-031-0/+13
|\ \ | |/ |/|
| * SI-9050 Fix crasher with value classes, recursionJason Zaugg2015-01-161-0/+13
* | 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 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
|\ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 21:50:07 +0000