OP2/PyOP2 — pull request #384 by wence- (2014-07-08 12:20:54+00:00)
Title: Plan: allocate correct amount of space for temp arrays

Entries in the exec halo of Maps may point to non-exec halo set entries,
we therefore need to allocate total_size rather than exec_size space.
We didn't notice this previously in Firedrake because we only ever had
exec_size being equivalent to total_size.