Implement Out-of-SSA Algorithm (Boissinot et al., 2008)#457

Draft

github-actions[bot] wants to merge 25 commits intomainfrom

issue-456-Implement_Out-of-SSA_Algorithm_Boissinot_et_al_2008

Commits on Oct 23, 2025

Create draft PR for #456
github-actions[bot]
authored
implemented step 1 and 2
Alexander Kraft
committed

Commits on Oct 26, 2025

Integration of new SSA-Algorithm in outofssatranslation.py and step 3
Jannis Schröder
committed

Commits on Oct 28, 2025

impl. step 4
Alexander Kraft
committed
fixed a bug that was caused by the dominator tree not always being build
Alexander Kraft
committed

Commits on Oct 29, 2025

renamed files and classes for consistency
Alexander Kraft
committed
value_interferencegraph now inherits from interferencegraph
Alexander Kraft
committed
use destination and value
Alexander Kraft
committed

Commits on Nov 1, 2025

Bug-Fixes for Step 3
Jannis Schröder
committed

Commits on Nov 2, 2025

No more printing!
Jannis Schröder
committed
fixed a bug where phi_inst.origin_block[pred] could be None
Alexander Kraft
committed
fixed missing substitution of phi dest
Alexander Kraft
committed

Commits on Nov 11, 2025

fixed a bug regarding interference
Alexander Kraft
committed
intermediate Commit
Jannis Schröder
committed
No more Phis and no more undefined types
Jannis Schröder
committed

Commits on Nov 12, 2025

some fixes
Alexander Kraft
committed

Commits on Nov 15, 2025

Fixed major Bugs affecting global variables
Jannis Schröder
committed

Commits on Nov 22, 2025

cleand the code and removed unnecessary parts :)
Jannis Schröder
committed
made it somewhat deterministic
Jannis Schröder
committed

Commits on Nov 23, 2025

Somewhat better.
Jannis Schröder
committed
clean
Jannis Schröder
committed

Commits on Nov 26, 2025

some fixes
Alexander Kraft
committed
rm relations
Alexander Kraft
committed
last fix; everything working by now :)
Jannis Schröder
committed

Commits on Dec 3, 2025

cleanup
Alexander Kraft
committed