scala - The Scala programming language

	Commit message (Expand)	Author	Age	Files	Lines
*	SI-9630 Fix spurious warning related to same-named case accessors [backport]	Jason Zaugg	2016-12-21	1	-1/+1
*	Fix some simple extra words	Eitan Adler	2016-01-17	1	-1/+1
*	Improve drifted URLs	Janek Bogucki	2015-09-09	1	-1/+1
*	Fix 36 typos (d-f)	Janek Bogucki	2015-06-21	1	-1/+1
*	Avoid `Set` instantiation.	Gerard Basler	2015-05-03	1	-2/+1
*	Patmat: efficient reasoning about mutual exclusion	Gerard Basler	2015-04-06	1	-3/+38
*	Add a check to ensure that if the formulas originating from the exhaustivity /	Gerard Basler	2015-03-02	1	-3/+21
*	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
* \|	Bugfix: Implement missing `equals` method for `Sym`.	Gerard Basler	2014-12-29	1	-1/+12
* \|	SI-8999 Reduce memory usage in exhaustivity check	Gerard Basler	2014-12-12	1	-1/+3
\|/
*	Avoid the `CNF budget exceeded` exception via smarter translation into CNF.	Gerard Basler	2014-10-27	1	-65/+125
*	Debug printing for Any, not AnyRef, to include primitives	Adriaan Moors	2014-10-26	1	-3/+3
*	And, Or take sets of Props	Gerard Basler	2014-10-26	1	-17/+32
*	Cleanup `LinkedHashSet` fixes and replace them with `Set` (i.e., back	Gerard Basler	2014-10-05	1	-7/+7
*	SI-7746 patmat: fix non-determinism, infeasible counter examples	Gerard Basler	2014-10-05	1	-1/+2
*	SI-8611 Avoid accidental patmat unification with refinement types	Jason Zaugg	2014-06-10	1	-9/+16
*	Merge pull request #3687 from smarter/fix_analysisBudget_off	Jason Zaugg	2014-04-21	1	-2/+9
\|\
\| *	SI-8520 Fix -Dscalac.patmat.analysisBudget=off	Guillaume Martres	2014-04-21	1	-2/+9
* \|	SI-8430 Less non-determinism in patmat exhautiveness warnings	Jason Zaugg	2014-03-24	1	-6/+6
\|/
*	Don't use runtime reflection from the batch compiler.	Jason Zaugg	2013-11-01	1	-3/+7
*	SI-7020 Deterministic warnings for pattern matcher, take 2	Jason Zaugg	2013-10-22	1	-2/+3
*	Type housekeeping.	Paul Phillips	2013-09-18	1	-9/+8
*	Reworked MaybeTypedBound.	Paul Phillips	2013-08-17	1	-0/+1
*	Cosmetic cleanup in the matcher.	Paul Phillips	2013-08-17	1	-4/+3
*	Absolutized paths involving the scala package.	Paul Phillips	2013-05-03	1	-1/+2
*	Merge 2.10.x into master	Adriaan Moors	2013-05-02	1	-11/+28
\|\
\| *	SI-7369 Avoid spurious unreachable warnings in patterns	Jason Zaugg	2013-04-24	1	-11/+28
* \|	Merge remote tracking branch 'origin/2.10.x' into topic/merge-2.10.x-to-v2.11...	Jason Zaugg	2013-04-02	1	-0/+1
\|\\|
\| *	SI-7285 Fix match analysis with nested objects.	Jason Zaugg	2013-03-23	1	-1/+2
* \|	Merge pull request #2285 from vigdorchik/silence_scaladoc	Paul Phillips	2013-03-23	1	-2/+2
\|\ \
\| * \|	Doc -> C-style comments for local symbols to avoid "discarding	Eugene Vigdorchik	2013-03-21	1	-3/+3
* \| \|	Eliminate a bunch of -Xlint warnings.	Paul Phillips	2013-03-12	1	-6/+5
\|/ /
* \|	Merge 2.10.x into master.	Adriaan Moors	2013-03-05	1	-232/+0
\|\\|
\| *	move sat solving to separate file	Adriaan Moors	2013-03-03	1	-232/+0
\| \|
\| \
*-. \	Merge 2.10.x into master.	Adriaan Moors	2013-03-05	1	-2/+7
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	simplify dependencies between patmat components, remove self types	Adriaan Moors	2013-03-03	1	-2/+7
\| \|/
* \|	Name boolean arguments in src/compiler.	Jason Zaugg	2013-03-05	1	-2/+2
* \|	Remove redundant 'val' from case class params.	Jason Zaugg	2013-02-25	1	-1/+1
* \|	Be explicit about empty param list calls.	Jason Zaugg	2013-02-24	1	-6/+6
\|/
*	remove unused imports	Adriaan Moors	2013-02-15	1	-45/+40
*	[refactor] move some logic-related code	Adriaan Moors	2013-02-12	1	-3/+334
*	[refactor] make hash-consing more robust	Adriaan Moors	2013-02-12	1	-0/+3
*	drop Cond in favor of Prop	Adriaan Moors	2013-02-12	1	-2/+13
*	[refactor] move PatternMatching.scala to transform.patmat	Adriaan Moors	2013-02-12	1	-0/+513