Concept Interfaces - #811

Merged

fabianbs96 merged 8 commits into

secure-software-engineering:developmentfrom

fabianbs96:f-ConceptInterfaces

Feb 2, 2026

Commits on Jan 11, 2026

Add concepts for ProjectIRDB and IRDomain
fabianbs96
committed
97c19eb
Add comcepts for CFG
fabianbs96
committed
2443b59
Add concepts for ICFG
fabianbs96
committed
e94090c
Fix and update module-header and c++20-module files
fabianbs96
committed
70a548c

Commits on Jan 23, 2026

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

Commits on Jan 28, 2026

Merge branch 'development' into f-ConceptInterfaces
fabianbs96
authored
8c609f2