retirement: Disable side effects on exception#493

Closed

Arusekk wants to merge 2 commits intokuznia-rdzeni:masterfrom Arusekk:lazy-exc-2

+82-27

Commits on Oct 29, 2023

retirement: Disable side effects on exception
Arusekk
committed

Commits on Nov 6, 2023

Do not count ignored insns as retired
Arusekk
committed