On 12 Jul 2016, at 08:56, Floriane Gidel [RPG] <mmfg@leeds.ac.uk> wrote:

I found online something called "timed_region", would that be the same as timed_stage ?

This is a recent addition to firedrake, please run firedrake-update to get it.

Lawrence