A retargetable and extensible synthesis-based compiler for modern hardware architectures
dslhigh-performancellvmformal-semanticsprogram-synthesishalidecompilersvectorizationformal-verificationcompiler-constructionmlirisa-semanticsretargetabilityinstruction-selectionautomlir
-
Updated
Nov 20, 2025 - LLVM