Add core infrastructure fixes for small-kernels pipeline - #694

Open

MichaelSt98 wants to merge 7 commits into

mainfrom

Commits on Jun 18, 2026

New transformation: `ReplaceKernels`: Replace configured kernel calls with alternative routines.
MichaelSt98
committed
6933451
New transformation: `SanitiseUnusedRoutineTransformation`.
MichaelSt98
committed
3d24509
Transformations: Fix ReplaceKernels item lookup for module procedures
MichaelSt98
committed
95b125a
Sanitise: Remove C imports with unused routine declarations
MichaelSt98
committed
0e91933
Merge remote-tracking branch 'origin/nams-sk-replace-kernels' into nams-sk-infra-rebuilt-2
MichaelSt98
committed
549cc99
Merge remote-tracking branch 'origin/nams-sk-sanitise-unused-routines' into nams-sk-infra-rebuilt-2
MichaelSt98
committed
09f5712
Add core infrastructure fixes for small-kernels pipeline
MichaelSt98
committed
4c6f05c