根据《民法典》第一千零七十九条规定的离婚情形

一、重婚或与他人同居

根据《民法典》第一千零七十九条的规定，如果夫妻一方重婚或与他人同居，调解无效，人民法院应当准予离婚。

二、实施家庭暴力或虐待、遗弃家庭成员

根据《民法典》第一千零七十九条的规定，如果夫妻一方实施家庭暴力或虐待、遗弃家庭成员，调解无效，人民法院应当准予离婚。

三、有赌博、吸毒等恶习屡教不改

根据《民法典》第一千零七十九条的规定，如果夫妻一方有赌博、吸毒等恶习屡教不改，调解无效，人民法院应当准予离婚。

四、因感情不和分居满二年

根据《民法典》第一千零七十九条的规定，如果夫妻一方因感情不和分居满二年，调解无效，人民法院应当准予离婚。

五、其他导致夫妻感情破裂的情形

根据《民法典》第一千零七十九条的规定，如果夫妻一方存在其他导致夫妻感情破裂的情形，调解无效，人民法院应当准予离婚。

离婚诉讼程序

根据《民法典》第一千零七十九条的规定，夫妻一方要求离婚的，可以由有关组织进行调解或者直接向人民法院提起离婚诉讼。在人民法院审理离婚案件时，应当首先进行调解。如果经调解后感情确已破裂，调解无效，人民法院应当准予离婚。然而，如果在调解过程中出现以下情形之一，调解将被视为无效，人民法院应当准予离婚：（一）重婚或者与他人同居；（二）实施家庭暴力或者虐待、遗弃家庭成员；（三）有赌博、吸毒等恶习屡教不改；（四）因感情不和分居满二年；（五）其他导致夫妻感情破裂的情形。根据上述规定，夫妻一方在符合离婚情形的情况下，有权要求离婚，并可以通过调解或向人民法院提起离婚诉讼来解决。人民法院在审理离婚案件时，将根据具体情况进行调解，并在调解无效的情况下准予离婚。