index
:
scala
2.10.x
2.11.x
2.12.x
2.8.x
2.9.x
SI-10027-test
gh-pages
javadoc
javadoc-dirty-hack
legacy/msil
scaladoc-include-assets
script-linux
wip-javadoc
The Scala programming language
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
compiler
/
scala
/
tools
/
nsc
/
transform
/
patmat
/
MatchAnalysis.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
General cleanups and less warnings during a Scala build
soc
2016-04-04
1
-2
/
+0
*
Improved outer ref checking in pattern matches:
Adriaan Moors
2016-03-07
1
-1
/
+1
*
SI-9398 Treat case classes as one-element ADTs for analysis
Jason Zaugg
2016-01-29
1
-0
/
+2
*
SI-9630 Fix spurious warning related to same-named case accessors
Jason Zaugg
2016-01-29
1
-6
/
+10
*
Remove unused imports and other minor cleanups
Simon Ochsenreither
2015-12-18
1
-5
/
+3
*
Merge commit 'a170c99' into 2.12.x
Lukas Rytz
2015-09-22
1
-1
/
+5
|
\
|
*
SI-9369 Fix pattern matcher warnings for diamond shaped inheritance.
Gerard Basler
2015-09-12
1
-1
/
+5
*
|
SI-9408 Record known subclasses of local classes
Jason Zaugg
2015-07-23
1
-1
/
+1
|
/
*
Patmat: efficient reasoning about mutual exclusion
Gerard Basler
2015-04-06
1
-30
/
+56
*
Add a check to ensure that if the formulas originating from the exhaustivity /
Gerard Basler
2015-03-02
1
-48
/
+61
*
Merge pull request #4201 from mpociecha/fix-typos-in-docs-and-comments
Grzegorz Kossakowski
2015-01-14
1
-1
/
+1
|
\
|
*
Fix many typos in docs and comments
mpociecha
2014-12-14
1
-1
/
+1
*
|
Merge pull request #4199 from adriaanm/rebase-4193
Adriaan Moors
2014-12-18
1
-8
/
+110
|
\
\
|
*
|
SI-8999 Reduce memory usage in exhaustivity check
Gerard Basler
2014-12-12
1
-8
/
+110
|
|
/
*
|
Merge pull request #4122 from retronym/ticket/7459-2
Adriaan Moors
2014-12-18
1
-1
/
+1
|
\
\
|
*
|
SI-7459 Handle pattern binders used as prefixes in TypeTrees.
Jason Zaugg
2014-11-14
1
-1
/
+1
*
|
|
Suppress match analysis under -Xno-patmat-analysis
Adriaan Moors
2014-12-12
1
-2
/
+2
|
|
/
|
/
|
*
|
Avoid the `CNF budget exceeded` exception via smarter translation into CNF.
Gerard Basler
2014-10-27
1
-57
/
+44
|
/
*
SI-8894 dealias when looking at tuple components
Adriaan Moors
2014-10-08
1
-1
/
+0
*
SI-7746 patmat: fix non-determinism, infeasible counter examples
Gerard Basler
2014-10-05
1
-16
/
+39
*
SI-8525 No anonymous lint
Som Snytt
2014-07-10
1
-1
/
+1
*
Rip out reporting indirection from CompilationUnit
Adriaan Moors
2014-07-04
1
-2
/
+2
*
Remove now-redundant condition in sealedness checking
Jason Zaugg
2014-06-10
1
-1
/
+1
*
Refactor `enumerateSubtypes`
Jason Zaugg
2014-06-10
1
-5
/
+5
*
SI-8631 Treat `A with Sealed` as enumerable for pattern matching
Jason Zaugg
2014-06-10
1
-0
/
+10
*
SI-8546 Pattern matcher analysis foiled by over-widening
Jason Zaugg
2014-05-07
1
-2
/
+3
*
Merge pull request #3559 from adriaanm/t1503
Grzegorz Kossakowski
2014-02-23
1
-0
/
+50
|
\
|
*
SI-1503 don't assume unsound type for ident/literal patterns
Adriaan Moors
2014-02-19
1
-0
/
+50
*
|
SI-4577 singleton type pattern test should use `eq`, not `==`
Adriaan Moors
2014-02-18
1
-1
/
+2
|
/
*
Removing unused code.
Paul Phillips
2013-10-02
1
-6
/
+0
*
Type housekeeping.
Paul Phillips
2013-09-18
1
-4
/
+4
*
Merge branch 'master' into patmat
Paul Phillips
2013-08-20
1
-4
/
+4
|
\
|
*
No longer crash on NoSymbol.owner.
Paul Phillips
2013-08-19
1
-4
/
+4
*
|
Cosmetic cleanup in the matcher.
Paul Phillips
2013-08-17
1
-23
/
+18
|
/
*
SI-7669 Fix exhaustivity warnings for recursive ADTs.
Jason Zaugg
2013-07-17
1
-5
/
+16
*
Concision contribution.
Paul Phillips
2013-05-23
1
-3
/
+3
*
Merge v2.10.1-326-g4f8c306' into merge/v2.10.1-326-g4f8c306-to-master
Jason Zaugg
2013-05-17
1
-15
/
+11
|
\
|
*
Eliminate a bunch of -Xlint warnings.
Paul Phillips
2013-03-12
1
-14
/
+10
|
*
Merge 2.10.x into master.
Adriaan Moors
2013-03-05
1
-20
/
+21
|
|
\
|
|
\
|
|
\
|
*
-
.
\
Merge 2.10.x into master.
Adriaan Moors
2013-03-05
1
-6
/
+17
|
|
\
\
\
|
*
|
|
|
Name boolean arguments in src/compiler.
Jason Zaugg
2013-03-05
1
-1
/
+1
|
|
|
/
/
|
|
/
|
|
*
|
|
|
SI-6771 Alias awareness for checkableType in match analysis.
Jason Zaugg
2013-04-24
1
-1
/
+3
|
|
_
|
/
|
/
|
|
*
|
|
[port] SI-7183 Disable unreachability for withFilter matches.
Adriaan Moors
2013-03-03
1
-4
/
+6
*
|
|
better names for components of MatchTranslator
Adriaan Moors
2013-03-03
1
-16
/
+15
|
|
/
|
/
|
*
|
simplify dependencies between patmat components, remove self types
Adriaan Moors
2013-03-03
1
-6
/
+17
|
/
*
please ant with filenames, add comments
Adriaan Moors
2013-02-21
1
-1
/
+1
*
remove unused imports
Adriaan Moors
2013-02-15
1
-46
/
+36
*
[refactor] move some logic-related code
Adriaan Moors
2013-02-12
1
-349
/
+5
*
[refactor] better name for symbolicCase
Adriaan Moors
2013-02-12
1
-16
/
+6
*
[refactor] make hash-consing more robust
Adriaan Moors
2013-02-12
1
-21
/
+20
[next]