firedrakeproject/firedrake — pull request #370 by FabioLuporini (2014-09-22 09:14:06+00:00)
Title: Default some COFFEE optimizations to on

There's not much to say