What is another word for 'killed by throwing stones'?

stoned (to death) c.1200, "to pelt with stones," from stone (n.).