Rashi on Leviticus 24:23/רש"י על ויקרא כ״ד:כ״ג

1ובני ישראל עשו AND THE CHILDREN OF ISRAEL DID [AS THE LORD COMMANDED MOSES] every prescription mentioned in respect to the stoning-penalty in another place, viz., the casting down of the culprit from a height, the heaping of stones upon him, and the hanging him after the execution has taken place (cf. Sifra, Emor, Chapter 19 10; Sanhedrin 43a).