summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #4222 from gbasler/topic/patmat-unit-tests-rebasedv2.11.5Adriaan Moors2015-01-012-1/+567
|\
| * Add unit tests for Tseitin CNF conversion.Gerard Basler2014-12-291-0/+555
| * Bugfix: Implement missing `equals` method for `Sym`.Gerard Basler2014-12-291-1/+12
* | Merge pull request #4225 from adriaanm/jobsAdriaan Moors2014-12-293-0/+672
|\ \ | |/ |/|
| * Towards travis-style CIAdriaan Moors2014-12-292-290/+87
| * Import scripts verbatim from jenkin-scriptsAdriaan Moors2014-12-294-0/+875
|/
* Merge pull request #4139 from retronym/ticket/7965Adriaan Moors2014-12-236-0/+90
|\
| * Merge pull request #8 from lrytz/7965-specJason Zaugg2014-12-191-0/+13
| |\
| | * Spec update for signature polymorphic methodsLukas Rytz2014-12-181-0/+13
| |/
| * SI-7965 Support calls to MethodHandle.{invoke,invokeExact}Jason Zaugg2014-12-035-0/+77
* | Merge pull request #4208 from lrytz/t9044Adriaan Moors2014-12-235-49/+45
|\ \
| * | SI-9044 Fix order of interfaces in classfilesLukas Rytz2014-12-185-49/+45
* | | Merge pull request #4205 from retronym/ticket/9011Adriaan Moors2014-12-231-1/+5
|\ \ \
| * | | SI-9011 Speculative fix for CCE in Scala IDEJason Zaugg2014-12-151-1/+5
* | | | Merge pull request #4207 from gourlaysama/bump-parser-combinatorsAdriaan Moors2014-12-231-1/+1
|\ \ \ \
| * | | | update to scala-parser-combinators 1.0.3Antoine Gourlay2014-12-151-1/+1
* | | | | Merge pull request #4199 from adriaanm/rebase-4193Adriaan Moors2014-12-185-62/+394
|\ \ \ \ \
| * | | | | SI-8999 Reduce memory usage in exhaustivity checkGerard Basler2014-12-125-62/+394
| | |/ / / | |/| | |
* | | | | Merge pull request #4122 from retronym/ticket/7459-2Adriaan Moors2014-12-1817-13/+219
|\ \ \ \ \
| * | | | | SI-7459 Handle pattern binders used as prefixes in TypeTrees.Jason Zaugg2014-11-1417-13/+219
* | | | | | Merge pull request #4085 from adriaanm/patmat-suppressLukas Rytz2014-12-185-6/+167
|\ \ \ \ \ \
| * | | | | | Suppress match analysis under -Xno-patmat-analysisAdriaan Moors2014-12-125-6/+167
| | |/ / / / | |/| | | |
* | | | | | Merge pull request #4191 from som-snytt/issue/8538Lukas Rytz2014-12-182-3/+100
|\ \ \ \ \ \
| * | | | | | SI-8538 Document extensionSom Snytt2014-12-152-3/+44
| * | | | | | SI-8538 Test or example for Source.reportSom Snytt2014-12-121-0/+56
| |/ / / / /
* | | | | | Merge pull request #4211 from lrytz/bcode-buildGrzegorz Kossakowski2014-12-182-1/+2
|\ \ \ \ \ \
| * | | | | | Run dead code elimination by default in GenBCodeLukas Rytz2014-12-162-1/+2
| | |_|_|/ / | |/| | | |
* | | | | | Merge pull request #4196 from lrytz/t9030-2.11Lukas Rytz2014-12-173-2/+21
|\ \ \ \ \ \
| * | | | | | [nomerge] SI-9030 don't call private BoxesRunTime.equalsNumCharLukas Rytz2014-12-113-2/+21
* | | | | | | Merge pull request #4202 from kanielc/SI-9043Grzegorz Kossakowski2014-12-152-6/+43
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | |
| * | | | | | SI-9043 ArrayBuffer.insert and insertAll are very slowDenton Cockburn2014-12-142-6/+43
| | |_|/ / / | |/| | | |
* | | | | | Merge pull request #4203 from xuwei-k/ByteCodecs-scaladocLukas Rytz2014-12-151-2/+2
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | fix ByteCodecs scaladocxuwei-k2014-12-141-2/+2
|/ / / / /
* | | | | Merge pull request #4078 from gbasler/topic/fix-analysis-budgetAdriaan Moors2014-12-1212-277/+673
|\ \ \ \ \
| * | | | | Avoid the `CNF budget exceeded` exception via smarter translation into CNF.Gerard Basler2014-10-2711-268/+646
| * | | | | Debug printing for Any, not AnyRef, to include primitivesAdriaan Moors2014-10-261-3/+3
| * | | | | And, Or take sets of PropsGerard Basler2014-10-263-39/+57
* | | | | | Merge pull request #4192 from Ichoran/issue/8950Lukas Rytz2014-12-112-2/+2
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | |
| * | | | | SI-8950 SeqView and StreamView allow indexing out of a sliceRex Kerr2014-12-062-2/+2
* | | | | | Merge pull request #4154 from smarter/patch-1Adriaan Moors2014-12-101-0/+2
|\ \ \ \ \ \
| * | | | | | spec: Add a link to the sources from the main pageGuillaume Martres2014-11-241-0/+2
* | | | | | | Merge pull request #4194 from lrytz/intellij-replAdriaan Moors2014-12-101-0/+1
|\ \ \ \ \ \ \
| * | | | | | | intellij module repl depends on asmLukas Rytz2014-12-091-0/+1
| | |/ / / / / | |/| | | | |
* | | | | | | Merge pull request #4182 from som-snytt/issue/multizeroAdriaan Moors2014-12-096-202/+175
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | SI-9015 Reject 0x and minor parser cleanupSom Snytt2014-12-056-202/+175
* | | | | | | Merge pull request #4169 from retronym/ticket/9008Adriaan Moors2014-12-057-2/+26
|\ \ \ \ \ \ \
| * | | | | | | SI-9008 Fix regression with higher kinded existentialsJason Zaugg2014-12-037-2/+26
| |/ / / / / /
* | | | | | | Merge pull request #4165 from dickwall/ticket/9006Adriaan Moors2014-12-053-1/+35
|\ \ \ \ \ \ \
| * | | | | | | SI-9006 Scaladoc: explicit companion and package linksDick Wall2014-11-263-1/+35
* | | | | | | | Merge pull request #4187 from jedesah/patch-1Adriaan Moors2014-12-051-1/+1
|\ \ \ \ \ \ \ \ | |_|_|_|_|/ / / |/| | | | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-09 09:43:09 +0000