summaryrefslogtreecommitdiff
path: root/test/files/pos
Commit message (Expand)AuthorAgeFilesLines
* SI-3368 CDATA gets a NodeSom Snytt2015-04-082-0/+6
* 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
|\ \ \
| * | | 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
| |/ / /
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-19 20:36:07 +0000