A dataset of 1M programming solutions with state changes