scala - The Scala programming language

	Commit message (Expand)	Author	Age	Files	Lines
*	Typo and spelling corrections	Janek Bogucki	2016-11-11	1	-1/+1
*	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