'Executed' in the Bible

He turned them over to the Gibeonites, and they executed them on a hill before the Lord. The seven of them died together; they were put to death during harvest time -- during the first days of the beginning of the barley harvest.

David brought the bones of Saul and of Jonathan his son from there; they also gathered up the bones of those who had been executed.