Concept Interfaces#811

Merged

fabianbs96 merged 8 commits intosecure-software-engineering:developmentfrom

fabianbs96:f-ConceptInterfaces

Feb 2, 2026

Commits on Jan 23, 2026

LLVM 18 compatibility
fabianbs96
committed
Add missing functioality to IRDB and change calls to the respective functions of CFG/ICFG to IRDB, wherever easily possible
fabianbs96
committed
Merge branch 'development' into f-ConceptInterfaces
fabianbs96
committed

Commits on Jan 28, 2026

Merge branch 'development' into f-ConceptInterfaces
fabianbs96
authored