This repository was archived by the owner on Dec 17, 2025. It is now read-only.
Rename C-API spir_kernel_domain -> spir_kernel_get_domain#478
Merged
terasakisatoshi merged 3 commits intomainfrom Nov 9, 2025
Merged
Rename C-API spir_kernel_domain -> spir_kernel_get_domain#478terasakisatoshi merged 3 commits intomainfrom
spir_kernel_domain -> spir_kernel_get_domain#478terasakisatoshi merged 3 commits intomainfrom