Improve Conditional Out-of-SSA#453

Draft

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

issue-452-Improve_Conditional_Out-of-SSA

Commits on Aug 11, 2025

Create draft PR for #452
github-actions[bot]
authored

Commits on Aug 18, 2025

Improvement of Conditional-Out-Of-SSA
Jannis Schröder
committed
Small adjustment regarding the constructor
Jannis Schröder
committed
minor execution time improvements
Jannis Schröder
committed

Commits on Aug 19, 2025

debug prints commented out
Alexander Kraft
committed

Commits on Aug 20, 2025

new way of handling funcDep
ts501ak
committed

Commits on Aug 21, 2025

major speed improvements; strategys are now 50% to 60% faster
Jannis Schröder
committed

Commits on Aug 22, 2025

Added a third Multi-Cut strategy which uses an LP-Solver and is similar in runtime to lift_minimal
Jannis Schröder
committed

Commits on Aug 24, 2025

optimized parameter
Jannis Schröder
committed

Commits on Sep 1, 2025

New strategy for Out-of-SSA (optimized LP approach)
Jannis Schröder
committed

Commits on Sep 3, 2025

remove func-Relation
Jannis Schröder
committed
small fix
Jannis Schröder
committed

Commits on Sep 5, 2025

minor Improvements
Jannis Schröder
committed

Commits on Sep 10, 2025

metric dependency graph
Alexander Kraft
committed

Commits on Sep 12, 2025

proper metric helper
Alexander Kraft
committed
added todo
Alexander Kraft
committed

Commits on Sep 18, 2025

large objects are getting deleted
Jannis Schröder
committed

Commits on Sep 24, 2025

improved metric_helper
ts501ak
committed
Reformating for pipeline pass
Jannis Schröder
committed
new requirements added
Jannis Schröder
committed
old Tests
Jannis Schröder
committed
formating again
Jannis Schröder
committed

Commits on Nov 23, 2025

Removed usage of metric in calculation of dependency graph
Jannis Schröder
committed
metric adjustments
ts501ak
committed

Commits on Nov 24, 2025

metric adjustments 2
ts501ak
committed

Commits on Jan 27, 2026

new Values for cond OoSSA
Jannis Schröder
committed