scala - The Scala programming language

	Commit message (Expand)	Author	Age	Files	Lines
*	Patmat: efficient reasoning about mutual exclusion	Gerard Basler	2015-04-06	1	-8/+71
*	Bring back improvements from `SI-6942` that were lost during the switch to	Gerard Basler	2015-03-02	1	-8/+30
*	Add a check to ensure that if the formulas originating from the exhaustivity /	Gerard Basler	2015-03-02	1	-7/+29
*	SI-8999 Reduce memory usage in exhaustivity check	Gerard Basler	2014-12-12	1	-53/+9
*	Avoid the `CNF budget exceeded` exception via smarter translation into CNF.	Gerard Basler	2014-10-27	1	-146/+330
*	And, Or take sets of Props	Gerard Basler	2014-10-26	1	-18/+21
*	Cleanup `LinkedHashSet` fixes and replace them with `Set` (i.e., back	Gerard Basler	2014-10-05	1	-15/+7
*	SI-7746 patmat: fix non-determinism, infeasible counter examples	Gerard Basler	2014-10-05	1	-14/+60
*	SI-8531 Better space efficiency for patmat analysis	Jason Zaugg	2014-05-08	1	-2/+6
*	SI-7020 Deterministic warnings for pattern matcher, take 2	Jason Zaugg	2013-10-22	1	-6/+8
*	Type housekeeping.	Paul Phillips	2013-09-18	1	-3/+3
*	Merge remote-tracking branch 'scala/2.10.x'	Grzegorz Kossakowski	2013-08-29	1	-4/+5
\|\
\| *	SI-7020 Determinism for pattern matcher warnings	Jason Zaugg	2013-08-13	1	-4/+5
* \|	Eliminated the accumulated feature warnings.	Paul Phillips	2013-04-23	1	-0/+1
* \|	Eliminate a bunch of -Xlint warnings.	Paul Phillips	2013-03-12	1	-7/+0
* \|	Merge 2.10.x into master.	Adriaan Moors	2013-03-05	1	-2/+2
\|/
*	move sat solving to separate file	Adriaan Moors	2013-03-03	1	-0/+242