Quenching massive galaxies across cosmic time with the semi-analytic model shark v2.0 | Synapse