Add missing IdBasedSolverResults APIs#831

Merged

fabianbs96 merged 3 commits intodevelopmentfrom

f-AddMissingIdBasedSolverResultsAPIs

Apr 29, 2026

Commits on Apr 28, 2026

Add dumpResults() to IdBasedSolverResults + auto-conversion from owning->non-owning
fabianbs96
committed
Integrate result[s]AtInLLVMSSA() into IdBasedSolverResults + fix dumpResults()
fabianbs96
committed

Commits on Apr 29, 2026

Fix missing explicit ctor invocation
fabianbs96
committed