scala/scala — pull request #803 by magarciaEPFL (2012-07-01 16:13:44+00:00)
Title: performance improvements (10% to 20% depending on HDD vs SSD) in GenASM

review by @dragos
review by @gkossakowski
review by @paulp