j
k
j a
j l
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 ?
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
Attachments:
Back to the thread
Back to the list