firedrakeproject/firedrake — pull request #360 by dham (2014-08-11 14:22:06+00:00)
Title: Unique generated variable names

fix #358 by causing the local variables in the generating kernel to have names which do not conflict with any user-defined names.