Add myself as codeowner of the SMT dialect

llvm · Apr 29, 2024 · 81789e2 · 81789e2
1 parent f78d522
commit 81789e2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -42,6 +42,11 @@ tools/llhd-sim @fabianschuiki @maerhart
 # HW
 # **/Dialect/HW
 
+# SMT
+**/Dialect/SMT @maerhart
+lib/Conversion/SMTToZ3LLVM @maerhart
+lib/Target/ExportSMTLIB @maerhart
+
 # SV
 # **/Dialect/SV