Integrate SMT based mitigation using Z3 solver#87

Merged

uuqjz merged 18 commits intoarcovia-dev:mainfrom

niki21r:mergeBackFork

Apr 7, 2026

Commits on Mar 3, 2026

Squash commits
Nikolas Rank
committed
Add jar again
Nikolas Rank
committed
Remove jar download from workflow again
Nikolas Rank
committed
Revert "Remove jar download from workflow again"
Nikolas Rank
committed
Do not paste jar but still add .so objects
Nikolas Rank
committed

Commits on Mar 4, 2026

Try workflow with bundled natives
Nikolas Rank
committed
Remove unneeded env vars from workflow. Also add new small readme.
Nikolas Rank
committed

Commits on Mar 5, 2026

Ensure that the minimality of repair operations is actually tested in isolation
Nikolas Rank
committed

Commits on Mar 7, 2026

Implement some requested changes.
Nikolas Rank
committed
Implement some more requested changes.
Nikolas Rank
committed
Some further naming conventions and for-loop to for-each loops
Nikolas Rank
committed
Provide clarifying comment for the TestInstance.Lifecycle.PER_CLASS annotation
Nikolas Rank
committed

Commits on Mar 9, 2026

Rename TFG Flows to flow instances and some further variable+comments naming
Nikolas Rank
committed

Commits on Mar 11, 2026

Fullfill some more review requests
Nikolas Rank
committed
Make vertex naming in selectors more clear.
Nikolas Rank
committed
Make pin Naming even more explicit.
Nikolas Rank
committed
Rename nodeLabelRef to nodeLabelInput
Nikolas Rank
committed

Commits on Mar 13, 2026

Verbosely name some more variables
Nikolas Rank
committed