[petsc-users] example for TS with AMR?

[Somdeb Bandopadhyay]

hi, is there any example of using TS with AMR (e.g p4est)?
from what I understand, I can use posttimestep and poststage to perform
similar job, but I think it will be too complicated for high level of
refinement (say levelmax=8). is there any example where only TS is used
with SAMR grid topology?