update redo list to support different execution