Change-point inference in high-dimensional regression models under temporal dependence | Synapse