停止执行死刑的情形

根据我国法律规定，在执行死刑之前，如果发现以下情形之一，人民法院应当停止执行死刑，并立即向最高人民法院报告，由最高人民法院作出裁定：

(一) 发现判决可能存在错误的情况。

(二) 罪犯在执行前揭发重大犯罪事实或表现出其他重大立功行为，可能需要改判的情况。

(三) 罪犯正在怀孕的情况。

停止执行死刑的程序

在停止执行死刑的情况下，执行死刑的人民法院应当立即以书面形式向核准死刑的人民法院报告，并由该院院长签发停止执行死刑的命令。经过审查核实，如果确认原判决无误，必须再次向核准死刑的人民法院报请签发执行死刑命令，方可进行执行。如果查明罪犯确实有重大立功表现，应当向核准死刑的人民法院报请依法改判。

检察院的监督

人民法院在交付执行死刑之前，应当通知同级人民检察院派员临场监督。这样可以确保执行过程的合法性和公正性，以保障被执行人的合法权益。

以上是我国法律规定的执行死刑时发现罪犯有重大立功的处理程序，旨在确保司法公正和保护被执行人的权益。